- Haskell - Haskell.org

2nd CfP: SCSS 2014
by Temur Kutsia 01 Jun '14

01 Jun '14

SCSS 2014 Symbolic Computation in Software Science 6th International Symposium Second Call for Papers Gammarth, La Marsa, Tunisia, December 7-11, 2014 http://www.easychair.org/smart-program/SCSS2014/ Scope -------- The purpose of SCSS 2014 is to promote research on theoretical and practical aspects of symbolic computation in software science. The symposium provides a forum for active dialog between researchers from several fields of computer algebra, algebraic geometry, algorithmic combinatorics, computational logic, and software analysis and verification. SCSS 2014 solicits both regular and tool papers on all aspects of symbolic computation and their applications in software science. The topics of the symposium include, but are not limited to the following: - automated reasoning - algorithm (program) synthesis and/or verification - formal methods for the analysis of network security - termination analysis and complexity analysis of algorithms (programs) - extraction of specifications from algorithms (programs) - theorem proving methods and techniques - proof carrying code - generation of inductive assertion for algorithm (programs) - algorithm (program) transformations - formalization and computerization of knowledge (maths, medicine, economy, etc.) - component-based programming - computational origami - query languages (in particular for XML documents) - semantic web and cloud computing Invited Speakers ---------------- Nikolaj Bjorner (Microsoft Research) TBA Program Chairs -------------- Temur Kutsia (RISC, Johannes Kepler University Linz, Austria) Andrei Voronkov (University of Manchester, UK) Program Committee ------------------ Elvira Albert (Complutense University of Madrid, Spain) Adel Bouhoula (Higher School of Communications of Tunis, Tunisia) James H. Davenport (University of Bath, UK) Roberto Giacobazzi (University of Verona, Italy) Arie Gurfinkel (Carnegie Mellon University, USA) Nao Hirokawa (JAIST, Japan) Tetsuo Ida (University of Tsukuba, Japan) Florent Jacquemard (INRIA - IRCAM, France) Laura Kovacs (Chalmers University of Technology, Sweden) Temur Kutsia (RISC, Johannes Kepler University Linz, Austria) - chair Ali Mili (New Jersey Institute of Technology, USA) Joel Ouaknine (Oxford University, UK) Ruzica Piskac (Yale University, USA) Andrei Voronkov (University of Manchester, UK) - chair Dongming Wang (Beihang University, China and UPMC-CNRS, France) General Chairs --------------- Adel Bouhoula (Higher School of Communications of Tunis, Tunisia) Tetsuo Ida (University of Tsukuba, Japan) Local Chair ----------- Mohamed Becha Kaaniche (University of Carthage, Tunisia) Important Dates --------------- June 23, 2014: Abstract submission deadline June 30, 2014: Paper submission deadline August 25, 2014: Notification September 22, 2014: Camera-ready copy deadline December 7-11, 2014: SCSS 2014 in Gammarth Submission ---------- Submission is via EasyChair: https://www.easychair.org/conferences/?conf=scss2014 Submissions are invited in two categories: regular research papers and tool papers. - Regular research papers must not exceed 12 pages in the EasyChair Class format, with up to 3 additional pages for technical appendices. - Tool papers must not exceed 6 pages in the EasyChair Class format. Publication ---------- The proceedings will be published in the EasyChair Proceedings in Computing. We plan also to have a special issue of the Journal of Symbolic Computation on SCSS 2014. The full version of selected papers will be considered for the publication of the special issue subjected to the normal peer review process of the journal.

1 0

LOPSTR 2014 - Extended Deadlines
by German Vidal 01 Jun '14

01 Jun '14

