- Haskell - Haskell.org

ICFEM 2014 Last Call-for-papers
by Liu Yang (Asst Prof) 05 Apr '14

05 Apr '14

(We apologize in case you receive this email more than once) ---------------------------------------- 16th International Conference on Formal Engineering Methods ICFEM 2014, Luxembourg, 3-7 November 2014 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. Researchers and practitioners, from industry, academia, and government, are encouraged to attend, present their research, and help advance the state of the art. We are interested in work that has been incorporated into real production systems, and in theoretical work that promises to bring practical and tangible benefit. ICFEM 2014 is organised and sponsored by The University of Luxembourg. The city of Luxembourg itself is on the UNESCO World Heritage List, on account of the historical importance of its fortifications. Luxembourg was the first city to be named European Capital of Culture twice. SCOPE AND TOPICS ---------------------------------------- Submissions related to the following principal themes are encouraged, but any topics relevant to the field of formal methods and their practical applications will also be considered. + Abstraction and refinement + Formal specification and modelling + Program analysis + Software verification + Software model checking + Formal approaches to software testing + Formal methods for self-adaptive systems Formal methods for object and + component systems Formal methods for concurrent and real-time systems + Formal methods for cloud computing and cyber-physical systems Formal + methods for software safety, security, reliability and dependability + Tool development, integration and experiments involving verified + systems Formal methods used in certifying products under international + standards Formal model-based development and code generation This year, ICFEM will have special tracks on application of formal methods in three areas: + Computer Security + Biology + Healthcare Submissions in these topics are especially encouraged. Papers in these areas will be subject to the same rigorous review process as other papers. Accepted special track papers will be organised into special sessions. KEYNOTE SPEAKERS ---------------------------------------- + Nikolaj Bjorner, Microsoft Research + Vincent Danos, University of Edinburgh SUBMISSION AND PUBLICATION ---------------------------------------- Submissions to the conference must not have been published or be concurrently considered for publication elsewhere. All submissions will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. The proceedings will be published in the Springer Lecture Notes in Computer Science series. Papers should be written in English and not exceed 16 pages in LNCS format (see http://www.springer.de/comp/lncs/authors.html for details). Submission should be made through the ICFEM 2014 submission page (https://www.easychair.org/conferences/?conf=icfem2014) handled by the EasyChair conference management system. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to appear in a special issue of the Formal Aspect Computing journal. WORKSHOP AND TUTORIAL ---------------------------------------- The last two days of the conference (6th and 7th November 2014) will be dedicated to workshops, tutorials and other satellite events. The organising committee of ICFEM 2014 therefore cordially invites proposals for one-day workshops and one-day or half-day tutorials in any area related to formal methods or software engineering, but particularly in new or emerging fields of application of formal methods. Proposals for workshops/tutorial should contain: + a title and brief description of the topic and the history of the workshop/tutorial, if applicable; + the names and contact details of the potential organisers; a brief + justification of the topic and estimated size of audience; a + description of any special technical requirements. Proposals should be sent to ICFEM2014 Workshops Chair, Jun Sun, at <sunjun(a)sutd.edu.sg<mailto:sunjun@sutd.edu.sg>> no later than 22nd March 2014. SUMMER SCHOOL VTSA 2014 ---------------------------------------- The summer school on verification technology, systems & applications takes place at University of Luxembourg from October 27-31, 2014. It is a co-located event with ICFEM 2014 and is organized by the Montefiore Institute, University of Luxembourg, INRIA Nancy, and the Max Planck Insitute for Informatics Saarbrücken. More detailed information will be provided at the summer school's website. IMPORTANT DATES ---------------------------------------- Abstract Submissions due: 11 April 2014 Full Paper Submissions due: 18 April 2014 Workshop/Tutorial Proposals: 22 March 2014 Acceptance Notification: 20 June 2014 Camera-ready Papers Due: 13 July 2014 ORGANISING COMMITTEE ---------------------------------------- General Co-Chairs Michael Butler, University of Southampton, United Kingdom Sjouke Mauw, University of Luxembourg, Luxembourg Program Committee Co-Chairs Stephan Merz, INRIA, France Jun Pang, University of Luxembourg, Luxembourg Workshop and Tutorial Co-Chairs Jun Sun, Singapore University of Technology and Design, Singapore Local Organisation Chair Andrzej Mizera, University of Luxembourg, Luxembourg Publicity Chair Yang Liu, Nanyang Technological University, Singapore Web Chair: Piotr Kordy, University of Luxembourg, Luxembourg PROGRAM COMMITTEE ---------------------------------------- Frank de Boer, CWI, The Netherlands Jonathan Bowen, Birmingham City University, United Kingdom Michael Butler, University of Southampton, United Kingdom Kostas Chatzikokolakis, CNRS and École Polytechnique, France Zhenhua Duan, Xidian University, China Colin Fidge, Queensland University of Technology, Australia Stefania Gnesi, ISTI-CNR, Italy Radu Grosu, Vienna University of Technology, Austria Ian Hayes, University of Queensland, Australia Michaela Huhn, Technische Universität Clausthal, Germany Pierre Kelsen, University of Luxembourg, Luxembourg Steve Kremer, INRIA Nancy, France Jean Krivine, CNRS and Université Paris Diderot, France Peter Gorm Larsen, Engineering College of Aarhus, Denmark Xuandong Li, Nanjing University, China Shang-Wei Lin, National University of Singapore, Singapore Shaoying Liu, Hosei University, Japan Yang Liu, Nanyang Technological University, Singapore Sjouke Mauw, University of Luxembourg, Luxembourg Dominique Mery, Université de Lorraine, France Stephan Merz, INRIA Nancy, France Mohammad Reza Mousavi, Halmstad University, Sweden Peter Mueller, ETH Zurich, Switzerland Shin Nakajima, National Institute of Informatics, Japan Jun Pang, University of Luxembourg, Luxembourg Ion Petre, Åbo Akademi University, Finland Jaco van de Pol, University of Twente, The Netherlands Shengchao Qin, Teesside University, United Kingdom Zongyan Qiu, Peking University, China Jing Sun, University of Auckland, New Zealand Jun Sun, Singapore University of Technology and Design, Singapore Kenji Taguchi, AIST, Japan Viktor Vafeiadis, MPI-SWS, Germany Hai H. Wang, Aston University, United Kingdom Wang Yi, Uppsala University, Sweden Huibiao Zhu, East China Normal University, China STEERING COMMITTEE ---------------------------------------- Keijiro Araki, Kyushu University, Japan Michael Butler, University of Southampton, United Kingdom Jin Song Dong, National University of Singapore, Singapore Jifeng He, East China Normal University, China Shaoying Liu (Chair), Hosei University, Japan Jeff Offutt, George Mason University, United States Shengchao Qin, University of Teesside, United Kingdom ________________________________ 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 289
by Daniel Santa Cruz 03 Apr '14

03 Apr '14

Welcome to issue 289 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers from March 1 to 31, 2014 So... where have I been? My wife and I recently welcomed into the world our new baby, and as some of you have already experienced, I was doing good getting *some* sleep at night. Life has slowly started to get back to a more predictable rhythm, and I am sure glad to be back doing this. For a while there I thought that any project of mine before bambina was going to have to be put into permament hold, but things are getting very manageble now. Sorry for the abscense! I was somewhat pleased to see that some in -cafe wondered if this was coming back... this one is for you! Some have mentioned that they wish to see more of the "reviews" that HWN used to have of blog entries, and/or email chains in the different mailing lists. I understand that dessire. I'm probably going to need some extra hands to write those, if there are to be back. Maybe we can start with something "lighter", a la tl;dr. I'm stil trying to work out how we'd do that exacly. I'll keep you all posted. Anyway, enough rambling. Quotes of the Week * acowley: I will push machines-concurrent to hackage one fine day edwardk: not concurrent-machines ? acowley: Man, I walked right into that bike shed * malc: I have a coworker who constantly reads haskell stuff at work, nudged him towards the lens talk, that should push him towards actually doing work at work. * Fuuzetsu: I know someone who pulls in Lens just for & and ?? * Eduard_Munteanu: Don't put your money in monads, you can never get it back. :P Top Reddit Stories * Haskell for all: Introductions to advanced Haskell topics Domain: haskellforall.com, Score: 121, Comments: 23 On Reddit: [1] http://goo.gl/M6ZL9f Original: [2] http://goo.gl/YEKyCc * GHC 7.8.1 RC2 released Domain: well-typed.com, Score: 99, Comments: 36 On Reddit: [3] http://goo.gl/jxlLQl Original: [4] http://goo.gl/05xnqX * Book review: Parallel and Concurrent Programming in Haskell Domain: serpentine.com, Score: 87, Comments: 17 On Reddit: [5] http://goo.gl/BfWSWC Original: [6] http://goo.gl/nDe2UG * The Haskell Cast #6 - Gabriel Gonzalez and Michael Snoyman on Pipes and Conduit Domain: haskellcast.com, Score: 83, Comments: 13 On Reddit: [7] http://goo.gl/PwL2aV Original: [8] http://goo.gl/hwemr6 * Performance in Haskell from a noob's perspective Domain: self.haskell, Score: 74, Comments: 111 On Reddit: [9] http://goo.gl/IuT0uJ Original: [10] http://goo.gl/IuT0uJ * New Haddock -- a visual guide to changes Domain: fuuzetsu.co.uk, Score: 72, Comments: 13 On Reddit: [11] http://goo.gl/KWJSEh Original: [12] http://goo.gl/IXzESN * Full-time position available: computer scientist to create data types for scientific computing, in Haskell. Location: anywhere (telecommute). Domain: self.haskell, Score: 67, Comments: 17 On Reddit: [13] http://goo.gl/Z8y9py Original: [14] http://goo.gl/Z8y9py * Haskell Type Classes Cheatsheet Domain: fundeps.com, Score: 62, Comments: 21 On Reddit: [15] http://goo.gl/oAWk4C Original: [16] http://goo.gl/SqHbro * Malicious link in haskell.org docs for 6 years, 6 months, 6 days Domain: self.haskell, Score: 61, Comments: 6 On Reddit: [17] http://goo.gl/V5y3hk Original: [18] http://goo.gl/V5y3hk * What's your "killer app" for your scientific/statistical programming environment? Domain: self.haskell, Score: 57, Comments: 92 On Reddit: [19] http://goo.gl/jfbwdj Original: [20] http://goo.gl/jfbwdj * Find out the type of an expression/function with typed holes Domain: ro-che.info, Score: 56, Comments: 5 On Reddit: [21] http://goo.gl/hcjX1v Original: [22] http://goo.gl/TWLT5R * Elm 0.12 - making interactive UI elements easy and pure Domain: elm-lang.org, Score: 56, Comments: 5 On Reddit: [23] http://goo.gl/SRoog7 Original: [24] http://goo.gl/7FoFAz * QuickCheck 2.7 released Domain: hackage.haskell.org, Score: 55, Comments: 7 On Reddit: [25] http://goo.gl/RN66bR Original: [26] http://goo.gl/3S38Uz Top StackOverflow Questions * Why is Haskell unable to read "7e7" but able to read "7a7"? votes: 42, answers: 3 Read on SO: [27] http://goo.gl/ZI8qm8 * Strange GHCi lazy evaluation votes: 17, answers: 1 Read on SO: [28] http://goo.gl/aoHvVp * Fast, branchless unsigned int absolute difference votes: 16, answers: 3 Read on SO: [29] http://goo.gl/TT3Oxi * How can I write human-language units as postfixes in Haskell, like `3 seconds`? votes: 15, answers: 2 Read on SO: [30] http://goo.gl/6MJk5C * Running Haskell on Xeon-Phi votes: 14, answers: 1 Read on SO: [31] http://goo.gl/QEIayp Until next time, [32]+Daniel Santa Cruz References 1. http://www.haskellforall.com/2014/03/introductions-to-advanced-haskell-topi… 2. http://www.reddit.com/r/haskell/comments/21bcb5/haskell_for_all_introductio… 3. http://www.well-typed.com/blog/87 4. http://www.reddit.com/r/haskell/comments/1zgaln/ghc_781_rc2_released/ 5. http://www.serpentine.com/blog/2014/03/18/book-review-parallel-and-concurre… 6. http://www.reddit.com/r/haskell/comments/20sdt4/book_review_parallel_and_co… 7. http://www.haskellcast.com/episode/006-gabriel-gonzalez-and-michael-snoyman… 8. http://www.reddit.com/r/haskell/comments/1zfo9g/the_haskell_cast_6_gabriel_… 9. http://www.reddit.com/r/haskell/comments/21g6uo/performance_in_haskell_from… 10. http://www.reddit.com/r/haskell/comments/21g6uo/performance_in_haskell_from… 11. http://fuuzetsu.co.uk/blog/posts/2014-03-24-New-Haddock-released%21-A-visua… 12. http://www.reddit.com/r/haskell/comments/218rov/new_haddock_a_visual_guide_… 13. http://www.reddit.com/r/haskell/comments/202pvl/fulltime_position_available… 14. http://www.reddit.com/r/haskell/comments/202pvl/fulltime_position_available… 15. http://fundeps.com/posts/cheatsheets/2014-03-04-cheat-sheets/ 16. http://www.reddit.com/r/haskell/comments/1zn3h9/haskell_type_classes_cheats… 17. http://www.reddit.com/r/haskell/comments/21959m/malicious_link_in_haskellor… 18. http://www.reddit.com/r/haskell/comments/21959m/malicious_link_in_haskellor… 19. http://www.reddit.com/r/haskell/comments/1zowv1/whats_your_killer_app_for_y… 20. http://www.reddit.com/r/haskell/comments/1zowv1/whats_your_killer_app_for_y… 21. http://ro-che.info/articles/2014-03-13-type-of-local-function.html 22. http://www.reddit.com/r/haskell/comments/20bixd/find_out_the_type_of_an_exp… 23. http://elm-lang.org/blog/announce/0.12.elm 24. http://www.reddit.com/r/haskell/comments/218isr/elm_012_making_interactive_… 25. http://hackage.haskell.org/package/QuickCheck-2.7.1/changelog 26. http://www.reddit.com/r/haskell/comments/213da9/quickcheck_27_released/ 27. http://stackoverflow.com/questions/22689122/why-is-haskell-unable-to-read-7… 28. http://stackoverflow.com/questions/22491700/strange-ghci-lazy-evaluation 29. http://stackoverflow.com/questions/22445019/fast-branchless-unsigned-int-ab… 30. http://stackoverflow.com/questions/22109333/how-can-i-write-human-language-… 31. http://stackoverflow.com/questions/22253311/running-haskell-on-xeon-phi 32. https://plus.google.com/105107667630152149014/about

2 1

Deadline Extension / Last Call for papers: HLPP 2014 - 7th Symposium on High-Level Parallel Programming and Applications
by Clemens Grelck 02 Apr '14

02 Apr '14

=========================================================================== CALL FOR PAPERS HLPP 2014 7th International Symposium on High-level Parallel Programming and Applications Amsterdam, Netherlands July 3-4, 2014 https://sites.google.com/site/hlpp2014amsterdam/ =========================================================================== New extended deadline: April 14 (anywhere on earth) =========================================================================== 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. All accepted papers will be published by Springer in a special issue of the International Journal of Parallel Programming (IJPP). =========================================================================== Important dates: Submission deadline: April 4 (now extended to April 14) Author notification: May 1 (or slightly thereafter) Camera-ready paper due: June 16 =========================================================================== 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 =========================================================================== Paper preparation and submission: Papers submitted to HLPP2014 must describe original research results and must not have been published or simultaneously submitted anywhere else. Manuscripts must be prepared with the Springer IJSS latex macro package and submitted via the EasyChair Conference Management System. The strict page limit for initial submission and camera-ready version is 20 pages in the aforementioned format. Each paper will receive a minimum of three reviews by members of the international technical programme committee (see below). Papers will be selected based on their originality, relevance, technical clarity and quality of presentation. At least one author of each accepted paper must register for the HLPP 2014 symposium and present the paper. =========================================================================== 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

Second CFP: Workshop on Generic Programming (WGP) 2014
by José Pedro Magalhães 02 Apr '14

02 Apr '14

Apologies for multiple postings. ====================================================================== CALL FOR PAPERS WGP 2014 10th ACM SIGPLAN Workshop on Generic Programming Gothenburg, Sweden Sunday, August 31, 2014 http://www.wgp-sigplan.org/2014 Co-located with the International Conference on Functional Programming (ICFP 2014) ====================================================================== Goals of the workshop --------------------- Generic programming is about making programs more adaptable by making them more general. Generic programs often embody non-traditional kinds of polymorphism; ordinary programs are obtained from them by suitably instantiating their parameters. In contrast with normal programs, the parameters of a generic program are often quite rich in structure; for example they may be other programs, types or type constructors, class hierarchies, or even programming paradigms. Generic programming techniques have always been of interest, both to practitioners and to theoreticians, and, for at least 20 years, generic programming techniques have been a specific focus of research in the functional and object-oriented programming communities. Generic programming has gradually spread to more and more mainstream languages, and today is widely used in industry. This workshop brings together leading researchers and practitioners in generic programming from around the world, and features papers capturing the state of the art in this important area. We welcome contributions on all aspects, theoretical as well as practical, of * generic programming, * programming with (C++) concepts, * meta-programming, * programming with type classes, * programming with modules, * programming with dependent types, * type systems for generic programming, * polytypic programming, * adaptive object-oriented programming, * component-based programming, * strategic programming, * aspect-oriented programming, * family polymorphism, * object-oriented generic programming, * implementation of generic programming languages, * static and dynamic analyses of generic programs, * and so on. Program Committee ----------------- José Pedro Magalhães (co-chair), University of Oxford Tiark Rompf (co-chair), Oracle Labs & EPFL Peter Achten, Radboud University Nijmegen Nada Amin, Ecole Polytechnique Fédérale de Lausanne (EPFL) Pierre-Évariste Dagand, INRIA Paris-Rocquencourt Fritz Henglein, University of Copenhagen Andrew Lumsdaine, Indiana University Miles Sabin, Underscore Consulting LLP, Chuusai Ltd. Alexander Slesarenko, Huawei Labs & Keldysh Institute of Applied Mathematics (KIAM) Anthony M. Sloane, Macquarie University Wouter Swierstra, Utrecht University Meng Wang, Chalmers University of Technology Proceedings and Copyright ------------------------- We plan to have formal proceedings, published by the ACM. Authors must transfer copyright to ACM upon acceptance (for government work, to the extent transferable), but retain various rights (http://www.acm.org/publications/policies/copyright_policy) Authors are encouraged to publish auxiliary material with their paper (source code, test data, etc.); they retain copyright of auxiliary material. Submission details ------------------ Deadline for submission: Sunday 2014-05-11 Notification of acceptance: Friday 2014-06-06 Final submission due: Wednesday 2014-06-18 Workshop: Sunday 2014-08-31 Submitted papers should fall into one of two categories: * Regular research papers (12 pages) * Short papers: case studies, tool demos, generic pearls (6 pages) Regular research papers are expected to present novel and interesting research results. Short papers need not present novel or fully polished results. Good candidates for short papers are those that report on interesting case studies of generic programming in open source or industry, present demos of generic programming tools or libraries, or discuss elegant and illustrative uses of generic programming ('pearls'). All submissions should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines (two-column, 9pt). Regular research papers must not exceed 12 pages. Short papers must not exceed 6 pages. If applicable, papers should be marked with one of the labels 'case study, 'tool demo' or 'generic pearl' in the title at the time of submission. Papers should be submitted via EasyChair at https://www.easychair.org/conferences/?conf=wgp2014 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://www.sigplan.org/PAC.htm) History of the Workshop on Generic Programming ---------------------------------------------- Earlier Workshops on Generic Programming have been held in * Boston, Massachusetts, US 2013 (affiliated with ICFP13), * Copenhagen, Denmark 2012 (affiliated with ICFP12), * Tokyo, Japan 2011 (affiliated with ICFP11), * Baltimore, Maryland, US 2010 (affiliated with ICFP10), * Edinburgh, UK 2009 (affiliated with ICFP09), * Victoria, BC, Canada 2008 (affiliated with ICFP), * Portland 2006 (affiliated with ICFP), * Ponte de Lima 2000 (affiliated with MPC), * Marstrand 1998 (affiliated with MPC). Furthermore, there were a few informal workshops * Utrecht 2005 (informal workshop), * Dagstuhl 2002 (IFIP WG2.1 Working Conference), * Nottingham 2001 (informal workshop). There were also (closely related) DGP workshops in Oxford (June 3-4 2004), and a Spring School on DGP in Nottingham (April 24-27 2006, which had a half-day workshop attached). WGP Steering Committee ---------------------- Shin-Cheng Mu (chair) Jaako Järvi Andres Löh Ronald Garcia Jacques Carette Jeremiah Willcock Tim Sheard Stephanie Weirich Tarmo Uustalu

1 0

[TFPIE2014] final call for papers
by Peter Achten 01 Apr '14

01 Apr '14

3rd International Workshop on Trends in Functional Programming in Education (TFPIE 2014) May 25, 2014 Utrecht University Soesterberg, The Netherlands (http://www.cs.uwyo.edu/~jlc/tfpie14/) The 3rd International Workshop on Trends in Functional Programming in Education, TFPIE 2014, will be co-located with the Symposium on Trends in Functional Programming (TFP 2014) at Soesterberg, at the “Kontakt der Kontinenten” hotel in the Netherlands on Sunday, May 25th. TFP will follow from May 26-28. The goal of TFPIE is to gather researchers, teachers and professionals that use, or are interested in the use of, functional programming in education. TFPIE aims to be a venue where novel ideas, classroom-tested ideas and work-in-progress on the use of functional programming in education are discussed. The one-day workshop will foster a spirit of open discussion by having a review process for publication after the workshop. The program chair of TFPIE 2014 will screen submissions to ensure that all presentations are within scope and are of interest to participants. Potential presenters are invited to submit an extended abstract (4-6 pages) or a draft paper (up to 16 pages) in EPTCS style. The authors of accepted presentations will have their preprints and their slides made available on the workshop's website/wiki. Visitors to the TFPIE 2014 website/wiki will be able to add comments. This includes presenters who may respond to comments and questions as well as provide pointers to improvements and follow-up work. After the workshop, presenters will be invited to submit (a revised version of) their article for review. The PC will select the best articles for publication in the journal Electronic Proceedings in Theoretical Computer Science (EPTCS). Articles not selected for presentation and extended abstracts will not be formally reviewed by the PC. TFPIE workshops have previously been held in St Andrews, Scotland (2012) and in Provo Utah, USA (2013). ** Invited Speaker ** TFPIE is pleased to announce that professor Johan Jeuring of Utrecht University and Open University, both in The Netherlands is giving an invited talk entitled: "Automatic tutoring and assessing functional programs". ** Program Committee ** James Caldwell, (Program Chair) University of Wyoming Peter Achten, Radboud University, Nijmgen Edwin Brady, University of St Andrews, St Andrews Jurriaan Hage, Universiteit Utrecht Philip Holzenspies, University of Twente Daniel R. Licata, Wesleyan University Marco T Morazan, Seton Hall University Christian Skalka, University of Vermont David Van Horn, Northeastern University ** Submission Guidelines ** There will be two types of presentations at TFPIE 2014. Regular papers and “best lecture” presentations. The best lecture talks are intended to allow for presentations or short lectures of purely pedagogical material. Papers and abstracts can be submitted via easychair at the following link: https://www.easychair.org/conferences/?conf=tfpie2014 ** Papers ** TFPIE 2014 welcomes submissions describing techniques used in the classroom, tools used in and/or developed for the classroom and any creative use of functional programming (FP) to aid education in or outside Computer Science. Topics of interest include, but are not limited to: * FP and beginning CS students * FP and Computational Thinking * FP and Artificial Intelligence * FP in Robotics * FP and Music * Advanced FP for undergraduates * FP in graduate education * Engaging students in research using FP * FP in Programming Languages * FP in the high school curriculum * FP as a stepping stone to other CS topics * FP and Philosophy ** Best Lectures ** In addition to papers, this year we are requesting “best lecture” presentations. What’s your best lecture topic in an FP related course? Do you have a fun way to present FP concepts to novices or perhaps an especially interesting presentation of a difficult topic? In either case, please consider sharing it. Best lecture topics will be selected for presentation based on a short abstract describing the lecture and its interest to TFPIE attendees. ** Important Dates ** * 1 February 2014: TFPIE submissions open on easychair. * 14 April 2014: Early registration for TFP closes * 21 April 2014: Submission deadline for draft TFPIE papers and abstracts * 27 April 2014: Notification of acceptance for presentation * 15 May 2014: Registration for TFPIE closes - as does late registration for TFP * 25 May 2014: Presentations in Soesterberg, Netherlands * 29 June 2014: Full papers for EPTCS proceedings due * 16 August 2014: Notification of acceptance for proceedings * 8 September 2014: Camera ready copy due for EPTCS Submission of an abstract implies no obligation to submit a full paper; abstracts with no corresponding full versions by the full paper deadline will be considered as withdrawn. At least one author from each accepted presentation must attend the workshop.

1 0

[TFP2014] First Call for Participation
by Peter Achten 01 Apr '14

01 Apr '14

--------------------------------- 1ST CALL FOR PARTICIPATION --------------------------------- ======== TFP 2014 =========== 15th Symposium on Trends in Functional Programming May 26-28, 2014 Utrecht University Soesterberg, The Netherlands http://www.cs.uu.nl/wiki/TFP2014/WebHome Registration is now open for the symposium on Trends in Functional Programming (TFP). It is an international forum for researchers with interests in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results. Submission for TFP is now closed, and the complete programme (29 presentations and two invited talks) for TFP can be perused here: http://www.cs.uu.nl/wiki/TFP2014/PresentationSchedule TFP 2014 will be the main event of a pair of functional programming events. The other is the International Workshop on Trends in Functional Programming in Education (TFPIE). TFPIE will take place on May 25th. Its website is located at http://www.cs.uwyo.edu/~jlc/tfpie14/ . The submission deadline for TFPIE is April 21, 2014. INVITED SPEAKERS TFP is pleased to announce talks by the following two invited speakers: John Hughes of Chalmers, Goteborg, Sweden, is well-known as author of Why Functional Programming Matters, and as one of the designers of QuickCheck (together with Koen Claessen); the paper on QuickCheck won the ICFP Most Influential Paper Award in 2010. Currently he divides his time between his professorship and Quviq, a company that performs property-based testing of software with a tool implemented in Erlang. Geoffrey Mainland received his PhD from Harvard University where he was advised by Greg Morrisett and Matt Welsh. After a two year postdoc with the Programming Principles and Tools group at Microsoft Research Cambridge, he is now an assistant professor at Drexel University. His research focuses on high-level programming language and runtime support for non-general purpose computation. IMPORTANT DATES Early registration: April 14, 2014 Late registration: May 15, 2014 TFPIE Workshop: May 25, 2014 TFP Symposium: May 26-28, 2014 Registrations can be made at the following URL: http://www.cs.uu.nl/wiki/TFP2014/Register This page will also point you to the web page of the venue where you can arrange for your stay. hoping to see you there. Jurriaan Hage (General Chair)

1 0

Second call-for-papers - Linearity 2014
by Mário Florido 01 Apr '14

01 Apr '14

[We apologize if you have received multiple copies of this message] ============================================================================== Call for Papers Third International Workshop on Linearity http://vsl2014.at/linearity/ July 13, 2014 Vienna, Austria Submission deadline: April 13, 2014 An associated event of the Joint meeting of the 23rd EACSL Annual Conference on Computer Science Logic (CSL) and the 29th ACM/IEEE Symposium on Logic in Computer Science (LICS), as part of the Vienna Summer of Logic. ============================================================================== Aim and Scope ------------- Ever since the birth of Girard's linear logic, there has been a stream of research where linearity is a key issue, covering both theoretical topics and applications to several areas of Computer Science, such as work on proof technology, complexity classes and more recently quantum computation, program analysis, expressive operational semantics, linear programming languages, and techniques for program transformation, update analysis and efficient implementation. The aim of this workshop is to bring together researchers who are currently developing theory and applications of linear calculi, to foster their interaction and provide a forum for presenting new ideas and work in progress, and enable newcomers to learn about current activities in this area. Linearity is a key feature in both theoretical and practical approaches to computer science, and the goal of this workshop is to present work exploring linearity both in theory and practice. Topics of interest include new results that make central use of linearity, ranging from foundational work to applications in any field, are welcome. Also welcome are more exploratory presentations, which may examine open questions and raise fundamental concerns about existing theories and practices. Specifically, topics of interest include, but are not limited to: * sub-linear logics * linear term calculi * linear type systems * linear proof-theory * linear programming languages * applications to concurrency * interaction-based systems * verification of linear systems * quantum models of computation * biological and chemical models of computation Important Dates --------------- * April 13, 2014: Submission deadline * May 10, 2014: Author notification * May 28, 2014: Deadline for final versions of accepted papers * July 13, 2014: Workshop Submission and Publication -------------------------- Authors are invited to submit an extended abstract (8 pages max) describing original ideas and recent results not published nor submitted elsewhere, or a 5-page abstract presenting relevant work that has been or will be published elsewhere, or work in progress. Preliminary proceedings will be available at the workshop. Papers should be written in English, and submitted in PostScript or PDF format, using the EPTCS style files. Submission is through the Easychair website: https://www.easychair.org/conferences/?conf=linearity2014 After the workshop, authors of the extended abstracts will be invited to submit a longe version of their work (typically a 15-pages paper) for publication in EPTCS. These submission will undergo a second round of referring. Furthermore, we envision publication of a special issue of a journal after the event. Programme Committee ------------------- * Sandra Alves (chair) * Iliano Cervesato (chair) * Kaustuv Chaudhuri * Maribel Fernández * Mário Florido * Simon Gay * Simone Martini * Luca Paolini * Simona Ronchi Della Rocca * Carsten Schuermann * Robert Simmons * Vasco Vasconcelos Contact ------- Sandra Alves: sandra(a)dcc.fc.up.pt Iliano Cervesato: iliano(a)cmu.edu

1 0

2nd International Summer School on Cyber-Physical Systems, GRENOBLE (FRANCE) JULY 7-10, 2014
by Ylies Falcone 31 Mar '14

31 Mar '14

[~~~~~~ Please disseminate widely within your teams & contacts ~~~~~~] 2nd International Summer School on Cyber-Physical Systems July 7-10, 2014 Grenoble, France https://persyval-lab.org/summer-school/cps14 Université Joseph Fourier, PERSYVAL-Lab, and NASA-JPL are organizing the second edition of the CPS Summer School. The broad objective of the CPS Summer School is to explore the manifold relationship between networked embedded systems ("the internet of things") and humans as their creators, users, and subjects. The format of the Summer School is a four days meeting, organized around different aspects of rigorous engineering of Cyber-Physical Systems. This year, the objective of the school is to survey fundamental and applied aspects of modelling, monitoring and learning of systems as well as to identify novel opportunities and research directions in these areas through a series of lectures by international experts. Participants will also experience the relevant technologies during hands-on courses and be given a chance to present their own work. The school will provide a great opportunity to know other people working in the field, to meet distinguished scholars, and to establish contacts that may lead to research collaborations in the future. The school will concentrate on the fields of system modelling, monitoring and learning. Over the last ten years we have seen a lot of growth in these areas, building on strong theoretical foundations to apply and extend techniques to new application domains. Runtime verification is a growing field with more and more efffective applications in safety/mission-critical systems, enterprise and systems software, autonomous and reactive control systems, health management and diagnosis systems, and system security and privacy. The field of specification mining (learning specifications from system behaviour) has also seen a surge in research effort, with the establishment of a number of competitions to drive forward the development of practical tools. This research community is at an ideal stage to benefit from a school such as this, to inspire, motivate and instruct new researchers into the field. Students participating at this summer school will learn the current state of the art in modeling, monitoring, and learning. Students will be able to apply new techniques coming from various communities and backgrounds to their own domain. The CPS Summer School will be held at Grenoble University. Courses will be given in English by experts from industry and academia working in various fields of CPS. Topics System modelling. Monitoring. Learning. Medical devices. Sensor networks. Scientific Organization Université Joseph Fourier (UJF) is located at the heart of the Alps, in outstanding scientific and natural surroundings. UJF is a leading University of Science, Technology and Health. Featuring in all of the major international rankings (Top 150 World Universities - Shanghai Ranking), the UJF offers initial and further education for jobs of the future in a wide range of fields: Physics and Chemistry, Mathematics and Computer Science, Biology, Medicine and Pharmacy, Engineering and Technology, Earth Science and Astronomy/Astrophysics, Environmental Studies, Geography and Territorial Sciences, as well as the Science of Physical and Sports Activities. PERSYVAL-Lab focuses on pervasive systems and algorithms at the convergence of physical and digital worlds. PERSYVAL-lab is built over high-level research laboratories present at Grenoble in Mathematics, Computer Science, Automatic Control, Signal Processing, and Hardware Architecture. Jet Propulsion Laboratory (JPL) is a federally funded research and development center located in Pasadena, California, United States. JPL is managed by the nearby California Institute of Technology (Caltech) for the National Aeronautics and Space Administration (NASA). The laboratory's primary function is the construction and operation of robotic planetary spacecraft. Confirmed Speakers Eric Bodden (TU Darmstadt and EC SPRIDE, Germany). Olivier Coutelou (Schneider Electric, France). Radu Grosu (Technical Univesity Wien, Austria). Klaus Havelund (NASA JPL, USA). Kim G. Larsen (Aalborg University, Denmark). Jean Goubault-Larrecq (ENS Cachan, France). Martin Leucker (University of Lübeck, Germany). Roberto Passerone (Universita' degli Studi di Trento, Italy). Grigore Rosu (University of Illinois at Urbana Champaign, USA). Mohamad Sawan (Ecole Polytechnique de Montréal, Canada). Bernhard Steffen (Technical University Dortmund, Germany). Andreas Zeller (Saarland University, Germany). Organization Committee Saddek Bensalem (University of Grenoble, France). Yliès Falcone - (University of Grenoble, France). Klaus Havelund - (NASA JPL, USA). Fees The registration fee to the CPS Summer-School is: 250 euros for students, 400 euros for academics and people from industry. The registration comprises lunches, coffee breaks, and a reception party. Application Procedure and Important Dates Attendance is limited to 80, so we will be selecting amongst the candidates. The application procedure is as follows: Applicants declare their intention to apply by registering at https://persyval-calls.imag.fr/en/project/10 before April 14, 2014. The application should comprise a resume and contact information. The organization committee provides a response to applicants before April 21, 2014. Applicants proceed with online Registration and Fee payment before May 10, 2014. Online Registration Online Registration will be available only for selected applicants mid April 2014.

1 0

Second CFP: WPTE'14, First International Workshop on Rewriting Techniques for Program Transformations and Evaluation
by David Sabel 31 Mar '14

31 Mar '14

SECOND CALL FOR PAPERS First International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE'14) affiliated with RTA/TLCA 2014 (a FLoC 2014 workshop, FLoC is part of the Vienna Summer of Logic 2014) 13th July 2014, Vienna, Austria http://www.ki.informatik.uni-frankfurt.de/WPTE14 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. Topics of interest and in the scope of WPTE are: * 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 arguing 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 inversions and program synthesis. The programming languages of interest include pure, deterministic, impure, non-deterministic, concurrent, parallel languages, and may employ programming paradigms such as functional, logical, typed, imperative, object-oriented, and higher-order. Invited Speaker =============== Andy Gill (University of Kansas) Paper Submissions and Proceedings ================================= WPTE accepts two different kinds of contributions: * Full-papers: ------------ Full-papers must represent original work and should be submitted using the EasyChair interface. We plan to publish full-papers as formal proceedings in the 'OpenAccess Series in Informatics (OASIcs)' of 'Schloss Dagstuhl Leibniz-Zentrum fuer Informatik'. Full-papers should not exceed 12 pages using the OASIcs LaTeX-templates. * 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 EasyChair interface. These contributions will not be included in the OASIcs proceedings but they will be distributed to the workshop partipicants. One author of each accepted paper or abstract is expected to present it at the workshop. Important Dates =============== * Submission deadline: 25 April 2014 * Notification of acceptance: 23 May 2014 * Deadline for camera-ready proceedings: 28 May 2014 * Workshop: 13 July 2014, Austria, Vienna Weblinks ======== * EasyChair Submission Website https://www.easychair.org/conferences/?conf=wpte14 * Homepage of WPTE'14 http://www.ki.informatik.uni-frankfurt.de/WPTE14 * OASIcs Website (including LaTeX templates): http://www.dagstuhl.de/en/publications/oasics * Vienna Summer of Logic 2014 http://vsl2014.at Program Committee ================= Takahito Aoto (RIEC, Tohoku University) Yuki Chiba (Japan Advanced Institute of Science and Technology) Fer-Jan de Vries (University of Leicester) Santiago Escobar (Universitat Politècnica de València) Maribel Fernández (King's College London) Johan Jeuring (Open Universiteit Nederland and Universiteit Utrecht) Delia Kesner (Université Paris-Diderot) Sergueï Lenglet (Université de Lorraine) Elena Machkasova (University of Minnesota, Morris) Joachim Niehren (INRIA Lille) David Sabel (Goethe-University Frankfurt am Main) Masahiko Sakai (Nagoya University) Manfred Schmidt-Schauß (Goethe-University Frankfurt am Main) - chair Eijiro Sumii (Tohoku University) Janis Voigtländer (University of Bonn) Harald Zankl (University of Innsbruck) Organizers ========== Manfred Schmidt-Schauß (Goethe-University Frankfurt am Main) - chair Masahiko Sakai (Nagoya University) David Sabel (Goethe-University Frankfurt am Main) Yuki Chiba (Japan Advanced Institute of Science and Technology) Sponsors ======== Vereinigung von Freunden und Förderern der Johann Wolfgang Goethe Universität Frankfurt am Main e.V.

1 0

One PhD position for EU students available at the University of Dundee, Scotland.
by Marco Gaboardi 31 Mar '14

31 Mar '14

One PhD position for EU students available at the University of Dundee, Scotland. Contact ——————————— Marco Gaboardi - m.gaboardi(a)dundee.ac.uk Profile ——————————— The subject of the studentship is programming language semantics and implementation. The specific topic for the studentship will depend on the interests and expertise of the potential candidate. Possible topics are: language-based privacy and security, type systems, probabilistic programming, interactive theorem proving, logics and applications, program analysis tools. Conditions ——————————— The studentship covers 3 years with a standard stipend of about £13-14k a year plus some eligible travel and consumables. Requirements ——————————— The position is only for EU students. The ideal candidate must show a solid mathematical background and interest in theoretical and/or practical works. Previous experience in one or more of the areas described in the profile will be considered a plus. How to apply ——————————— The position is available immediately. Candidates must contact Marco Gaboardi - m.gaboardi(a)dundee.ac.uk Dundee and the university ——————————— Dundee is the fourth-largest city in Scotland and it is well connected with Edinburgh, Glasgow and Aberdeen. Dundee is promoted as 'One City, Many Discoveries' in honor of Dundee's history of scientific activities and of the RRS Discovery exploration vessel, which is berthed in the city harbor. Biomedical, technological and video game industries have been important for the development of the city in the last 20 years. The University of Dundee counts about 18.000 students and is situated in the city center. The university is ranked in the World's Top 250 Universities and has been voted one of the best universities in the UK for student experience. http://en.wikipedia.org/wiki/Dundee http://www.dundee.ac.uk The Theory of Computation group ——————————— The Theory of Computation group focuses on research into different areas covering functional programming, program analysis, computational logic, machine learning, constraint programming, graph theory, algorithms and applications like privacy, security, complexity, optimisation, and artificial intelligence.

1 0