- Haskell - Haskell.org

Haskell Weekly News: Issue 306
by Daniel Santa Cruz 18 Sep '14

18 Sep '14

Welcome to issue 306 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers from September 07 to 13, 2014 Quotes of the Week * prophile: at this point ekmett is more part of the language than a practitioner of it * Qfwfq: Simon is a title, not a forename. Top Reddit Stories * Haskell for all: Morte: an intermediate language for super-optimizing functional programs Domain: haskellforall.com, Score: 110, Comments: 83 Original: [1] http://goo.gl/MjPyyr On Reddit: [2] http://goo.gl/v2btl4 * AMP has landed in GHC Main! Domain: haskell.org, Score: 88, Comments: 71 Original: [3] http://goo.gl/giu1Xh On Reddit: [4] http://goo.gl/ZGJ76S * [Meta] What's with all these downvotes on beginner questions? Domain: self.haskell, Score: 69, Comments: 67 Original: [5] http://goo.gl/ik2uu2 On Reddit: [6] http://goo.gl/ik2uu2 * Haskell Implementors Workshop 2014 videos [youtube] Domain: youtube.com, Score: 59, Comments: 11 Original: [7] http://goo.gl/ijM6hs On Reddit: [8] http://goo.gl/48GOSr * FP Complete is hiring: Haskell web UI developer Domain: fpcomplete.com, Score: 59, Comments: 14 Original: [9] http://goo.gl/0kPlFl On Reddit: [10] http://goo.gl/WtivSo * How to get (approx) stack traces with profiled builds Domain: self.haskell, Score: 46, Comments: 15 Original: [11] http://goo.gl/ZAurK6 On Reddit: [12] http://goo.gl/ZAurK6 * Hakaru: An embedded probabilistic programming language Domain: indiana.edu, Score: 40, Comments: 10 Original: [13] http://goo.gl/PLcCGW On Reddit: [14] http://goo.gl/aP7giY * Why does David Turner say type classes were a bad idea? Domain: self.haskell, Score: 37, Comments: 96 Original: [15] http://goo.gl/WqRLZQ On Reddit: [16] http://goo.gl/WqRLZQ * Let's Build a Browser Engine in Haskell: Part 2 Domain: hrothen.github.io, Score: 33, Comments: 14 Original: [17] http://goo.gl/PyxMOy On Reddit: [18] http://goo.gl/45L7hs * Proposal for copatterns in Idris Domain: github.com, Score: 30, Comments: 38 Original: [19] http://goo.gl/7Zv7U1 On Reddit: [20] http://goo.gl/pPIq8p * GHC Blog: Static pointers and serialisation (by SPJ) Domain: ghc.haskell.org, Score: 28, Comments: 2 Original: [21] http://goo.gl/HJrm4t On Reddit: [22] http://goo.gl/kPxJj5 * introduction to the basic lens operators Domain: intolerable.me, Score: 26, Comments: 12 Original: [23] http://goo.gl/VXlKnm On Reddit: [24] http://goo.gl/b0bLfE * Prisms lead to typeclasses for subtractive types Domain: gelisam.blogspot.ca, Score: 22, Comments: 6 Original: [25] http://goo.gl/l9QIIm On Reddit: [26] http://goo.gl/GMD5Cj * Preventing memoization in (AI) search problems Domain: okmij.org, Score: 22, Comments: 16 Original: [27] http://goo.gl/oEb6WD On Reddit: [28] http://goo.gl/jqVKPS * A shallow survey of formal methods for C code Domain: imperialviolet.org, Score: 21, Comments: 7 Original: [29] http://goo.gl/rJgycy On Reddit: [30] http://goo.gl/RrXwns * Haskell Lectures Domain: shuklan.com, Score: 21, Comments: 1 Original: [31] http://goo.gl/Ef0E4 On Reddit: [32] http://goo.gl/VASdCX * A Netwire 5 Tutorial Domain: self.haskell, Score: 20, Comments: 5 Original: [33] http://goo.gl/BmcKWr On Reddit: [34] http://goo.gl/BmcKWr * Haskell Symposium talk on inline Objective-C in Haskell Domain: speakerdeck.com, Score: 20, Comments: 0 Original: [35] http://goo.gl/VDHOiP On Reddit: [36] http://goo.gl/TyL90G * HaLVM / Unikernel talk at the Xen User Summit on Monday, September 15th Domain: sched.co, Score: 19, Comments: 8 Original: [37] http://goo.gl/HoVwWT On Reddit: [38] http://goo.gl/9lqCE0 * Fun with (Extended Kalman) Filters Domain: idontgetoutmuch.wordpress.com, Score: 18, Comments: 2 Original: [39] http://goo.gl/8EGSQR On Reddit: [40] http://goo.gl/aTASRU Top StackOverflow Questions * Why does OCaml sometimes require eta expansion? votes: 12, answers: 1 Read on SO: [41] http://goo.gl/TsBuz5 * Can Haskell evaluate and not garbage collect random indexes in a list? votes: 11, answers: 2 Read on SO: [42] http://goo.gl/zXsBT1 * How do I install dependencies when cross compiling haskell code? votes: 10, answers: 1 Read on SO: [43] http://goo.gl/3qH6zK * Haskell lenses: how to make view play nicely with traverse? votes: 10, answers: 3 Read on SO: [44] http://goo.gl/EWrR5j * Is there an instance of Monad but not of MonadFix? votes: 10, answers: 2 Read on SO: [45] http://goo.gl/EAh0qc * How can the continuation monad be expressed using the free monad? votes: 10, answers: 3 Read on SO: [46] http://goo.gl/ymMoFw Until next time, [47]+Daniel Santa Cruz References 1. http://www.haskellforall.com/2014/09/morte-intermediate-language-for-super.… 2. http://www.reddit.com/r/haskell/comments/2g6wsx/haskell_for_all_morte_an_in… 3. http://www.haskell.org/pipermail/ghc-devs/2014-September/006265.html 4. http://www.reddit.com/r/haskell/comments/2fxqts/amp_has_landed_in_ghc_main/ 5. http://www.reddit.com/r/haskell/comments/2g3em9/meta_whats_with_all_these_d… 6. http://www.reddit.com/r/haskell/comments/2g3em9/meta_whats_with_all_these_d… 7. https://www.youtube.com/playlist?list=PL4UWOFngo5DW6nKDjK0UB5Oy9zmdWdo7K 8. http://www.reddit.com/r/haskell/comments/2frhfn/haskell_implementors_worksh… 9. https://www.fpcomplete.com/blog/2014/09/hiring-haskell-web-ui-dev 10. http://www.reddit.com/r/haskell/comments/2g4mdu/fp_complete_is_hiring_haske… 11. http://www.reddit.com/r/haskell/comments/2fwwx3/how_to_get_approx_stack_tra… 12. http://www.reddit.com/r/haskell/comments/2fwwx3/how_to_get_approx_stack_tra… 13. http://indiana.edu/~ppaml/ 14. http://www.reddit.com/r/haskell/comments/2g4q81/hakaru_an_embedded_probabil… 15. http://www.reddit.com/r/haskell/comments/2foggq/why_does_david_turner_say_t… 16. http://www.reddit.com/r/haskell/comments/2foggq/why_does_david_turner_say_t… 17. http://hrothen.github.io/2014/09/08/lets-build-a-browser-engine-in-haskell-… 18. http://www.reddit.com/r/haskell/comments/2fu2l5/lets_build_a_browser_engine… 19. https://github.com/idris-lang/Idris-dev/wiki/Copatterns 20. http://www.reddit.com/r/haskell/comments/2fy1hj/proposal_for_copatterns_in_… 21. https://ghc.haskell.org/trac/ghc/blog/simonpj/StaticPointers 22. http://www.reddit.com/r/haskell/comments/2g4vvf/ghc_blog_static_pointers_an… 23. http://intolerable.me/lens-operators-intro/ 24. http://www.reddit.com/r/haskell/comments/2fud8k/introduction_to_the_basic_l… 25. http://gelisam.blogspot.ca/2014/09/prisms-lead-to-typeclasses-for.html 26. http://www.reddit.com/r/haskell/comments/2foz4a/prisms_lead_to_typeclasses_… 27. http://okmij.org/ftp/Haskell/#memo-off 28. http://www.reddit.com/r/haskell/comments/2g9akh/preventing_memoization_in_a… 29. https://www.imperialviolet.org/2014/09/07/provers.html 30. http://www.reddit.com/r/haskell/comments/2fsvns/a_shallow_survey_of_formal_… 31. http://shuklan.com/haskell/ 32. http://www.reddit.com/r/haskell/comments/2g672e/haskell_lectures/ 33. http://www.reddit.com/r/haskell/comments/2fs4mv/a_netwire_5_tutorial/ 34. http://www.reddit.com/r/haskell/comments/2fs4mv/a_netwire_5_tutorial/ 35. https://speakerdeck.com/mchakravarty/foreign-inline-code-in-haskell-haskell… 36. http://www.reddit.com/r/haskell/comments/2fve6k/haskell_symposium_talk_on_i… 37. http://sched.co/1rFBMed 38. http://www.reddit.com/r/haskell/comments/2g2sa0/halvm_unikernel_talk_at_the… 39. http://idontgetoutmuch.wordpress.com/2014/09/09/fun-with-extended-kalman-fi… 40. http://www.reddit.com/r/haskell/comments/2fwbhd/fun_with_extended_kalman_fi… 41. http://stackoverflow.com/questions/25763412/why-does-ocaml-sometimes-requir… 42. http://stackoverflow.com/questions/25751194/can-haskell-evaluate-and-not-ga… 43. http://stackoverflow.com/questions/25765893/how-do-i-install-dependencies-w… 44. http://stackoverflow.com/questions/25773444/haskell-lenses-how-to-make-view… 45. http://stackoverflow.com/questions/25814489/is-there-an-instance-of-monad-b… 46. http://stackoverflow.com/questions/25827271/how-can-the-continuation-monad-… 47. https://plus.google.com/105107667630152149014/about