==================== EXTENDED DEADLINES ==================== Abstract submission: June 11, 2014 Paper/Extended abstract submission: June 18, 2014 ===================== CALL FOR PAPERS ====================== 24th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2014 http://www.iasi.cnr.it/events/lopstr14/ University of Kent, Canterbury, UK, September 10-11, 2014 ============================================================ Invited Speakers: Roberto Giacobazzi (University of Verona, Italy) Viktor Kuncak (EPFL, Switzerland) ============================================================ The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers. The 24th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2014) will be held at the University of Kent, Canterbury, United Kingdom; previous symposia were held in Madrid, Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve, and Manchester. LOPSTR 2014 will be co-located with PPDP 2014 (International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming). Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. Both full papers and extended abstracts describing applications in these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to: * synthesis * transformation * specialization * composition * optimization * inversion * specification * analysis and verification * testing and certification * program and model manipulation * transformational techniques in SE * applications and tools Survey papers that present some aspects of the above topics from a new perspective, and application papers that describe experience with industrial applications are also welcome. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC co-chairs in case of questions). Important Dates Abstract submission: June 11, 2014 Paper/Extended abstract submission: June 18, 2014 Notification: July 18, 2014 Camera-ready (for electronic pre-proceedings): August 25, 2014 Symposium: September 10-11, 2014 Submission Guidelines Authors should submit an electronic copy of the paper (written in English) in PDF, formatted in the Lecture Notes in Computer Science style. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords which will be used to assist the PC in selecting appropriate reviewers for the paper. Page numbers should appear on the manuscript to help the reviewers in writing their report. Submissions cannot exceed 15 pages including references but excluding well-marked appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. Paper should be submitted via the Easychair submission website for LOPSTR 2014. If electronic submission is impossible, please contact the program co-chairs for information on how to submit hard copies. Proceedings The formal post-conference proceedings will be published by Springer in the Lecture Notes in Computer Science series. Full papers can be directly accepted for publication in the formal proceedings, or accepted only for presentation at the symposium and inclusion in informal proceedings. After the symposium, all authors of extended abstracts and full papers accepted only for presentation will be invited to revise and/or extend their submissions in the light of the feedback solicited at the symposium. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings. Program Committee Slim Abdennadher German University of Cairo, Egypt Étienne André Université Paris 13, France Martin Brain University of Oxford, UK Wei-Ngan Chin National University of Singapore, Singapore Marco Comini University of Udine, Italy Wlodzimierz Drabent IPIPAN, Poland and Linköping University, Sweden Fabio Fioravanti University of Chieti-Pescara, Italy Jürgen Giesl RWTH Aachen University, Germany Miguel Gómez-Zamalloa Complutense University of Madrid, Spain Arnaud Gotlieb SIMULA Research Laboratory, Norway Gopal Gupta University of Texas at Dallas, USA Jacob Howe City University London, UK Zhenjiang Hu National Institute of Informatics, Japan Alexei Lisitsa University of Liverpool, UK Yanhong Annie Liu Stony Brook University, USA Jorge Navas NASA, USA Naoki Nishida Nagoya University, Japan Corneliu Popeea Technische Universität München, Germany Maurizio Proietti IASI-CNR, Italy (Program Co-Chair) Tom Schrijvers Ghent University, Belgium Hirohisa Seki Nagoya Institute of Technology, Japan (Program Co-Chair) Jon Sneyers K.U. Leuven, Belgium Fausto Spoto University of Verona, Italy Wim Vanhoof University of Namur, Belgium German Vidal Universitat Politecnica de Valencia, Spain Program Co-Chairs: Maurizio Proietti, IASI-CNR, Italy (maurizio.proietti(a)iasi.cnr.it) Hirohisa Seki, Nagoya Institute of Technology, Japan (seki(a)nitech.ac.jp) Symposium Co-Chairs Olaf Chitil and Andy King School of Computing University of Kent CT2 7NF Kent, UK Organizing Committee Emanuele De Angelis, University of Chieti-Pescara and IASI-CNR, Italy Fabrizio Smith, IASI-CNR, Italy

1 0

CfP Theories for Tool Support in Software/TTSS'14, September, Bertinoro
by Clemens Grelck 30 May '14

30 May '14

**************************************************************************** TTSS 2014: Call For Papers The 7th Intl. Workshop on Harnessing Theories for Tool Support in Software Bertinoro, Italy, 9 September 2014 http://facs2014.cs.unibo.it/TTSS/ Co-located with FACS 2014: The 11th International Symposium on Formal Aspects of Component Software **************************************************************************** Important Dates =============== - Submission Deadline: July 25, 2014 - Notification of Acceptance: August 10, 2014 - Camera-ready version due: to be determined Overview and Topics of Interest ================================ The aim of the workshop is to bring together practitioners and researchers from academia, industry and government to present and discuss ideas about: - How to deal with the complexity of software projects by multi-view modeling and separation of concerns about the design of functionality, interaction, concurrency, scheduling, and non-functional requirements - How to ensure correctness and dependability of soft-ware by integrating formal methods and tools for modeling, design, verification and validation into design- and development processes and environments. - To explore some hot issues in supporting tool for service-oriented computing, specification generation, loop invariant generation, code generation, test-case generation. - Case studies and experience reports about harnessing static analysis tools such as model checking, theorem proving, testing, as well as runtime monitoring. The workshop will provide enough time for discussion on problems and research. Each presentation will be 25 minutes followed by 10 minutes discussion. Topics of interest include, but are not limited to, the following areas: - Models, calculi, and tool support for component-based and object-oriented software; - Mathematical frameworks, methods and tools for model-driven development; - Models, calculi, and tool support for integrating different scheduling, interaction and concurrency models in highly adaptable systems - Theory, methods and tools support for service construct, services composition, specification generation, loop invariant generation, code generation and test-case generation. Submission and Publication ========================== Submissions to the workshop must present original research that is unpublished and not submitted for publication elsewhere. Papers will be judged on the basis of originality, relevance, technical soundness and presentation quality. Papers must be written in English and not exceed 15 pages in the easychair format (seehttp://www.easychair.org/ publications/easychair.zip). The post-proceedings of the workshop will be published electronically in a repository indexed by DBLP (e.g. CEUR-WS, EPTCS,...); to be confirmed. Papers can be submitted via the following link: https://www.easychair.org/conferences/?conf=ttss14 Workshop Chairs =============== - Volker Stolz, University of Oslo, Norway - Michael Lienhardt, University of Bologna/INRIA, Italy Program Commitee ================ - Jun Pang, University of Luxembourg, Luxembourg - Cesar Sanchez, IMDEA Software Institute, Spain - Ralf Huuck, NICTA, Australia - Bernhard K. Aichernig, Graz University of Technology, Austria - Naijun Zhan, Chinese Academy of Sciences, China - Clemens Grelck, University of Amsterdam, the Netherlands - Charles Morisset, Newcastle University, UK - Wei Dong, NUDT, Changsha, China - Jinyun Xue,Jiangxi Normal University, Nanchang, China - Roberto Bruni, University of Pisa, Italy - Mario Bravetti, University of Bologna/INRIA, Italy - Prof. Dr. Erika A�braham, RWTH Aachen University, Germany - Jean-Bernard Stefani, INRIA, France -- ---------------------------------------------------------------------- Dr Clemens Grelck Science Park 904 University Lecturer 1098XH Amsterdam Netherlands University of Amsterdam Institute for Informatics T +31 (0) 20 525 8683 Computer Systems Architecture Group F +31 (0) 20 525 7490 Office C3.105 www.science.uva.nl/~grelck ----------------------------------------------------------------------

1 0

Haskell Weekly News: Issue 295
by Daniel Santa Cruz 29 May '14

29 May '14

Welcome to issue 294 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers from May 4 to 24, 2014 Quotes of the Week * dalaing: going from doing a fair bit of haskell recently to doing javascript today... sigh... it feels like the difference between typing at a keyboard and typing with a pair of those sporting-event-foam-hands-with-a-pointing-finger on * monochrom: to be blunt, I believe that "I do X for a living" means nothing. politicians do politics for a living too, what is the result? * Cale: Java seems like it was designed especially to be a strawman for people who hate static type systems * ReinH: Every so often edwardk goes up to the mountain of CT and brings us some new tablets edwardk: hear that dolio? we're going to start calling you the mountain. Top Reddit Stories * #haskell is welcoming and troll resistent (just found this by accident) Domain: gist.github.com, Score: 172, Comments: 19 Original: [1] http://goo.gl/TCiMW On Reddit: [2] http://goo.gl/JZNY3M * $7.5m DoD grant to develop Homotopy Type Theory Domain: cmu.edu, Score: 117, Comments: 70 Original: [3] http://goo.gl/EmSlbE On Reddit: [4] http://goo.gl/sKjGIl * Understanding the Stack Domain: well-typed.com, Score: 102, Comments: 13 Original: [5] http://goo.gl/qo9m5O On Reddit: [6] http://goo.gl/MVvaQn * Elm 0.12.3 - efficient 3D rendering with WebGL Domain: elm-lang.org, Score: 82, Comments: 19 Original: [7] http://goo.gl/iATfSi On Reddit: [8] http://goo.gl/QJ5ttp * An example of a Real World Haskell Application Architecture Domain: self.haskell, Score: 68, Comments: 36 Original: [9] http://goo.gl/ZTcr1x On Reddit: [10] http://goo.gl/ZTcr1x * ezyang: “try a <|> b” considered harmful Domain: blog.ezyang.com, Score: 67, Comments: 29 Original: [11] http://goo.gl/BEkC6W On Reddit: [12] http://goo.gl/3oql5l * 9m URL Shortener (Written in Haskell) Domain: 9m.no, Score: 67, Comments: 27 Original: [13] http://goo.gl/E0NoYv On Reddit: [14] http://goo.gl/n4cyN5 * Announce: JHC 0.8.1 IS OUT Domain: notanumber.net, Score: 66, Comments: 14 Original: [15] http://goo.gl/n6qAcf On Reddit: [16] http://goo.gl/wSMrva * Haskell for Mac OS X, self-contained relocatable GHC builds Domain: ghcformacosx.github.io, Score: 64, Comments: 35 Original: [17] http://goo.gl/CvsYC7 On Reddit: [18] http://goo.gl/WcIBw5 * Binary serialisation: better, stronger, faster (PDF, Duncan Coutts, March 2014) Domain: code.haskell.org, Score: 63, Comments: 39 Original: [19] http://goo.gl/r4xShZ On Reddit: [20] http://goo.gl/xhJRbg * CS240h lecture notes Domain: scs.stanford.edu, Score: 61, Comments: 8 Original: [21] http://goo.gl/F39zHe On Reddit: [22] http://goo.gl/AQqrUj * Haskell-mode documentation Domain: chrisdone.com, Score: 58, Comments: 28 Original: [23] http://goo.gl/XzKMCk On Reddit: [24] http://goo.gl/DZBQtO * PSA: you can now visit status.haskell.org Domain: status.haskell.org, Score: 58, Comments: 19 Original: [25] http://goo.gl/oRHfsn On Reddit: [26] http://goo.gl/Ye9YU2 * Once more into the teach, dear friends Domain: serpentine.com, Score: 57, Comments: 11 Original: [27] http://goo.gl/L8Csnm On Reddit: [28] http://goo.gl/AyF2Fs * What Features Would You Like to Find in a Haskell IDE? Domain: self.haskell, Score: 57, Comments: 90 Original: [29] http://goo.gl/Pvo32I On Reddit: [30] http://goo.gl/Pvo32I * Adventure with Types in Haskell - Simon Peyton Jones [1:33:36] Domain: youtu.be, Score: 57, Comments: 10 Original: [31] http://goo.gl/L9wGWe On Reddit: [32] http://goo.gl/sL3u8i * Ars Technica has Haskell as one of three potential heirs to Fortran's scientific computing throne Domain: arstechnica.com, Score: 56, Comments: 78 Original: [33] http://goo.gl/lxWcdK On Reddit: [34] http://goo.gl/kCxUS9 Top StackOverflow Questions * Why does Haskell's “do nothing” function, id, consume tons of memory? votes: 72, answers: 1 Read on SO: [35] http://goo.gl/8awkSk * Are Ana-/Catamorphisms just slower? votes: 29, answers: 2 Read on SO: [36] http://goo.gl/wcmkQw * Code becomes slower as more boxed arrays are allocated votes: 22, answers: 2 Read on SO: [37] http://goo.gl/qfKo2a * Which part of Real World Haskell is now obsolete or considered bad practise? votes: 22, answers: 1 Read on SO: [38] http://goo.gl/EtT51x Until next time, [39]+Daniel Santa Cruz References 1. https://gist.github.com/quchen/5280339 2. http://www.reddit.com/r/haskell/comments/2516e4/haskell_is_welcoming_and_tr… 3. http://www.cmu.edu/news/stories/archives/2014/april/april28_awodeygrant.html 4. http://www.reddit.com/r/haskell/comments/24rs73/75m_dod_grant_to_develop_ho… 5. http://www.well-typed.com/blog/94/ 6. http://www.reddit.com/r/haskell/comments/2641x0/understanding_the_stack/ 7. http://elm-lang.org/blog/announce/0.12.3.elm 8. http://www.reddit.com/r/haskell/comments/261abs/elm_0123_efficient_3d_rende… 9. http://www.reddit.com/r/haskell/comments/24y6ls/an_example_of_a_real_world_… 10. http://www.reddit.com/r/haskell/comments/24y6ls/an_example_of_a_real_world_… 11. http://blog.ezyang.com/2014/05/parsec-try-a-or-b-considered-harmful/ 12. http://www.reddit.com/r/haskell/comments/25ulsv/ezyang_try_a_b_considered_h… 13. http://9m.no/ 14. http://www.reddit.com/r/haskell/comments/267evu/9m_url_shortener_written_in… 15. http://notanumber.net/archives/178/jhc-haskell-0-8-1-released 16. http://www.reddit.com/r/haskell/comments/25o33n/announce_jhc_081_is_out/ 17. http://ghcformacosx.github.io/ 18. http://www.reddit.com/r/haskell/comments/26bx5n/haskell_for_mac_os_x_selfco… 19. http://code.haskell.org/~duncan/binary-experiment/binary.pdf 20. http://www.reddit.com/r/haskell/comments/25ch8v/binary_serialisation_better… 21. http://www.scs.stanford.edu/14sp-cs240h/slides/ 22. http://www.reddit.com/r/haskell/comments/25i99i/cs240h_lecture_notes/ 23. http://chrisdone.com/posts/haskell-mode-docs 24. http://www.reddit.com/r/haskell/comments/2583sm/haskellmode_documentation/ 25. http://status.haskell.org/ 26. http://www.reddit.com/r/haskell/comments/2653kp/psa_you_can_now_visit_statu… 27. http://www.serpentine.com/blog/2014/05/13/once-more-into-the-teach-dear-fri… 28. http://www.reddit.com/r/haskell/comments/25iqk7/once_more_into_the_teach_de… 29. http://www.reddit.com/r/haskell/comments/25sqvk/what_features_would_you_lik… 30. http://www.reddit.com/r/haskell/comments/25sqvk/what_features_would_you_lik… 31. http://youtu.be/6COvD8oynmI 32. http://www.reddit.com/r/haskell/comments/25vj62/adventure_with_types_in_has… 33. http://arstechnica.com/science/2014/05/scientific-computings-future-can-any… 34. http://www.reddit.com/r/haskell/comments/250558/ars_technica_has_haskell_as… 35. http://stackoverflow.com/questions/23746852/why-does-haskells-do-nothing-fu… 36. http://stackoverflow.com/questions/23664197/are-ana-catamorphisms-just-slow… 37. http://stackoverflow.com/questions/23462004/code-becomes-slower-as-more-box… 38. http://stackoverflow.com/questions/23727768/which-part-of-real-world-haskel… 39. https://plus.google.com/105107667630152149014/about