1 0

ANN: HacBerlin - Haskell Hackathon in Berlin, 26-28 Sep 2014
by Stefan Wehr 17 Sep '14

17 Sep '14

Hi everyone, this is just a quick reminder: The Haskell Hackathon in Berlin starts in 9 days and there are very few places left. Please register now: http://goo.gl/aLfnWu Where: Berlin, Germany When: Fri 26 - Sun 28 September 2014 We will do lots of Haskell hacking and listen to two excellent talks: * Beyond Parsec -- Revisiting Parser Combinators, by Andres Löh * Chordify: Advanced Functional Programming for Fun and Profit, by José Pedro Magalhães Meet in Berlin, discuss, hack together and improve the Haskell infrastructure. We welcome all programmers interested in Haskell, beginners and experts! For all details, visit our wiki page (http://www.haskell.org/haskellwiki/HacBerlin2014) and make sure to register now! Cheers, Stefan

1 0

[ANN] BOB 2015: Call for Contributions
by Stefan Wehr 17 Sep '14

17 Sep '14

Here's a quick reminder. The Deadline for BOB 2015 is in about two weeks (30 September 2014). The BOB conference will have a strong focus on functional programming, so Haskell submissions are very welcome. Please consider submitting! BOB Conference 2015 Berlin 23.1.2015 http://bobkonf.de/2015/ CALL FOR CONTRIBUTIONS English: http://bobkonf.de/2015/cfp.html German: http://bobkonf.de/2015/cfp.html Deadline: September 30, 2014 You drive advanced software engineering methods, implement ambitious architectures and are open to cutting-edge innovation? Attend this conference, meet people that share your goals, and get to know the best software tools and technologies available today. We strive to offer you a day full of new experiences and impressions that you can use to immediately improve your daily life as a software developer. If you share our vision and want to contribute, submit a proposal for a talk or tutorial! We are looking for talks about best-of-breed software technology, e.g.: - functional programming - reactive programming - micro-service architectures - persistent data structures and databases - ... everything really that isn't mainstream, but you think should be. Presenters should provide the audience with information that is practically useful for software developers. This could take the form of e.g.: - experience reports - introductory talks on technical background - demos and how-tos We accept proposals for presentations of 45 minutes (40 minutes talk + 5 minutes questions), as well as 90 minute tutorials for beginners. The language of presentation should be either English or German. It should include (in your presentation language of choice): - an abstract of max. 1500 characters. - a short bio/cv - contact information (including at least email) - a list of 3-5 concrete ideas of how your work can be applied in a developer's daily life - additional material (websites, blogs, slides, videos of past presentations, ...) You can submit your proposal using the following form: https://docs.google.com/spreadsheet/viewform?formkey=dHJ0TjR1cEhUWmdBZFVITG… - direct questions to bobkonf at active minus group dot de - proposal deadline: September 30, 2014 - notification: October 15, 2014 NOTE: The conference fee will be waived for presenters, but travel expenses will not be covered. Program Committee - Matthias Fischmann, zerobuzz UG - Matthias Neubauer, SICK AG - Michael Sperber, Active Group - Stefan Wehr, factis research Wissenschaftlicher Beirat - Annette Bieniusa, TU Kaiserslautern - Torsten Grust, Uni Tübingen - Peter Thiemann, Uni Freiburg