1 0

Second Workshop on Haskell And Rewriting Techniques (HART 2014, co-located with ICFP 2014)
by Janis Voigtlaender 27 May '14

27 May '14

CALL FOR PAPERS Second Workshop on Haskell And Rewriting Techniques (HART 2014) http://www.program-transformation.org/HART14/ To be held on September 5, co-located with ICFP, the Haskell Symposium, etc., in Gothenburg. Haskell is an advanced purely-functional programming language. Pure functional programming is programming with equations, often defined by pattern-matching. Rewriting is the science of replacing equals by equals and thus a very powerful method for dealing with equations, often constructor-based. There are strong connections between Haskell (or generally, pure functional) programming and rewriting. The purpose of the HART workshop is to foster those connections. In addition to an invited talk by Oleg Kiselyov, we plan a half day of discussions, in an informal setting, on how Haskell (and related languages) and rewriting techniques and theories can cross-fertilize each other. Topics of interest are, for example: ==================================== - 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. This list of topics is non-exclusive. If you have a contribution that connects Haskell and rewriting, then submit. Also, the workshop is deliberately open for discussion of rewriting-related aspects of languages like Agda, Clean, ... When in doubt, please contact a member of the PC (see below). Dates: ====== July 2: deadline for submissions July 21: notification of acceptance September 5: workshop Submission and proceedings: =========================== We solicit two types of submissions: - Extended abstracts. Presenting original research, and also preliminary reports of work in progress. Will be included in the proceedings. - Presentation-only papers. Describing work recently published or submitted. Only abstract will be included in the proceedings. Papers should be at most 5 pages in length, and should use the easychair.cls style. Submission is electronically at https://www.easychair.org/conferences/?conf=hart2014 In line with the informal style of the workshop, the reviewing of submissions will be light. Proceedings will be made available electronically. Program committee: ================== Bertram Felgenhauer Carsten Fuhs Andy Gill Makoto Hamana Bastiaan Heeren Femke van Raamsdonk Tiark Rompf Kristoffer Rose (co-chair) Christian Sternagel Janis Voigtländer (co-chair) Johannes Waldmann

1 0

APLAS 2014: Extended deadline
by Jacques Garrigue 27 May '14

27 May '14

=============================================================== APLAS 2014 12th Asian Symposium on Programming Languages and Systems http://www.math.nagoya-u.ac.jp/~garrigue/APLAS2014/ 17-19 November 2014, Singapore CALL FOR PAPERS Abstracts due June 2 (full paper by June 8) =============================================================== ================ INVITED SPEAKERS ================ Zhenjiang Hu (NII, Japan) Dexter Kozen (Cornell University, USA) Julien Verlaguet (Facebook, USA) ========== BACKGROUND ========== APLAS aims to stimulate programming language research by providing a forum for the presentation of latest results and the exchange of ideas in programming languages and systems. APLAS is based in Asia, but is an international forum that serves the worldwide programming language community. APLAS is sponsored by the Asian Association for Foundation of Software (AAFS) founded by Asian researchers in cooperation with many researchers from Europe and the USA. Past APLAS symposiums were successfully held in Melbourne ('13), Kyoto ('12), Kenting ('11), Shanghai ('10), Seoul ('09), Bangalore ('08), Singapore ('07), Sydney ('06), Tsukuba ('05), Taipei ('04) and Beijing ('03) after three informal workshops. Proceedings of the past symposiums were published in Springer's LNCS. ====== TOPICS ====== The symposium is devoted to foundational and practical issues in programming languages and systems. Papers are solicited on topics such as * semantics, logics, foundational theory; * design of languages, type systems and foundational calculi; * domain-specific languages; * compilers, interpreters, abstract machines; * program derivation, synthesis and transformation; * program analysis, verification, model-checking; * logic, constraint, probabilistic and quantum programming; * software security; * concurrency and parallelism; * tools and environments for programming and implementation. Topics are not limited to those discussed in previous symposiums. Papers identifying future directions of programming and those addressing the rapid changes of the underlying computing platforms are especially welcome. Demonstration of systems and tools in the scope of APLAS are welcome to the System and Tool presentations category. Authors concerned about the appropriateness of a topic are welcome to consult with the program chair prior to submission. ========== SUBMISSION ========== We solicit submissions in two categories: *Regular research papers* describing original scientific research results, including tool development and case studies. Regular research papers should not exceed 18 pages in the Springer LNCS format, including bibliography and figures. They should clearly identify what has been accomplished and why it is significant. Submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity. In case of lack of space, proofs, experimental results, or any information supporting the technical results of the paper could be provided as an appendix or a link to a web page, but reviewers are not obliged to read them. *System and Tool presentations* describing systems or tools that support theory, program construction, reasoning, or program execution in the scope of APLAS. System and Tool presentations are expected to be centered around a demonstration. The paper and the demonstration should identify the novelties of the tools and use motivating examples. System and Tool papers should not exceed 8 pages in the Springer LNCS format, including bibliography and figures. Submissions will be judged based on both the papers and the described systems or tools. It is highly desirable that the tools are available on the web. Papers should be submitted electronically via the submission web page: https://www.easychair.org/conferences/?conf=aplas2014 Acceptable formats are PostScript or PDF. Submitted papers must be unpublished and not submitted for publication elsewhere. Papers must be written in English. The proceedings will be published as a volume in Springer's LNCS series. Accepted papers must be presented at the conference. ===== DATES ===== Abstracts due: June 2, 2014 (Monday) 23:59 UTC-11 Submission due: June 8, 2014 (Sunday) 23:59 UTC-11 Notification: August 6, 2014 (Wednesday) Final paper due: September 1, 2014 (Monday) Conference: November 17-19, 2014 (Monday-Wednesday) ========== ORGANIZERS ========== General chair: Wei-Ngan Chin (National University of Singapore) Program chair: Jacques Garrigue (Nagoya University) Program committee: Xiaojuan Cai (Shanghai Jiao Tong University, China) James Chapman (Institute of Cybernetics, Estonia) Cristian Gherghina (Singapore University of Technology and Design) Eric Goubault (CEA LIST and Ecole Polytechnique, France) Fei He (Tsinghua University, China) Gerwin Klein (NICTA and UNSW, Australia) Raghavan Komondoor (Indian Institute of Science, Bangalore) Paddy Krishnan (Oracle, Australia) Daan Leijen (Microsoft Research, USA) Yasuhiko Minamide (University of Tsukuba, Japan) Shin-Cheng Mu (Academia Sinica, Taiwan) Sungwoo Park (Pohang University of Science and Technology, Korea) Julian Rathke (University of Southampton, UK) Sukyoung Ryu (KAIST, Korea) Alexandra Silva (Radboud University Nijmegen, Netherlands) Martin Sulzmann (Karlsruhe University of Applied Sciences, Germany) Munehiro Takimoto (Tokyo University of Science, Japan) Jan Vitek (Purdue University, USA) Hongwei Xi (Boston University, USA) ======= CONTACT ======= aplas2014 at easychair.org

1 0

Call for participation: HLPP 2014 - 7th Symposium on High-Level Parallel Programming and Applications
by Clemens Grelck 25 May '14

25 May '14