1 0

LPNMR 2015 - Preliminary Call for Papers - 13th International Conference on Logic Programming and Non-monotonic Reasoning
by Francesco Calimeri 16 Sep '14

16 Sep '14

[apologies for any cross-posting] Call for Papers --------------------------------------------------------------------------- 13th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2015 http://lpnmr2015.mat.unical.it/ Lexington, KY, USA September 27-30, 2015 (Collocated with the 4th Conference on Algorithmic Decision Theory 2015) --------------------------------------------------------------------------- AIMS AND SCOPE LPNMR 2015 is the thirteenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to the construction of systems for declarative programming and knowledge representation, as well as their use in practical applications. This edition of LPNMR will feature several workshops, a special session dedicated to the 6th ASP Systems Competition, and will be collocated with the 4th Algorithmic Decision Theory Conference, ADT 2015. Joint LPNMR-ADT Doctoral Consortium will be a part of the program. Authors are invited to submit papers presenting original and unpublished research on all aspects of non-monotonic approaches in logic programming and knowledge representation. We invite submissions of both long and short papers. TOPICS Conference topics include, but are not limited to: 1. Foundations of LPNMR Systems: * Semantics of new and existing languages; * Action languages, causality; * Relationships among formalisms; * Complexity and expressive power; * Inference algorithms and heuristics for LPNMR systems; * Extensions of traditional LPNMR languages such as new logical connectives or new inference capabilities; * Updates, revision, and other operations on LPNMR systems; * Uncertainty in LPNMR systems. 2. Implementation of LPNMR systems: * System descriptions, comparisons, evaluations; * Algorithms and novel techniques for efficient evaluation; * LPNMR benchmarks. 3. Applications of LPNMR: * Use of LPNMR in formalization of Commonsense Reasoning and other areas of KR; * LPNMR languages and algorithms in planning, diagnosis, argumentation, reasoning with preferences, decision making and policies; * Applications of LPNMR languages in data integration and exchange systems, software engineering and model checking; * Applications of LPNMR to linguistics, psychology, and other sciences * Integration of LPNMR systems with other computational paradigms; * Embedded LPNMR: Systems using LPNMR subsystems. SUBMISSION LPNMR 2015 welcomes submissions of long papers (13 pages) or short papers (6 pages) in the following categories: * Technical papers * System descriptions * Application descriptions The indicated number of pages includes title page, references and figures. All submissions will be peer-reviewed and accepted papers will appear in the conference proceedings published in the Springer-Verlag Lecture Notes in Artificial Intelligence (LNAI/LNCS) series. At least one author of each accepted paper is expected to register for the conference to present the work. Submissions must be formatted according to the Springer LNCS author instructions, http://www.springer.com/comp/lncs/Authors.html must be written in English, and present original research. Paper submission will be electronic through the LPNMR-15 Easychair site: https://www.easychair.org/conferences/?conf=lpnmr2015 The Program Committee chairs are planning to arrange for the best papers to be published in a special issue of a premiere journal in the field. MULTIPLE SUBMISSION POLICY LPNMR 2015 will not accept any paper which, at the time of submission, is under review or has already been published or accepted for publication in a journal or another conference. Authors are also required not to submit their papers elsewhere during LPNMR's review period. However, these restrictions do not apply to previous workshops with a limited audience and without archival proceedings. ASSOCIATED EVENTS WORKSHOPS - LPNMR 2015 will include specialized workshops to be held on September 27 prior to the main conference. Currently planned workshops include: - Grounding, Transforming, and Modularizing Theories with Variables Organizers: Marc Denecker, Tomi Janhunen - Action Languages, Process Modeling, and Policy Reasoning Organizer: Joohyung Lee - Natural Language Processing and Automated Reasoning Organizers: Marcello Balduccini, Ekaterina Ovchinnikova, Peter Schueller - Learning and Nonmonotonic Reasoning Organizers: Alessandra Russo and Alessandra Mileo ASP COMPETITION - A special session dedicated to a discussion of the 6th ASP System Competition, including the methodology of the competition, benchmarks used, lessons learned and, most importantly, the results and the announcement of the winners. ALGORITHMIC DECISION THEORY (ADT) 2015 (collocated - same time and place) Algorithmic Decision Theory is a vibrant and growing area of research concerned with algorithmic aspects of problems arising in social choice and economics that involve optimal ways to aggregate preferences. The area abounds in hard computational problems and may be an axciting area of applications for ASP. The two conferences will seek ways to identify and promote synergies between their respective areas of focus. JOINT LPNMR-ADT DOCTORAL CONSORTIUM: Details to be announced co-Chairs: - Esra Erdem (LPNMR), Sabanci University, Turkey - Nick Mattei (ADT), NICTA, Australia IMPORTANT DATES (TENTATIVE) * Paper registration: April 13, 2015 * Paper submission: April 20, 2015 * Notification: June 1, 2015 * Final versions due: June 15, 2015 VENUE Lexington is a medium size, pleasant and quiet university town. It is located in the heart of the so-called Bluegrass Region in Central Kentucky. The city is surrounded by beautiful horse farms on green pastures dotted with ponds and traditional architecture stables, and small race tracks, and bordered by white or black fences. The Horse Museum is as beautifully located as it is interesting. Overall, the city has a nice feel that mixes well old and new. The conference will be held in the Hilton Lexington Downtown hotel. GENERAL CHAIR Victor Marek, University of Kentucky, KY, USA PROGRAM CHAIRS Giovambattista Ianni, University of Calabria, Italy Mirek Truszczynski, University of Kentucky, KY, USA WORKSHOPS CHAIR Yuliya Lierler, University of Nebrska at Omaha, NE, USA PUBLICITY CHAIR Francesco Calimeri, University of Calabria, Italy PROGRAM COMMITTEE Agostino Dovier, Università di Udine, Italy Agustín Valverde, Universidad de Màlaga, Spain Alessandra Mileo, National University of Ireland, Galway, INSIGHT Centre for Data Analytics, Ireland Andrea Formisano, Dip. di Matematica e Informatica, Università di Perugia, Italy Axel Polleres, Vienna University of Economics and Business, Austria Bart Bogaerts, Department of Computer Science, KU Leuven, Belgium Chiaki Sakama, Wakayama University, Japan Chitta Baral, Arizona State University, USA Christoph Redl, Vienna University of Technology, Austria Daniela Inclezan, Miami University, USA David Pearce, Universidad Politécnica de Madrid, Spain Emilia Oikarinen, Aalto University, Finland Enrico Pontelli, New Mexico State University, USA Esra Erdem, Sabanci University, Istanbul, Turkey Eugenia Ternovska, Simon Fraser University, Canada Fangkai Yang, The University of Texas at Austin, USA Fangzhen Lin, Hong Kong University of Science and Technology, Hong Kong Francesco Calimeri, Università della Calabria, Italy Gerhard Brewka, Leipzig University, Germany Giovanni Grasso, Oxford University, UK Hannes Strass, Leipzig University, Germany Hans Tompits, Vienna University of Technology, Austria James Delgrande, Simon Fraser University, Canada Jia-Huai You, University of Alberta, Canada Joohyung Lee, Arizona State University, USA Jose Julio Alferes, Universidade Nova de Lisboa, Portugal Kewen Wang, Griffith University, Australia Marc Denecker, K.U.Leuven, Belgium Marcello Balduccini, Drexel University, USA Marina De Vos, University of Bath, UK Martin Gebser, University of Potsdam, Germany Matthias Knorr, CENTRIA, Universidade Nova de Lisboa, Portugal Mauricio Osorio, Fundacion de la Universidad de las Americas, Puebla, Mexico Michael Fink, Vienna University of Technology, Austria Michael Gelfond, Texas Tech University, USA Orkunt Sabuncu, University of Potsdam, Germany Paul Fodor, Stony Brook University, USA Pedro Cabalar, University of Corunna, Spain Saadat Anwar, Arizona State University, USA Stefan Woltran, Vienna University of Technology Stefania Costantini, Dipartimento di Ingegneria e Scienze dell'Informazione, e Matematica, Univ. di L'Aquila, Italy Terrance Swift, CENTRIA, Universidade Nova de Lisboa, Portugal Thomas Eiter, Vienna University of Technology, Austria Tomi Janhunen, Aalto University, Finland Torsten Schaub, University of Potsdam, Germany Vladimir Lifschitz, University of Texas at Austin, USA Wolfgang Faber, University of Huddersfield, UK Yi Zhou, University of Western Sydney, Australia Yisong Wang, Guizhou University, China Yuliya Lierler, University of Kentucky, USA CONTACT lpnmr2015(a)mat.unical.it