=========================================================================== CALL FOR PARTICIPATION HLPP 2014 7th International Symposium on High-level Parallel Programming and Applications Amsterdam, Netherlands July 3-4, 2014 https://sites.google.com/site/hlpp2014amsterdam/ =========================================================================== Early registration deadline: June 16 =========================================================================== Aims and scope: As processor and system manufacturers increase the amount of both inter- and intra-chip parallelism it becomes crucial to provide the software industry with high-level, clean and efficient tools for parallel programming. Parallel and distributed programming methodologies are currently dominated by low-level techniques such as send/receive message passing, or equivalently unstructured shared memory mechanisms. Higher-level, structured approaches offer many possible advantages and have a key role to play in the scalable exploitation of ubiquitous parallelism. Since 2001 the HLPP series of workshops/symposia has been a forum for researchers developing state-of-the-art concepts, tools and applications for high-level parallel programming. The general emphasis is on software quality, programming productivity and high-level performance models. The 7th Symposium on High-Level Parallel Programming and Applications will be held July 3-4 in the historic center of Amsterdam. =========================================================================== Proceedings: Accepted papers will be distributed as informal draft proceedings during the symposium and thereafter published by Springer in a special issue of the International Journal of Parallel Programming (IJPP). =========================================================================== Topics: HLPP 2014 invites papers on all topics in high-level parallel programming, its tools and applications including, but not limited to, the following aspects: + High-level programming and performance models (BSP, CGM, LogP, MPM, etc.) and their tools + Declarative parallel programming methodologies + Algorithmic skeletons and constructive methods + Declarative parallel programming languages and libraries: semantics and implementation + Verification of declarative parallel and distributed programs + Software synthesis, automatic code generation for parallel programming + Model-driven software engineering with parallel programs + High-level programming models for heterogeneous/hierarchical platforms + High-level parallel methods for large datasets + Applications of parallel systems using high-level languages and tools + Teaching experience with high-level tools and methods =========================================================================== Programme committee: Marco Aldinucci, University of Torino, Italy Jost Berthold, University of Copenhagen, Denmark Rob Bisseling, Utrecht University, Netherlands Murray Cole, University of Edinburgh, United Kingdom Joel Falcou, MetaScale / Université Paris-Sud, France Clemens Grelck, University of Amsterdam, Netherlands (Chair) Gaétan Hains, Université Paris-Est, France Zhenjiang Hu, National Institute of Informatics, Japan Youry Khmelevsky, University of British Columbia / Okanagan College, Canada Herbert Kuchen, University of Münster, Germany Kiminori Matsuzaki, Kochi University of Technology, Japan Frank Penczek, Intel Ulm, Germany Susanna Pelagatti, University of Pisa, Italy Tiark Rompf, Oracle Labs / Ecole Polytechnique Fédérale de Lausanne, Switzerland Francisco de Sande, University of La Laguna, Spain Kostis Sagonas, Uppsala University, Sweden Vijay Saraswat, IBM Thomas J. Watson Research Center, USA Sven-Bodo Scholz, Heriot-Watt University, United Kingdom =========================================================================== HLPP Organizer and programme chair: Clemens Grelck Informatics Institute University of Amsterdam Science Park 904 1098XH Amsterdam Netherlands c.grelck(a)uva.nl =========================================================================== HLPP steering committee: Clemens Grelck (Universiteit van Amsterdam, Netherlands) Gaétan Hains (Université Paris-Est, France) Kiminori Matsuzaki (Kochi University of Technology, Japan) Frédéric Loulergue (Université d'Orléans, France) Quentin Miller (Somerville College Oxford, United Kingdom) Alexander Tiskin (University of Warwick, United Kingdom) =========================================================================== Previous HLPP symposia and workshops: HLPP 2013, Paris, France HLPP 2011, Tokyo, Japan HLPP 2010, Baltimore, USA HLPP 2005, Coventry, United Kingdom HLPP 2003, Paris, France HLPP 2001, Orléans, France =========================================================================== -- ---------------------------------------------------------------------- Dr Clemens Grelck Science Park 904 University Lecturer 1098XH Amsterdam Netherlands University of Amsterdam Institute for Informatics T +31 (0) 20 525 8683 Computer Systems Architecture Group F +31 (0) 20 525 7490 Office C3.105 www.science.uva.nl/~grelck ----------------------------------------------------------------------

1 0

ANNOUNCE: Haskell Communities and Activities Report (26th ed., May 2014)
by Mihai Maruseac 21 May '14

21 May '14

On behalf of all the contributors, we are pleased to announce that the Haskell Communities and Activities Report (26th edition, May 2014) is now available, in PDF and HTML formats: http://www.haskell.org/communities/05-2014/report.pdf http://www.haskell.org/communities/05-2014/html/report.html Many thanks go to all the people that contributed to this report, both directly, by sending in descriptions, and indirectly, by doing all the interesting things that are reported. We hope you will find it as interesting a read as we did. If you have not encountered the Haskell Communities and Activities Reports before, you may like to know that the first of these reports was published in November 2001. Their goal is to improve the communication between the increasingly diverse groups, projects, and individuals working on, with, or inspired by Haskell. The idea behind these reports is simple: Every six months, a call goes out to all of you enjoying Haskell to contribute brief summaries of your own area of work. Many of you respond (eagerly, unprompted, and sometimes in time for the actual deadline) to the call. The editors collect all the contributions into a single report and feed that back to the community. When we try for the next update, six months from now, you might want to report on your own work, project, research area or group as well. So, please put the following into your diaries now: ======================================== End of October 2014: target deadline for contributions to the November 2014 edition of the HC&A Report ======================================== Unfortunately, many Haskellers working on interesting projects are so busy with their work that they seem to have lost the time to follow the Haskell related mailing lists and newsgroups, and have trouble even finding time to report on their work. If you are a member, user or friend of a project so burdened, please find someone willing to make time to report and ask them to "register" with the editors for a simple e-mail reminder in October (you could point us to them as well, and we can then politely ask if they want to contribute, but it might work better if you do the initial asking). Of course, they will still have to find the ten to fifteen minutes to draw up their report, but maybe we can increase our coverage of all that is going on in the community. Feel free to circulate this announcement further in order to reach people who might otherwise not see it. Enjoy! Mihai Maruseac and Alejandro Serrano Mena <hcar at haskell.org> -- Mihai Maruseac (MM) "If you don't know, the thing to do is not to get scared, but to learn." -- Atlas Shrugged.

1 0

Call for Contributions: Haskell Implementors' Workshop 2014
by Jost Berthold 21 May '14

21 May '14

Call for Contributions ACM SIGPLAN Haskell Implementors' Workshop http://haskell.org/haskellwiki/HaskellImplementorsWorkshop/2014 Gothenburg, Sweden, 06 September, 2014 Co-located with ICFP 2014 http://www.icfpconference.org/icfp2014/ Important dates --------------- Proposal Deadline: Monday, 14 July, 2014 (midnight, anywhere on earth) Notification: 21 July 2014 Workshop: Saturday, 6 September 2014 The 6th Haskell Implementors' Workshop is to be held alongside ICFP 2014 this year in Gothenburg. It is a forum for people involved in the design and development of Haskell implementations, tools, libraries, and supporting infrastructure, to share their work and discuss future directions and collaborations with others. Talks and/or demos are proposed by submitting an abstract, and selected by a small program committee. There will be no published proceedings; the workshop will be informal and interactive, with a flexible timetable and plenty of room for ad-hoc discussion, demos, and impromptu short talks. Attendance figures clearly reflect the growth of the Haskell user community and a constant interest in implementation aspects. Scope and target audience ------------------------- It is important to distinguish the Haskell Implementors' Workshop from the Haskell Symposium which is also co-located with ICFP 2014. The Haskell Symposium is for the publication of Haskell-related research. In contrast, the Haskell Implementors' Workshop will have no proceedings -- although we will aim to make talk videos, slides and presented data available with the consent of the speakers. In the Haskell Implementors' Workshop, we hope to study the underlying technology. We want to bring together anyone interested in the nitty-gritty details behind turning plain-text source code into a deployed product. Having said that, members of the wider Haskell community are more than welcome to attend the workshop -- we need your feedback to keep the Haskell ecosystem thriving. The scope covers any of the following topics. There may be some topics that people feel we've missed, so by all means submit a proposal even if it doesn't fit exactly into one of these buckets: * Compilation techniques * Language features and extensions * Type system implementation * Concurrency and parallelism: language design and implementation * Performance, optimisation and benchmarking * Virtual machines and run-time systems * Libraries and tools for development or deployment Talks ----- At this stage we would like to invite proposals from potential speakers for talks and demonstrations. We are aiming for 20 minute talks with 10 minutes for questions and changeovers. We want to hear from people writing compilers, tools, or libraries, people with cool ideas for directions in which we should take the platform, proposals for new features to be implemented, and half-baked crazy ideas. Please submit a talk title and abstract of no more than 300 words. Submissions should be made via EasyChair. The website is: https://www.easychair.org/conferences/?conf=hiw2014 If you don't have an account you can create one here: https://www.easychair.org/account/signup.cgi Because the submission is an abstract only, please click the "abstract only" button when you make your submission. There is no need to attach a separate file. We will also have a lightning talks session which will be organised on the day. These talks will be 5-10 minutes, depending on available time. Suggested topics for lightning talks are to present a single idea, a work-in-progress project, a problem to intrigue and perplex Haskell implementors, or simply to ask for feedback and collaborators. Organisers ---------- * Jost Berthold (co-chair) (University of Copenhagen) * Kevin Hammond (University of St.Andrews) * Gabriele Keller (University of New South Wales) * Paul Liu (Intel Labs) * Rita Loogen (Philipps-Universitat Marburg) * Geoffrey Mainland (co-chair) (Drexel University, Philadelphia) * Carter Schonwald (WellPosed Ltd) Contact ------- * hiw2014(a)easychair.org * Jost Berthold <berthold at di.ku.dk> * Geoffrey Mainland <mainland at cs.drexel.edu>

1 0

ML Family workshop - Extended deadline
by oleg＠okmij.org 20 May '14

20 May '14