1 0

[ANN] accelerate-0.15
by Trevor L. McDonell 16 Sep '14

16 Sep '14

Friends, I am pleased to announce the release of the Accelerate 0.15 family of packages. Accelerate defines an embedded language of array computations for high performance computing in Haskell. Computations on multi-dimensional, regular arrays are expressed in the form of parameterised collective operations, such as maps, reductions, and permutations. These computations may then be online compiled and executed on a range of architectures, such as GPUs. This release brings mainly bug fixes and performance improvements. The following packages are available on Hackage: accelerate The language definition and reference implementation accelerate-cuda A high performance parallel backend targeting NVIDIA GPUs accelerate-io Fast conversion between Accelerate arrays and other formats, including ‘vector’ and ‘repa’. accelerate-fft Discrete Fourier transforms, backed by CUFFT where available accelerate-examples Computational kernels and applications showcasing Accelerate The code can be found on GitHub, where you can also submit issues: https://github.com/AccelerateHS https://github.com/AccelerateHS/accelerate/issues Finally, there is also a mailing list that can be used for both use and development discussions: accelerate-haskell(a)googlegroups.com http://groups.google.com/group/accelerate-haskell -The Accelerate Team

3 2

Re: [Haskell] [ANN] accelerate-0.15
by Trevor L. McDonell 15 Sep '14