Extended submission deadline: May 23 (Friday), any time zone Four more days to write a 2-page abstract Submissions of demos, case studies and informed opinions are particularly encouraged! Higher-order, Typed, Inferred, Strict: ACM SIGPLAN ML Family Workshop Thursday September 4, 2014, Gothenburg, Sweden (immediately following ICFP and preceding OCaml Users and Developers Workshop) Call For Papers http://okmij.org/ftp/ML/ML14.html ML is a very large family of programming languages that includes Standard ML, OCaml, F#, SML#, Manticore, MetaOCaml, JoCaml, Alice ML, Dependent ML, Flow Caml, and many others. All ML languages, beside the great deal of syntax, share several fundamental traits. They are all higher-order, strict, mostly pure, and typed, with algebraic and other data types. Their type systems inherit from Hindley-Milner. The development of these languages has inspired a significant amount of computer science research and influenced a number of programming languages, including Haskell, Scala and Clojure, as well as Rust, ATS and many others. ML workshops have been held in affiliation with ICFP continuously since 2005. This workshop specifically aims to recognize the entire extended ML family and to provide the forum to present and discuss common issues, both practical (compilation techniques, implementations of concurrency and parallelism, programming for the Web) and theoretical (fancy types, module systems, metaprogramming). The scope of the workshop includes all aspects of the design, semantics, theory, application, implementation, and teaching of the members of the ML family. We also encourage presentations from related languages (such as Scala, Rust, Nemerle, ATS, etc.), to exchange experience of further developing ML ideas. The ML family workshop will be held in close coordination with the OCaml Users and Developers Workshop. Format Since 2010, the ML workshop has adopted an informal model. Presentations are selected from submitted abstracts. There are no published proceedings, so any contributions may be submitted for publication elsewhere. We hope that this format encourages the presentation of exciting (if unpolished) research and deliver a lively workshop atmosphere. Each presentation should take 20-25 minutes, except demos, which should take 10-15 minutes. The exact time will be decided based on the number of accepted submissions. The presentations will likely be recorded. Post-conference proceedings The post-proceedings of selected papers from the ML Family and the OCaml Users and Developers workshops will be published in the Electronic Proceedings in Theoretical Computer Science (EPTCS). The Program Committee shall invite interested authors of selected presentations to expand their abstract for inclusion in the proceedings. The submissions are to be reviewed according to the EPTCS standards. Coordination with the OCaml Users and Developers Workshop The OCaml workshop is seen as more practical and is dedicated in significant part to the OCaml community building and the evolution of the OCaml system. In contrast, the ML family workshop is not focused on any language in particular, is more research oriented, and deals with general issues of the ML-style programming and type systems. Yet there is an overlap, which we are keen to explore in various ways. The authors who feel their submission fits both workshops are encouraged to mention it at submission time or contact the Program Chairs. Scope We acknowledge the whole breadth of the ML family and aim to include languages that are closely related (although not by blood), such as Rust, ATS, Scala, Typed Clojure. Those languages have implemented and investigated run-time and type system choices that may be worth considering for OCaml, F# and other ML languages. We also hope that the exposure to the state of the art ML might favorably influence those related languages. Specifically, we seek research presentations on topics including but not limited to * Design: concurrency, distribution and mobility, programming for the web and embedded systems, handling semi-structured data, facilitating interactive programming, higher forms of polymorphism, generic programming, objects * Implementation: compilation techniques, interpreters, type checkers, partial evaluators, runtime systems, garbage collectors, etc. * Type systems: fancy types, inference, effects, overloading, modules, contracts, specifications and assertions, dynamic typing, error reporting, etc. * Applications: case studies, experience reports, pearls, etc. * Environments: libraries, tools, editors, debuggers, cross-language interoperability, functional data structures, etc. * Education: ML and ML-like languages in college or high-school, in general or computer science curriculum. Four kinds of submissions will be accepted: Informed Positions, Research Presentations, Experience Reports and Demos. * Informed Positions: A justified argument for or against a language feature. The argument must be substantiated, either theoretically (e.g., by a demonstration of (un)soundness, an inference algorithm, a complexity analysis), empirically or by a substantial experience. Personal experience is accepted as justification so long as it is extensive and illustrated with concrete examples. * Research Presentations: Research presentations should describe new ideas, experimental results, or significant advances in ML-related projects. We especially encourage presentations that describe work in progress, that outline a future research agenda, or that encourage lively discussion. These presentations should be structured in a way which can be, at least in part, of interest to (advanced) users. * Experience Reports: Users are invited to submit Experience Reports about their use of ML and related languages. These presentations do not need to contain original research but they should tell an interesting story to researchers or other advanced users, such as an innovative or unexpected use of advanced features or a description of the challenges they are facing or attempting to solve. * Demos: Live demonstrations or short tutorials should show new developments, interesting prototypes, or work in progress, in the form of tools, libraries, or applications built on or related to ML. (You will need to provide all the hardware and software required for your demo; the workshop organizers are only able to provide a projector.) Important dates Friday May 23 (any time zone): Abstract submission Monday June 30: Author notification Thursday September 4, 2014: ML Family Workshop Submission Submissions should be at most two pages, in PDF format, and printable on US Letter or A4 sized paper. A submission should have a synopsis (2-3 lines) and a body between 1 and 2 pages, in one- or two-column layout. The synopsis should be suitable for inclusion in the workshop program. Submissions must be uploaded to the workshop submission website before the submission deadline (Monday May 19, 2014). For any question concerning the scope of the workshop or the submission process, please contact the program chair. Program Committee Kenichi Asai Ochanomizu University, Japan Matthew Fluet Rochester Institute of Technology, USA Jacques Garrigue Nagoya University, Japan Dave Herman Mozilla, USA Stefan Holdermans Vector Fabrics, Netherlands Oleg Kiselyov (Chair) Monterey, CA, USA Keiko Nakata Tallinn University of Technology, Estonia Didier Remy INRIA Paris-Rocquencourt, France Zhong Shao Yale University, USA Hongwei Xi Boston University, USA

1 0