15 Sep '14

On 15 Sep 2014, at 10:10 am, Alp Mestanogullari <alpmestan(a)gmail.com> wrote: > Just a quick question: is there any plan to make what's in http://www.cse.unsw.edu.au/~tmcdonell/papers/acc-multidev-icfp2014-sub.pdf land in accelerate any time soon? Yes, we have plans to revive and fully bake this work in the near future. Stay tuned! (: -Trev

1 0

ANN: patch-image
by Henning Thielemann 15 Sep '14

15 Sep '14

Right after the announcement of the latest version of Accelerate I like to announce an application build using that framework: "patch-image" assembles a big image from several overlapping parts. http://hackage.haskell.org/package/patch-image Now, let me extract the beginning of the docs: Compose a collage from overlapping image parts. In contrast to Hugin, this is not intended for creating panoramas from multiple photographies, but instead is specialised to creating highly accurate reconstructions of flat but big image sources, like record covers, posters or newspapers. It solves the problem that your scanner may be too small to capture a certain image as a whole. . This is the workflow: Scan parts of an image that considerably overlap. They must all be approximately oriented correctly. The program uses the overlapping areas for reconstruction of the layout of the parts. If all parts are in the directory @part@ then in the best case you can simply run: . > patch-image --output=collage.jpeg part/*.jpeg . If you get blurred areas, you might enable an additional rotation correction: . > patch-image --finetune-rotate --output=collage.jpeg part/*.jpeg Currently it depends on CUDA although this is not strictly necessary.

1 0

PhD position - Computer assisted validation in Erlang
by German Vidal 11 Sep '14

11 Sep '14

-------------------------------------------------------------------------- PhD scholarship at MiST, DSIC (Universitat Politecnica de Valencia, Spain) http://users.dsic.upv.es/~gvidal/german/mist Computer assisted validation in Erlang A fully-funded PhD position to start in early 2015. ** DEADLINE FOR APPLICATIONS: SEPTEMBER 24, 2014 ** -------------------------------------------------------------------------- The common goal of the MiST research group is the development of techniques for assisting the construction of reliable software through all phases of its life cycle. We aim at providing a solid formal basis for our developments which would allow us to formally prove the correctness and effectiveness of the techniques. The group keeps a balance between theoretical and practical developments. We have a new doctoral position available to start in early 2015. Candidates should be motivated to successfully complete a full Doctoral degree program. The PhD scholarship will cover a four-year period and is linked to a research project (see below) funded within the National Plan for Research and Development. The successful applicant will receive high level doctoral training in close interaction with her/his direct supervisor and other project researchers. Each scholarship includes a PhD fees exemption, an annual salary of EUR 16422 (divided in 14 payments) and social security entitlements. The possibility to apply for additional funding to cover the cost of international stays of up to three months per year is also associated with each PhD scholarship. Furthermore, travelling costs for attending conferences and schools, computer equipment, etc., is also covered by the group. -------------------------------------------------------------------------- CAVI project We live in a digital society in which the software reliability has become a crucial aspect, both because the risks for human lives that a software bug may cause and also for its associated economic cost. Most current software products use heterogenous technologies and different programming languages that are glued together by means of complex mechanisms. This complexity, together with the fact that most software components are made by third-party developers, makes the software validation tasks a true challenge for software development companies in terms of cost. However, validation tasks are crucial for guaranteeing the quality of the software products. In this project, we aim at advancing the knowledge and technology within the area of software validation at different levels: - Software testing. This is the technology most commonly used by the software industry to prevent errors during the software development. The controlled execution of a number of tests allows one to validate, to some extent, the correctness of the software developed. - Formal verification. The main drawback of the previous technique is that, despite the fact that they can be very helpful to locate the bugs of a program, they cannot be used to ensure that a program is error-free. Therefore, we will also consider formal verification techniques that finitely approximate (by means of static analysis, abstract interpretation, constraints, etc.) the possible executions of a program. Thus, we may obtain a total assurance of the correctness of a program, which makes these techniques specially adequate for validating critical software. - Program debugging. Complementary to the previous methods, we can also find a number of debugging techniques that help the programmer to detect and locate the most common program errors. We plan to apply most of our developments to the functional and concurrent programming language Erlang; see, e.g., http://www.erlang.org/ http://en.wikipedia.org/wiki/Erlang_(programming_language) -------------------------------------------------------------------------- Applications and evaluation criteria Formal applications for the PhD scholarships must be made online, through the framework of the Spanish National Program for Training of Researchers (FPI program): http://tinyurl.com/nmx6auf In particular, in the above URL you can find: - General requirements (basically, you should be already accepted and/or enrolled in a PhD program) - Frequently asked questions - The online application site (you need to sign up first and then add mainly the following documents: copy of your passport-in case you're not spanish-, updated CV, academic certifications of your graduate and master degrees, copy of the acceptance/registration to a PhD programme). Unfortunately, all the available information is only in Spanish. Nevertheless, we will happy to help you with the process, so don't hesitate to ask us for clarifications and help with the online application in case you are interested. Evaluation criteria: - Academic performance and achievements of the candidate - Knowledge on functional and/or logic programming paradigms (including Erlang, Haskell and/or Prolog programming languages). - Willingness to undertake research visits of up to three months in other countries. - Ability to write and interact in English. -------------------------------------------------------------------------- Interested candidates are invited to contact German Vidal via email (gvidal(a)dsic.upv.es) Please note that the deadline for the application is approaching soon! --------------------------------------------------------------------------

1 0

ICFEM 2014 Call for Participation
by Liu Yang (Asst Prof) 11 Sep '14

11 Sep '14

16th International Conference on Formal Engineering Methods ICFEM 2014, Luxembourg, 3-7 November 2014 Call for Participation http://icfem2014.uni.lu ---------------------------------------- The 16th International Conference on Formal Engineering Methods (ICFEM 2014) will be held at the Melia Hotel in Luxembourg, Luxembourg from 3rd November to 7 November 2014. Since 1997, ICFEM has been serving as an international forum for researchers and practitioners who have been seriously applying formal methods to practical applications. Highlights: ---------------------------------------- + Keynote speakers: Nikolaj Bjorner (Microsoft Research), Lionel Briand (University of Luxembourg) and Vincent Danos (University of Edinburgh) + A provisional programme and the list of accepted paper are now available (http://icfem2014.uni.lu/program.php, http://icfem2014.uni.lu/accepted.php) + Early registration by September 27, 2014 (http://icfem2014.uni.lu/registration.php) PC Chairs ---------------------------------------- + Stephan Merz (INRIA, France) + Jun Pang (University of Luxembourg, Luxembourg) ________________________________ CONFIDENTIALITY:This email is intended solely for the person(s) named and may be confidential and/or privileged.If you are not the intended recipient,please delete it,notify us and do not copy,use,or disclose its contents. Towards a sustainable earth:Print only when necessary.Thank you.

1 0

Haskell Weekly News: Issue 304
by Daniel Santa Cruz 11 Sep '14

11 Sep '14

Welcome to issue 305 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers from August 31 to September 06, 2014 Quotes of the Week * srhb: segfaults sure are easier to come by doing FFI stuff Top Reddit Stories * Pandoc author working with industry on Markdown spec Domain: standardmarkdown.com, Score: 68, Comments: 7 Original: [1] http://goo.gl/JBte8k On Reddit: [2] http://goo.gl/LWT42a * ICFP 2014 Talks Domain: youtube.com, Score: 56, Comments: 0 Original: [3] http://goo.gl/2zRte4 On Reddit: [4] http://goo.gl/NvWBBa * ICFP 2014 Workshops (Videos) Domain: youtube.com, Score: 53, Comments: 6 Original: [5] http://goo.gl/gpfI8T On Reddit: [6] http://goo.gl/Bj5SwB * Let's Build a Browser Engine in Haskell Domain: hrothen.github.io, Score: 45, Comments: 18 Original: [7] http://goo.gl/FkOM49 On Reddit: [8] http://goo.gl/rXM38x * Open type families are not modular Domain: blog.ezyang.com, Score: 41, Comments: 52 Original: [9] http://goo.gl/XO1bVK On Reddit: [10] http://goo.gl/ROxxUA * IDE for Haste projects Domain: haskell-web.blogspot.com.es, Score: 36, Comments: 5 Original: [11] http://goo.gl/uvjZUC On Reddit: [12] http://goo.gl/3Ra4dt * Real world one-liner examples Domain: github.com, Score: 33, Comments: 7 Original: [13] http://goo.gl/E5wFiW On Reddit: [14] http://goo.gl/9gipjb * Planning Yesod 1.4 Domain: yesodweb.com, Score: 32, Comments: 8 Original: [15] http://goo.gl/7Kul02 On Reddit: [16] http://goo.gl/erCRmZ * Practical Machines: A simple tutorial for the Machines streaming library Domain: statusfailed.com, Score: 32, Comments: 24 Original: [17] http://goo.gl/bmRQot On Reddit: [18] http://goo.gl/0QSdOL * Anecdotes and Advice on Hiring Junior or Summer/Co-Op Students for Haskell Work Domain: self.haskell, Score: 32, Comments: 29 Original: [19] http://goo.gl/M7NOJO On Reddit: [20] http://goo.gl/M7NOJO * Write your compiler passes in Coq for great good! Domain: megacz.com, Score: 30, Comments: 13 Original: [21] http://goo.gl/l7MU6n On Reddit: [22] http://goo.gl/oSqi3Z * IntelliJ IDEA haskell-idea-plugin + Hasklig Domain: self.haskell, Score: 28, Comments: 3 Original: [23] http://goo.gl/cNWkLh On Reddit: [24] http://goo.gl/cNWkLh * Upcast, a declarative cloud infrastructure orchestration tool that leverages Nix Domain: github.com, Score: 27, Comments: 12 Original: [25] http://goo.gl/vPpXcn On Reddit: [26] http://goo.gl/MHj0Le * Ray Marching Distance Fields with Haskell and GLSL Domain: github.com, Score: 27, Comments: 13 Original: [27] http://goo.gl/HZSjFq On Reddit: [28] http://goo.gl/w0IZ0w * A Pretty-Printer that Says What It Means (or, Why Idris's Pretty-Printer is a Functor) Domain: davidchristiansen.dk, Score: 25, Comments: 14 Original: [29] http://goo.gl/vfdISz On Reddit: [30] http://goo.gl/mHU49x * The Ivory Language is an eDSL for safe systems programming. You can think of Ivory as a safer C, embedded in Haskell. Domain: ivorylang.org, Score: 23, Comments: 3 Original: [31] http://goo.gl/xJJ68c On Reddit: [32] http://goo.gl/RLljxg * Pre-published the slide "Writing NetBSD Sound Drivers in Haskell" for Haskell Symposium 2014. #icfp2014 Domain: slideshare.net, Score: 23, Comments: 4 Original: [33] http://goo.gl/gsENVq On Reddit: [34] http://goo.gl/mWH3zH * Haskell 2014 talk: Reflection without Remorse: Revealing a hidden sequence to speed up monadic reflection Domain: youtube.com, Score: 23, Comments: 8 Original: [35] http://goo.gl/Dffhnx On Reddit: [36] http://goo.gl/UFPUu3 * Wadler's Blog: Howard on Curry-Howard Domain: wadler.blogspot.com, Score: 21, Comments: 0 Original: [37] http://goo.gl/Fz90FG On Reddit: [38] http://goo.gl/P5kemv Top StackOverflow Questions * Infinite lazy bitmap votes: 11, answers: 2 Read on SO: [39] http://goo.gl/4zDwFX * Correct terminology for continuations votes: 11, answers: 4 Read on SO: [40] http://goo.gl/QHVRWI * How do I make MonadRandom a Functor? votes: 9, answers: 1 Read on SO: [41] http://goo.gl/vvD7bR * Why does Haskell's foldr NOT stackoverflow while the same Scala implementation does? votes: 9, answers: 4 Read on SO: [42] http://goo.gl/zdxgAM Until next time, [43]+Daniel Santa Cruz References 1. http://standardmarkdown.com/ 2. http://www.reddit.com/r/haskell/comments/2fgtuu/pandoc_author_working_with_… 3. https://www.youtube.com/playlist?list=PL4UWOFngo5DVBqifWX6ZlXJ7idxWaOP69 4. http://www.reddit.com/r/haskell/comments/2f8o3x/icfp_2014_talks/ 5. http://www.youtube.com/playlist?list=PL4UWOFngo5DXuUiMCNumrFhaDfMx54QgV 6. http://www.reddit.com/r/haskell/comments/2f60hd/icfp_2014_workshops_videos/ 7. http://hrothen.github.io/2014/09/05/lets-build-a-browser-engine-in-haskell/ 8. http://www.reddit.com/r/haskell/comments/2flosm/lets_build_a_browser_engine… 9. http://blog.ezyang.com/2014/09/open-type-families-are-not-modular/ 10. http://www.reddit.com/r/haskell/comments/2fi4zc/open_type_families_are_not_… 11. http://haskell-web.blogspot.com.es/2014/09/ide-for-haste-projects.html 12. http://www.reddit.com/r/haskell/comments/2fk91p/ide_for_haste_projects/ 13. https://github.com/sjoerdvisscher/blog/blob/master/2014/2014-09-03%20real%2… 14. http://www.reddit.com/r/haskell/comments/2feen3/real_world_oneliner_example… 15. http://www.yesodweb.com/blog/2014/09/planning-yesod-1-4 16. http://www.reddit.com/r/haskell/comments/2f4kym/planning_yesod_14/ 17. http://statusfailed.com/blog/2014/09/02/practical-machines-in-60-seconds.ht… 18. http://www.reddit.com/r/haskell/comments/2fao00/practical_machines_a_simple… 19. http://www.reddit.com/r/haskell/comments/2fj0v5/anecdotes_and_advice_on_hir… 20. http://www.reddit.com/r/haskell/comments/2fj0v5/anecdotes_and_advice_on_hir… 21. http://www.megacz.com/berkeley/coq-in-ghc/ 22. http://www.reddit.com/r/haskell/comments/2f8bu9/write_your_compiler_passes_… 23. http://www.reddit.com/r/haskell/comments/2fb1j5/intellij_idea_haskellideapl… 24. http://www.reddit.com/r/haskell/comments/2fb1j5/intellij_idea_haskellideapl… 25. https://github.com/zalora/upcast 26. http://www.reddit.com/r/haskell/comments/2f2meq/upcast_a_declarative_cloud_… 27. https://github.com/blitzcode/ray-marching-distance-fields 28. http://www.reddit.com/r/haskell/comments/2ffmys/ray_marching_distance_field… 29. http://www.davidchristiansen.dk/2014/09/06/pretty-printing-idris/ 30. http://www.reddit.com/r/haskell/comments/2fntec/a_prettyprinter_that_says_w… 31. http://ivorylang.org/ 32. http://www.reddit.com/r/haskell/comments/2f6p2h/the_ivory_language_is_an_ed… 33. http://www.slideshare.net/master_q/writing-netbsd-sound-drivers-in-haskell 34. http://www.reddit.com/r/haskell/comments/2fd02w/prepublished_the_slide_writ… 35. https://www.youtube.com/watch?v=_XoI65Rxmss&index=31&list=UUP9g4dLR7xt6KzCY… 36. http://www.reddit.com/r/haskell/comments/2fnj6p/haskell_2014_talk_reflectio… 37. http://wadler.blogspot.com/2014/08/howard-on-curry-howard.html 38. http://www.reddit.com/r/haskell/comments/2f9v8e/wadlers_blog_howard_on_curr… 39. http://stackoverflow.com/questions/25621889/infinite-lazy-bitmap 40. http://stackoverflow.com/questions/25648332/correct-terminology-for-continu… 41. http://stackoverflow.com/questions/25622571/how-do-i-make-monadrandom-a-fun… 42. http://stackoverflow.com/questions/25622959/why-does-haskells-foldr-not-sta… 43. https://plus.google.com/105107667630152149014/about

1 0