From akenn at microsoft.com Wed Jul 1 14:12:28 2015 From: akenn at microsoft.com (Andrew Kennedy) Date: Wed, 1 Jul 2015 14:12:28 +0000 Subject: [Haskell] Deadline extension: ICFP 2015 Student Research Competition Message-ID: ====================================================================== DEADLINE EXTENSION New deadline: 6th July 2015 CALL FOR SUBMISSIONS SRC at ICFP 2015 Vancouver, Canada 31 August - 2 September 2015 http://www.icfpconference.org/icfp2015/src.html Co-located with the International Conference on Functional Programming (ICFP 2015) ====================================================================== *** The deadline has been extended by a week! We particularly encourage submissions from undergraduates: none had been received in this category by the original deadline. Note that there is some funding available (up to $500), see the ACM website at http://src.acm.org/students.html *** Student Research Competition ---------------------------- This year ICFP will host a Student Research Competition where undergraduate and postgraduate students can present posters. The SRC at ICFP 2015 consists of three rounds: * Extended abstract round. All students are encouraged to submit an extended abstract of up to 800 words outlining their research. * Poster session. Based on the abstracts, a panel of judges will select the most promising entrants to participate in the poster session which will take place at ICFP. Students who make it to this round will be eligible for some travel support to attend the conference. In the poster session, students will have the opportunity to present their work to the judges, who will select three finalists in each category (graduate/undergraduate) to advance to the next round. * ICFP presentation. The last round will consist of an oral presentation at ICFP to compete for the final award. Prizes ------ * The top three graduate and the top three undergraduate winners will receive prizes of $500, $300, and $200, respectively. * All six winners will receive award medals and a two-year complimentary ACM student membership, including a subscription to ACM's Digital Library. * The names of the winners will be posted on the ACM SRC web site. * The first-place winners will be invited to participate in the ACM SRC Grand Finals, an on-line round of competition among the winners of conference-hosted SRCs. * Grand Finalists and their advisors will be invited to the Annual ACM Awards Banquet for an all-expenses-paid trip, where they will be recognized for their accomplishments along with other prestigious ACM award winners, including the winner of the Turing Award (also known as the Nobel Prize of Computing). * The top three graduate Grand Finalists will receive an additional $500, $300, and $200. Likewise, the top three undergraduate Grand Finalists will receive an additional $500, $300, and $200. All six Grand Finalists will receive Grand Finalist certificates. * The ACM, Microsoft Research, and our industrial partners provide financial support for students attending the SRC. You can find more information about this on the ACM website at http://src.acm.org/students.html Eligibility ----------- The SRC is open to both undergraduate (not in a PhD programme) and graduate students (in a PhD programme). Upon submission, entrants must be enrolled as a student at their universities, and are ACM student members. Furthermore, there are some constraints on what kind of work may be submitted. Previously published work: Submissions should consist of original work (not yet accepted for publication). If the work is a continuation of previously published work, the submission should focus on the contribution over what has already been published. We encourage students to see this as an opportunity to get early feedback and exposure for the work they plan to submit to the next ICFP or POPL. Collaborative work: Students are encouraged to submit work they have been conducting in collaboration with others, including advisors, internship mentors, or other students. However, submissions are individual, so they must focus on the contributions of the student. Submission Details ------------------ Each submission should include the student author's name, institutional affiliation, e-mail address, and postal address; research advisor's name; ACM student member number; category (undergraduate or graduate); research title; and an extended abstract addressing the following: * Problem and Motivation: Clearly state the problem being addressed and explain the reasons for seeking a solution to this problem. * Background and Related Work: Describe the specialized (but pertinent) background necessary to appreciate the work. Include references to the literature where appropriate, and briefly explain where your work departs from that done by others. * Approach and Uniqueness: Describe your approach in attacking the problem and clearly state how your approach is novel. * Results and Contributions: Clearly show how the results of your work contribute to computer science and explain the significance of those results. The abstract must describe the student's individual research and must be authored solely by the student. If the work is collaborative with others and/or part of a larger group project, the abstract should make clear what the student's role was and should focus on that portion of the work. The extended abstract must not exceed 800 words and must not be longer than 2 pages. The reference list does not count towards these limits. To submit an abstract, please register through the submission page and follow the instructions. Abstracts submitted after the deadline may be considered at the committee's discretion, but only after decisions have been made on all abstracts submitted before the deadline. If you have any problems, don't hesitate to contact the competition chair. Please submit your extended abstract at the EasyChair submission page: https://easychair.org/conferences/?conf=icfp2015src Please ignore the "abstract" field and fill in all required details (category, etc.) in the PDF submission itself, for example in footnotes. Important Dates --------------- * EXTENDED deadline for submission: 6th July * Notification of acceptance: 14 July Selection Committee ------------------- Andrew Kennedy, Microsoft Research Cambridge (chair) Derek Dreyer, MPI-SWS, Saarbrucken Stephanie Weirich, University of Pennsylvania David Van Horn, University of Maryland Sam Lindley, University of Edinburgh -------------- next part -------------- An HTML attachment was scrubbed... URL: From brucker at spamfence.net Mon Jul 6 18:12:34 2015 From: brucker at spamfence.net (Achim D. Brucker) Date: Mon, 6 Jul 2015 20:12:34 +0200 Subject: [Haskell] OCL 2015: Final Call for Papers - Only 10 Days Left Message-ID: <20150706181234.GA6123@fujikawa.home.brucker.ch> (Apologies for duplicates) If you are working on the foundations, methods, or tools for OCL or textual modelling, you should now prepare your submission for the OCL workshop! CALL FOR PAPERS 15th International Workshop on OCL and Textual Modeling Tools and Textual Model Transformations Co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015) September 28th, 2015, Ottawa, Canada http://ocl2015.lri.fr Modeling started out with UML and its precursors as a graphical notation. Such visual representations enable direct intuitive capturing of reality, but some of their features are difficult to formalize and lack the level of precision required to create complete and unambiguous specifications. Limitations of the graphical notations encouraged the development of text-based modeling languages that either integrate with or replace graphical notations for modeling. Typical examples of such languages are OCL, textual MOF, Epsilon, and Alloy. Textual modeling languages have their roots in formal language paradigms like logic, programming and databases. The goal of this workshop is to create a forum where researchers and practitioners interested in building models using OCL or other kinds of textual languages can directly interact, report advances, share results, identify tools for language development, and discuss appropriate standards. In particular, the workshop will encourage discussions for achieving synergy from different modeling language concepts and modeling language use. The close interaction will enable researchers and practitioners to identify common interests and options for potential cooperation. Topics of interest include (but are not limited to) =================================================== - Mappings between textual modeling languages and other languages/formalisms - Algorithms, evaluation strategies and optimizations in the context of textual modeling languages for -- validation, verification, and testing, -- model transformation and code generation, -- meta-modeling and DSLs, and -- query and constraint specifications - Alternative graphical/textual notations for textual modeling languages - Evolution, transformation and simplification of textual modeling expressions - Libraries, templates and patterns for textual modeling languages - Tools that support textual modeling languages (e.g., verification of OCL formulae, runtime monitoring of invariants) - Complexity results for textual modeling languages - Quality models and benchmarks for comparing and evaluating textual modeling tools and algorithms - Successful applications of textual modeling languages - Case studies on industrial applications of textual modeling languages - Experience reports -- usage of textual modeling languages and tools in complex domains, -- usability of textual modeling languages and tools for end-users - Empirical studies about the benefits and drawbacks of textual modeling languages - Innovative textual modeling tools - Comparison, evaluation and integration of modeling languages - Correlation between modeling languages and modeling tasks This year, we particularly encourage submissions describing tools that support - in a very broad sense - textual modeling languages (if you have implemented OCL.js to run OCL in a web browser, this is the right workshop to present your work) as well as textual model transformations. Venue ===== The workshop will be organized as a part of MODELS 2015 Conference in Ottawa, Canada. It continues the series of OCL workshops held at UML/MODELS conferences: York (2000), Toronto (2001), San Francisco (2003), Lisbon (2004), Montego Bay (2005), Genova (2006), Nashville (2007), Toulouse (2008), Denver (2009), Oslo (2010), Zurich (2011, at the TOOLs conference), 2012 in Innsbruck, 2013 in Miami, and 2014 in Valencia, Spain. Similar to its predecessors, the workshop addresses both people from academia and industry. The aim is to provide a forum for addressing integration of OCL and other textual modeling languages, as well as tools for textual modeling, and for disseminating good practice and discussing the new requirements for textual modeling. Workshop Format =============== The workshop will include short (about 15 min) presentations, parallel sessions of working groups, and sum-up discussions. Submissions =========== Three types of papers will be considered: * short papers (between 6 and 8 pages) describing ideas, * tool papers (between 6 and 8 pages), and * full papers (between 12 and 16 pages) in LNCS format. Submissions should be uploaded to EasyChair (https://easychair.org/conferences/?conf=ocl20150). The program committee will review the submissions (minimum 2 reviews per paper, usually 3 reviews) and select papers according to their relevance and interest for discussions that will take place at the workshop. Accepted papers will be published online in a pre-conference edition of CEUR (http://www.ceur-ws.org). Important Dates =============== Submission of papers: July 17, 2015 Notification: August 21, 2015 Workshop date: September 28, 2015 Organizers ========== Achim D. Brucker, SAP SE, Germany Marina Egea, Indra Sistemas S.A., Spain Martin Gogolla, University of Bremen, Germany Frederic Tuong, Univ. Paris-Sud - IRT SystemX - LRI, France Programme Committee =================== Mira Balaban, Ben-Gurion University of the Negev, Israel Tricia Balfe, Nomos Software, Ireland Achim D. Brucker, SAP SE, Germany Fabian Buettner, Inria - Ecole des Mines de Nantes, France Jordi Cabot, Inria - Ecole des Mines de Nantes, France Dan Chiorean, Babes-Bolyai University, Romania Robert Clariso, Universitat Oberta de Catalunya, Spain Tony Clark, Middlesex University, UK Manuel Clavel, IMDEA Software Institute, Spain Carolina Dania, IMDEA Software Institute, Spain Birgit Demuth, Technische Universitat Dresden, Germany Marina Egea, Indra Sistemas S.A., Spain Geri Georg, Colorado State University, USA Martin Gogolla, University of Bremen, Germany Shahar Maoz, Tel Aviv University, Israel Istvan Rath, Budapest University of Technology and Economics, Hungary Bernhard Rumpe, RWTH Aachen, Germany Frederic Tuong, Univ. Paris-Sud - IRT SystemX - LRI, France Claas Wilke, Technische Universitat Dresden, Germany Edward Willink, Willink Transformations Ltd., UK Burkhart Wolff, Univ. Paris-Sud - LRI, France Steffen Zschaler, King's College, UK -- Dr. Achim D. Brucker, SAP SE, Vincenz-Priessnitz-Str. 1, D-76131 Karlsruhe Phone: +49 6227 7-52595, http://www.brucker.ch/ From Nalqirim at uaeu.ac.ae Sat Jul 11 08:25:33 2015 From: Nalqirim at uaeu.ac.ae (Nabeel Al-Qirim) Date: Sat, 11 Jul 2015 08:25:33 +0000 Subject: [Haskell] Final CF STUDENT POSTERS for Innovations'15 (No registration fees), Dubai, November 01-03, 2015 Message-ID: <613A9065892D6441AC7E1D2FE4E16EA147D44335@PEXMBOX20101.uaeu.ac.ae> IIT?15: The 11th International Conference on Innovations in Information Technology 2015 URL: http://www.it-innovations.ae/iit2015/posters.html The IIT?15 Student Poster and Demos Committee invites all undergraduate and graduate students to submit an extended (2 pages max.) abstract and to display it as a poster during the IIT?15. The poster topic should fall within the conference?s theme and tracks. SUBMISSION Extended abstracts should be sent to Dr. Nabeel Al-Qirim at nalqirim at uaeu.ac.ae. All students are encouraged to review their abstracts with their faculty advisers prior to submission. All accepted abstracts will be published by the IIT?15 proceedings. NEW IMPORTANT DATES -Student Poster (Extended Paper) Submission July 15, 2015 -Notification of Student Poster acceptance from September 9, 2015 -Camera ready Extended Paper and Poster material September 29, 2015 -Conference November 01-03, 2015 BEST STUDENT POSTER AWARDS There will be a competition for best student poster award at the IIT?15. This award will be given to recognize student excellence in research and presentation. CONTACT Queries should be directed to: Dr. Nabeel Al-Qirim at nalqirim at uaeu.ac.ae Thanks, Dr. Nabeel Al-Qirim IIT?15 Student Poster and Demos Chair College of Information Technology United Arab Emirates University P.O Box 15551 - Al Ain United Arab Emirates Tel: +971-3-7135531 Mobile: +971-507308705 Fax: +971-3-7672018 Email: nalqirim at uaeu.ac.ae Website: http://nalqirim.wix.com/nabeel-al-qirim -----Original Message----- From: Haskell [mailto:haskell-bounces at haskell.org] On Behalf Of Nabeel Al-Qirim Sent: Monday, March 09, 2015 3:23 PM To: haskell at haskell.org; Haskell Cafe Subject: [Haskell] CF STUDENT POSTERS for Innovations'15 (No registration fees), Dubai, November 01-03, 2015 CF STUDENT POSTERS for Innovations'15 (No registration fees), Dubai, November 01-03, 2015 IIT?15: The 11th International Conference on Innovations in Information Technology 2015 URL: http://www.it-innovations.ae/iit2015/posters.html The IIT?15 Student Poster and Demos Committee invites all undergraduate and graduate students to submit an extended (2 pages max.) abstract and to display it as a poster during the IIT?15. The poster topic should fall within the conference?s theme and tracks. SUBMISSION Extended abstracts should be sent to Dr. Nabeel Al-Qirim at nalqirim at uaeu.ac.ae. All students are encouraged to review their abstracts with their faculty advisers prior to submission. All accepted abstracts will be published by the IIT?15 proceedings. IMPORTANT DATES -Student Poster (Extended Paper) Submission May 30, 2015 -Notification of Student Poster acceptance July 15, 2015 -Camera ready Extended Paper and Poster material September 01, 2015 -Conference November 01-03, 2015 BEST STUDENT POSTER AWARDS There will be a competition for best student poster award at the IIT?15. This award will be given to recognize student excellence in research and presentation. CONTACT Queries should be directed to: Dr. Nabeel Al-Qirim at nalqirim at uaeu.ac.ae Thanks, Dr. Nabeel Al-Qirim IIT?15 Student Poster and Demos Chair College of Information Technology United Arab Emirates University P.O Box 15551 - Al Ain United Arab Emirates Tel: +971-3-7135531 Mobile: +971-507308705 Fax: +971-3-7672018 Email: nalqirim at uaeu.ac.ae Website: http://nalqirim.wix.com/nabeel-al-qirim Disclaimer:"The content of this email together with any attachments, statements and opinions expressed herein contains information that is confidential in nature and intended for the named addressee(s) only. If you are not the addressee of this email or you have received this message in error please notify the sender and delete the message and any associated files from your system, you have no right to copy, print, distribute or use this email or any of its attachments, or permit or disclose its contents to any other party in any way, except with the prior approval of the sender. In case of breach of what has been explained above, you will be held legally accountable." ?????: "?? ????? ??? ?????? ?????????? ?? ?? ?????? ????????? ??????? ??????? ?? ??? ??????? ????? ??? ??????? ????? ???? ???????? ??????? ?????? ???? (?) ??? ??? ?? ??? ?????? ???? ?? ??? ??????? ?? ??? ?? ????? ???. ?? ????? ?????? ?????? ????? ?????? ???? ??????? ???? ????? ?????? ?? ?????? ????? ??? ??? ???? ???? ?? ??? ?? ??????? ?? ??????? ?? ??????? ??? ?????? ?????????? ?? ?? ?? ???????? ?? ?????? ?? ????? ?? ???????? ??? ?? ??? ??? ?? ??? ??? ?? ???????? ??? ??????? ????? ?? ??????? ??? ???? ??? ?? ??? ????? ?????? ??? ???? ?? ?????? ???????" . www.uaeu.ac.ae _______________________________________________ Haskell mailing list Haskell at haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell Disclaimer:"The content of this email together with any attachments, statements and opinions expressed herein contains information that is confidential in nature and intended for the named addressee(s) only. If you are not the addressee of this email or you have received this message in error please notify the sender and delete the message and any associated files from your system, you have no right to copy, print, distribute or use this email or any of its attachments, or permit or disclose its contents to any other party in any way, except with the prior approval of the sender. In case of breach of what has been explained above, you will be held legally accountable." ?????: "?????: ?? ????? ??? ?????? ?????????? ???????? ???????? ?????? ??????? ?? ??? ??????? ????? ??? ??????? ????? ??? ????? ????? ??????? ?????? ???? ???? ???? ?? ??? ?????? ???? ?? ??? ??????? ?? ??? ?? ????? ??????? ??????? ????? ????? ??????? ???? ??????? ???? ????? ?????? ?? ?????? ????? ??? ?? ??? ???? ???? ?? ??? ?? ????? ?? ????? ?? ??????? ??????? ??? ?????? ??????????? ?? ?????? ?? ????? ?? ??? ??? ??? ??? ??? ?? ??? ??? ??????? ????? ?? ?????? ????? ??? ?????? ??? ??? ?????? ???????? ?????????" . www.uaeu.ac.ae From andrius.velykis at newcastle.ac.uk Sun Jul 12 13:48:04 2015 From: andrius.velykis at newcastle.ac.uk (Andrius Velykis) Date: Sun, 12 Jul 2015 14:48:04 +0100 Subject: [Haskell] AI4FM 2015: Final call for short contributions Message-ID: AI4FM 2015 The 6th International Workshop on the use of AI in Formal Methods http://www.ai4fm.org/ai4fm-2015/ *1st September 2015 in Edinburgh, Scotland.* In association with AVoCS 2015 (https://sites.google.com/site/avocs15) Important dates ---------- *Submission deadline: 1st August 2015* Notification of acceptance: 10th August 2015 Final version due: 21st August 2015 Workshop: 1st September 2015 Overview ---------- The 6th International Workshop on the use of AI in Formal Methods (AI4FM 2015) will be held on the 1st of September, 2015 in Edinburgh, Scotland. The AI4FM workshops bring together researchers from formal methods, automated reasoning and AI; aiming to address the issue of how AI can be used to support the formal software development process, including requirement analysis, modelling and proof. The workshops include a mix of industrial and academic participants and we anticipate attracting a similarly diverse audience in AI4FM 2015. We invite 3-page short contributions (extended abstracts) presenting work in the areas of automated reasoning, formal methods and artificial intelligence. The authors can submit work in progress, tools under development, and PhD projects to facilitate and benefit from the active dialog between the groups involved in these research areas. Invited speaker: J Strother Moore (https://www.cs.utexas.edu/~moore/, University of Texas at Austin, US) will be giving an invited talk at AI4FM 2015. Topics of interest ---------- The main aim for the workshop is discussion, thus submissions do not need to be original. Extended versions of submissions may have been published previously, or submitted concurrently with or after AI4FM 2015 to another workshop, conference or a journal. Presentations of work in progress, tools under development, and PhD projects are also encouraged. The scope of the workshop covers the research in automated reasoning, formal methods and artificial intelligence. Particular topics of interest include, but are not limited to: - The use of AI and automated reasoning to support and guide the formal modelling process. - The use of AI and automated reasoning in the requirement capture process. - The use of AI to reuse formal models, programs and proofs. - The use of machine learning to support interactive theorem proving. - The use of machine learning to enhance automated theorem proving. - The development of search heuristics. - The use of AI for term synthesis, invariant generation, lemma discovery and concept invention. - The use of AI for counter-example generation. - The use of constraint solvers in formal methods. - The role of AI planning for formal systems developments, from requirements to the end product (including software and hardware). - The interplay between reasoning and modelling and the role of AI in this framework. - Ontologies in the formal engineering process. - Novel ideas on how to use AI (e.g. machine learning, pattern recognition) in proof automation. - Use of cloud elasticity for: scalability on large scale developments, proof/lemma exploration. - Techniques for bridging the development to maintenance gap. Submission ---------- Submission is by email to: ai4fm2015 at ai4fm.org Please submit an abstract up to 3 pages in a PDF format. The extended abstracts will be handed out to all participants, and will be made into a technical report prior to the workshop. Acceptance for presentation at the workshop will be made by the organisers based on relevance to the workshop. Student grants ---------- Thanks to sponsorships from Altran, FME, and SICSA we can offer financial support for a limited number of students registering for AVoCS in the form of a registration fee waiver (full or partial, registration covers the AI4FM workshop in addition to AVoCS). As this is limited, we ask the students that would like to take the advantage of this support to submit a short application. The details on how to apply are available on the AVoCS website: https://sites.google.com/site/avocs15/student-grants Organisers ---------- - Leo Freitas (Newcastle University, UK) - Andrius Velykis (Newcastle University, UK) - Gudmund Grov (Heriot-Watt University, UK) If you have any queries, please email the organisers at the following e-mail address: ai4fm2015 at ai4fm.org -------------- next part -------------- An HTML attachment was scrubbed... URL: From ivan.miljenovic at gmail.com Mon Jul 13 08:07:10 2015 From: ivan.miljenovic at gmail.com (Ivan Lazar Miljenovic) Date: Mon, 13 Jul 2015 18:07:10 +1000 Subject: [Haskell] To all users of FGL Message-ID: As you may now, for the past few months I've been (finally!) cleaning up FGL, adding tests, etc. One of the issues that has arisen with this is that the behaviour of the delLEdge [1] function is not well specified when dealing with multiple edges. Specifically, the documentation states that the purpose is to "Remove *an* LEdge from the Graph." (emphasis added)... but the behaviour when dealing with multiple edges is to remove *all* such edges from the graph. The current version on GitHub is to instead just delete a single such labelled edge, with a new function "delAllLEdge" that replicates the current behaviour. Before releasing this change, however, I wanted to make sure that I wouldn't break people's code if they rely upon this functionality; I did try and search through GitHub to see who - if anyone - is using this function, but primarily found various copies of fgl embedded into other people's repositories. As such, please check your code and let me know if this change in behaviour might affect you (if this is the case, I might let delLEdge keep the current behaviour and have a new function delete just one edge). [1]: http://hackage.haskell.org/package/fgl-5.5.1.0/docs/Data-Graph-Inductive-Graph.html#v:delLEdge -- Ivan Lazar Miljenovic Ivan.Miljenovic at gmail.com http://IvanMiljenovic.wordpress.com From calimeri at mat.unical.it Mon Jul 13 13:28:24 2015 From: calimeri at mat.unical.it (Francesco Calimeri) Date: Mon, 13 Jul 2015 15:28:24 +0200 Subject: [Haskell] [LPNMR 2015] REGISTRATION OPEN - Call for Participation (student support grants available) Message-ID: [apologies for multiple posting] Call for Participation *** REGISTRATION is now open *** --------------------------------------------------------------------------- 13th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2015 http://lpnmr2015.mat.unical.it/ Lexington, KY, USA September 27-30, 2015 (Collocated with the 4th Conference on Algorithmic Decision Theory 2015) --------------------------------------------------------------------------- REGISTRATION Registration procedure is available via http://www.cs.uky.edu/lpnmr2015/. AIMS AND SCOPE LPNMR 2015 is the thirteenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to the construction of systems for declarative programming and knowledge representation, as well as their use in practical applications. LPNMR 2015 The program will include three invited talks: - Stable Models for Temporal Theories - By Pedro Cabalar, University of Corunna, Spain - Algorithmic decision theory meets logic - By J?r?me Lang, Universit? Paris-Dauphine, France (Plenary session with ADT 2015). - Relational and Semantic Data Mining - By Nada Lavra?, Jo?ef Stefan Institute and University of Nova Gorica, Slovenia This edition of LPNMR will also feature several workshops, a special session dedicated to the 6th ASP Systems Competition, and will be collocated with the 4th Algorithmic Decision Theory Conference, ADT 2015. Joint LPNMR-ADT Doctoral Consortium will be a part of the program. Some details follow; full info are available via the official conference website http://lpnmr2015.mat.unical.it/. ASSOCIATED EVENTS WORKSHOPS - LPNMR 2015 will include specialized workshops to be held on September 27 prior to the main conference. Currently planned workshops include: - Grounding, Transforming, and Modularizing Theories with Variables Organizers: Marc Denecker, Tomi Janhunen Website: https://sites.google.com/site/gttv2015/ - Action Languages, Process Modeling, and Policy Reasoning Organizer: Joohyung Lee, Gail-Joon Ahn Website: https://sites.google.com/site/alpp2015/ - Natural Language Processing and Automated Reasoning Organizers: Marcello Balduccini, Ekaterina Ovchinnikova, Peter Schueller Website: https://sites.google.com/site/nlpar2015/ - Learning and Nonmonotonic Reasoning Organizers: Alessandra Russo and Alessandra Mileo Website: http://lnmr2015.insight-centre.org/ ASP COMPETITION - A special session dedicated to a discussion of the 6th ASP System Competition, including the methodology of the competition, benchmarks used, lessons learned and, most importantly, the results and the announcement of the winners. ALGORITHMIC DECISION THEORY (ADT) 2015 (collocated - same time and place) Algorithmic Decision Theory is a vibrant and growing area of research concerned with algorithmic aspects of problems arising in social choice and economics that involve optimal ways to aggregate preferences. The area abounds in hard computational problems and may be an axciting area of applications for ASP. The two conferences will seek ways to identify and promote synergies between their respective areas of focus. JOINT LPNMR-ADT DOCTORAL CONSORTIUM: co-Chairs: - Esra Erdem (LPNMR), Sabanci University, Turkey - Nick Mattei (ADT), NICTA, Australia More info: http://lpnmr2015.mat.unical.it/associated-events/adt-lpnmr-2015-doctoral-consortium STUDENT SUPPORT GRANTS The organizing committee has limited funds to partially support students attending LPNMR, with priority to authors of accepted papers that are not funded by the doctoral consortium and have no other funding available. The funding will cover registration and partially cover stay in the conference hotel or some other hotel located nearby (the exact number of free nights to be determined). Applicants should submit their requests to lpnmr2015 at mat.unical.it. A proof of student status is requested. COMPLIMENTARY MEMBERSHIP OFFER FOR CONFERENCE REGISTRANTS NEW TO AAAI LPNMR 2015 is pleased to acknowledge its cooperation with the Association for the Advancement of Artificial Intelligence (AAAI) [http://www.aaai.org], which will be publicizing the conference to its membership. Of special interest to conference attendees is an introductory membership offer from AAAI, which provides a complimentary 1-year online membership to conference participants who are new to AAAI. Please send a message to membership15 at aaai.org for further details. VENUE Lexington is a medium size, pleasant and quiet university town. It is located in the heart of the so-called Bluegrass Region in Central Kentucky. The city is surrounded by beautiful horse farms on green pastures dotted with ponds and traditional architecture stables, and small race tracks, and bordered by white or black fences. The Horse Museum is as beautifully located as it is interesting. Overall, the city has a nice feel that mixes well old and new. The conference will be held in the Hilton Lexington Downtown hotel. COMMITTEES GENERAL CHAIR Victor Marek, University of Kentucky, KY, USA PROGRAM CHAIRS Giovambattista Ianni, University of Calabria, Italy Mirek Truszczynski, University of Kentucky, KY, USA WORKSHOPS CHAIR Yuliya Lierler, University of Nebrska at Omaha, NE, USA PUBLICITY CHAIR Francesco Calimeri, University of Calabria, Italy PROGRAM COMMITTEE Agostino Dovier, Universit? di Udine, Italy Agust?n Valverde, Universidad de M?laga, Spain Alessandra Mileo, National University of Ireland, Galway, INSIGHT Centre for Data Analytics, Ireland Andrea Formisano, Dip. di Matematica e Informatica, Universit? di Perugia, Italy Axel Polleres, Vienna University of Economics and Business, Austria Bart Bogaerts, Department of Computer Science, KU Leuven, Belgium Chiaki Sakama, Wakayama University, Japan Chitta Baral, Arizona State University, USA Christoph Redl, Vienna University of Technology, Austria Daniela Inclezan, Miami University, USA David Pearce, Universidad Polit?cnica de Madrid, Spain Emilia Oikarinen, Aalto University, Finland Enrico Pontelli, New Mexico State University, USA Esra Erdem, Sabanci University, Istanbul, Turkey Eugenia Ternovska, Simon Fraser University, Canada Fangkai Yang, Schlumberger Ltd Fangzhen Lin, Hong Kong University of Science and Technology, Hong Kong Francesco Calimeri, Universit? della Calabria, Italy Gerhard Brewka, Leipzig University, Germany Giovanni Grasso, Oxford University, UK Hannes Strass, Leipzig University, Germany Hans Tompits, Vienna University of Technology, Austria James Delgrande, Simon Fraser University, Canada Jia-Huai You, University of Alberta, Canada Joohyung Lee, Arizona State University, USA Jose Julio Alferes, Universidade Nova de Lisboa, Portugal Kewen Wang, Griffith University, Australia Marc Denecker, K.U.Leuven, Belgium Marcello Balduccini, Drexel University, USA Marina De Vos, University of Bath, UK Martin Gebser, Aalto University, Finland Matthias Knorr, NOVA-LINCS, Universidade Nova de Lisboa, Portugal Mauricio Osorio, Fundacion de la Universidad de las Americas, Puebla, Mexico Michael Fink, Vienna University of Technology, Austria Michael Gelfond, Texas Tech University, USA Orkunt Sabuncu, University of Potsdam, Germany Paul Fodor, Stony Brook University, USA Pedro Cabalar, University of Corunna, Spain Saadat Anwar, Arizona State University, USA Stefan Woltran, Vienna University of Technology Stefania Costantini, Dipartimento di Ingegneria e Scienze dell'Informazione, e Matematica, Univ. di L'Aquila, Italy Terrance Swift, CENTRIA, Universidade Nova de Lisboa, Portugal Thomas Eiter, Vienna University of Technology, Austria Tomi Janhunen, Aalto University, Finland Torsten Schaub, University of Potsdam, Germany Tran Cao Son, New Mexico State University, USA Vladimir Lifschitz, University of Texas at Austin, USA Wolfgang Faber, University of Huddersfield, UK Yi Zhou, University of Western Sydney, Australia Yisong Wang, Guizhou University, China Yuliya Lierler, University of Nebraska at Omaha, USA CONTACT lpnmr2015 at mat.unical.it From simon at joyful.com Tue Jul 14 04:03:23 2015 From: simon at joyful.com (Simon Michael) Date: Mon, 13 Jul 2015 21:03:23 -0700 Subject: [Haskell] ANN: hledger 0.26 Message-ID: I'm pleased to announce hledger and hledger-web 0.26! This release restores non-regular-expression account aliases as the default, and brings miscellaneous bugfixes and cleanups and some performance work. Also the website and documentation have been improved, and now include many more examples. Full release notes: http://hledger.org/release-notes#hledger-0.26 . Release contributors: Simon Michael, Imuli, Carlos Lopez-Camey, Kyle Marek-Spartz, Rick Lupton, Simon Hengel. About: hledger (http://hledger.org) is a command-line tool and haskell library for tracking financial transactions, which are stored in a human-readable plain text format. It can also read CSV or timelog files, and output CSV. It provides useful reports, and can also help you record new transactions interactively. Add-on commands include hledger-web (a web interface), hledger-irr (for calculating internal rate of return) and hledger-interest (for generating interest transactions). hledger is inspired by and largely compatible with Ledger, and can be used with some Ledger files. Installation: $ cabal update [$ cabal sandbox init] $ cabal install hledger[-web]-0.26 or: install stack (https://github.com/commercialhaskell/stack/wiki/Downloads ) $ stack --resolver nightly-2015-07-13 install hledger [hledger-web] or: $ git clone https://github.com/simonmichael/hledger.git $ cd hledger $ git checkout hledger-0.26 $ stack install or see http://hledger.org/download for more options. Best! -Simon -------------- next part -------------- An HTML attachment was scrubbed... URL: From oleg at okmij.org Wed Jul 15 13:32:00 2015 From: oleg at okmij.org (Oleg) Date: Wed, 15 Jul 2015 22:32:00 +0900 Subject: [Haskell] FLOPS 2016, Second CFP Message-ID: <20150715133200.GA2012@Magus.sf-private> FLOPS 2016: 13th International Symposium on Functional and Logic Programming March 3-6, 2016, Kochi, Japan Call For Papers http://www.info.kochi-tech.ac.jp/FLOPS2016/ New: best paper award; in-cooperation with ACM SIGPLAN Writing down detailed computational steps is not the only way of programming. The alternative, being used increasingly in practice, is to start by writing down the desired properties of the result. The computational steps are then (semi-)automatically derived from these higher-level specifications. Examples of this declarative style include functional and logic programming, program transformation and re-writing, and extracting programs from proofs of their correctness. FLOPS aims to bring together practitioners, researchers and implementors of the declarative programming, to discuss mutually interesting results and common problems: theoretical advances, their implementations in language systems and tools, and applications of these systems in practice. The scope includes all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming. FLOPS specifically aims to promote cross-fertilization between theory and practice and among different styles of declarative programming. Scope FLOPS solicits original papers in all areas of the declarative programming: * functional, logic, functional-logic programming, re-writing systems, formal methods and model checking, program transformations and program refinements, developing programs with the help of theorem provers or SAT/SMT solvers; * foundations, language design, implementation issues (compilation techniques, memory management, run-time systems), applications and case studies. FLOPS promotes cross-fertilization among different styles of declarative programming. Therefore, submissions must be written to be understandable by the wide audience of declarative programmers and researchers. Submission of system descriptions and declarative pearls are especially encouraged. Submissions should fall into one of the following categories: * Regular research papers: they should describe new results and will be judged on originality, correctness, and significance. * System descriptions: they should contain a link to a working system and will be judged on originality, usefulness, and design. * Declarative pearls: new and excellent declarative programs or theories with illustrative applications. System descriptions and declarative pearls must be explicitly marked as such in the title. Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted. See also ACM SIGPLAN Republication Policy. The proceedings will be published by Springer International Publishing in the Lecture Notes in Computer Science (LNCS) series, as a printed volume as well as online in the digital library SpringerLink. Post-proceedings: The authors of 4-7 best papers will be invited to submit the extended version of their FLOPS paper to a special issue of the journal Science of Computer Programming (SCP). Important dates Monday, September 14, 2015 (any time zone): Submission deadline Monday, November 16, 2015: Author notification March 3-6, 2016: FLOPS Symposium March 7-9, 2016: PPL Workshop Submission Submissions must be written in English and can be up to 15 pages long including references, though pearls are typically shorter. The formatting has to conform to Springer's guidelines. Regular research papers should be supported by proofs and/or experimental results. In case of lack of space, this supporting information should be made accessible otherwise (e.g., a link to a Web page, or an appendix). Papers should be submitted electronically at https://easychair.org/conferences/?conf=flops2016 Program Committee Andreas Abel Gothenburg University, Sweden Lindsay Errington USA Makoto Hamana Gunma University, Japan Michael Hanus CAU Kiel, Germany Jacob Howe City University London, UK Makoto Kanazawa National Institute of Informatics, Japan Andy King University of Kent, UK (PC Co-Chair) Oleg Kiselyov Tohoku University, Japan (PC Co-Chair) Hsiang-Shang Ko National Institute of Informatics, Japan Julia Lawall Inria-Whisper, France Andres Loeh Well-Typed LLP, UK Anil Madhavapeddy Cambridge University, UK Jeff Polakow PivotCloud, USA Marc Pouzet Ecole normale superieure, France Vitor Santos Costa Universidade do Porto, Portugal Tom Schrijvers KU Leuven, Belgium Zoltan Somogyi Australia Alwen Tiu Nanyang Technological University, Singapore Sam Tobin-Hochstadt Indiana University, USA Hongwei Xi Boston University, USA Neng-Fa Zhou CUNY Brooklyn College and Graduate Center, USA Organizers Andy King University of Kent, UK (PC Co-Chair) Oleg Kiselyov Tohoku University, Japan (PC Co-Chair) Yukiyoshi Kameyama University of Tsukuba, Japan (General Chair) Kiminori Matsuzaki Kochi University of Technology, Japan (Local Chair) flops2016 at logic.cs.tsukuba.ac dot jp From c.grelck at uva.nl Wed Jul 15 21:47:37 2015 From: c.grelck at uva.nl (Clemens Grelck) Date: Wed, 15 Jul 2015 23:47:37 +0200 Subject: [Haskell] CoPro 2015 - Mini-Symposium on Coordination Programming Message-ID: <55A6D4F9.708@uva.nl> *************************************************************************** CALL FOR PAPERS / EXTENDED ABSTRACTS / PRESENTATION SUMMARIES CoPro 2015 Mini-Symposium on Coordination Programming http://www.parco2015.org/coordination-programming Edinburgh, UK September 1, 2015 Submission deadline: July 29, 2015 *************************************************************************** PART OF ParCo 2015 17th International Conference on Parallel Computing http://www.parco2015.org/ Edinburgh, UK September 1-4, 2015 *************************************************************************** IMPORTANT DATES: July 29, 2015: submission deadline July 30, 2015: author notification July 31, 2015: early registration deadline ParCo conference September 1, 2015: mini-symposium September 4, 2015: end of ParCo conference October 31, 2015: submission of camera-ready papers for ParCo proceedings *************************************************************************** SUBMISSIONS: The focus of the mini-symposium is on bringing together researchers interested in all aspects of coordination programming. Our emphasis is on lively discussions and scientific exchange, not formalities. For the initial submission anything from a 1-2 page extended abstract or presentation summary to a full 10-page paper is equally fine. Titles, authors and abstracts of all submissions accepted by the CoPro 2015 mini-symposium will appear in the ParCo book of abstracts to be distributed during the conference. We will merely apply a quick scope check. All authors of contributions presented at the mini-symposium are invited to submit a full paper after the conference that will be reviewed and if accepted will be included in the proceedings of the 17th International Conference on Parallel Computing (ParCo 2015) and published as a volume of the series Advances of Parallel Computing after the ParCo conference. Submission of contributions is via EasyChair: https://easychair.org/conferences/?conf=copro2015 *************************************************************************** SCOPE: Coordination programming is a term that everybody seems to have a vague idea about, but only a few have a definite view on. And among those there is a great deal of divergence in understanding what coordination is all about. In this mini-symposium we intend to look at various interpretations of, and approaches to, coordination: from the conventional tuple-space, Linda-inspired constructions, such as CnC, to behavioural models such as Reo, to more recent attempts to see a coordination program as a projection of the full semantics of a distributed application that can be more or less accurately inferred at compile time and which affects resource- and performance-critical parameters. The mini-symposium will serve as a forum for building bridges between the various directions of research and will help us to share experiences and build a community geared towards practical applications of coordination programming. The mini-symposium will address, but is not limited to, the following issues through contributed papers and a panel-style discussion session included in the programme: * Why does coordination require a coordination language? Is there a kind of analysis that is impeded by the lack of specific coordination-language constructs? * Inference vs adaptation. What can be inferred and how should the coordination program adapt to the resource situation in parallel and distributed systems? * What kind of tuning or self-tuning facilities should/can coordination programming approaches require/possess? * What is the relationship between control-coordination and data-coordination? * How can coordination programming address the challenges of cloud computing, big data processing/analysis and mixed-criticality cyberphysical systems? * What are recent success stories in applying coordination programming to real-life applications? *************************************************************************** PROGRAMME COMMITTEE: Farhad Arbab, Centrum Wiskunde & Informatica, Netherlands Clemens Grelck, University of Amsterdam, Netherlands Kath Knobe, Rice University, USA Alex Shafarenko, University of Hertfordshire, UK *************************************************************************** MINI-SYMPOSIUM CHAIRS Clemens Grelck University of Amsterdam Informatics Institute Science Park 904 1098XH Amsterdam Netherlands c.grelck at uva.nl http://staff.fnwi.uva.nl/c.u.grelck Alex Shafarenko University of Hertfordshire School of Computer Science College Lane Hatfield, AL10 9AB United Kingdom a.shafarenko at herts.ac.uk http://homepages.herts.ac.uk/~comqas/ *************************************************************************** -- ---------------------------------------------------------------------- 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 staff.fnwi.uva.nl/c.u.grelck ---------------------------------------------------------------------- From josef.svenningsson at chalmers.se Fri Jul 17 00:26:25 2015 From: josef.svenningsson at chalmers.se (Josef Svenningsson) Date: Fri, 17 Jul 2015 00:26:25 +0000 Subject: [Haskell] Call for Contributions: Haskell Implementors' Workshop 2015 Message-ID: Call for Contributions ACM SIGPLAN Haskell Implementors' Workshop http://haskell.org/haskellwiki/HaskellImplementorsWorkshop/2015 Vancouver, Canada, 30 August, 2015 Co-located with ICFP 2015 http://www.icfpconference.org/icfp2015/ Important dates --------------- Proposal Deadline: Monday, 3 August, 2015 (midnight, anywhere on earth) Notification: Monday, 10 August, 2015 Workshop: Sunday, 30 August, 2015 The 7th Haskell Implementors' Workshop is to be held alongside ICFP 2015 this year in Vancouver. 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 2015. 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 HotCRP. The website is: https://icfp-hiw15.hotcrp.com/ 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 ---------- * Richard Eisenberg (University of Pennsylvania) * Edward Kmett (S&P Capital IQ) * Hans-Wolfgang Loidl (Heriot-Watt University) * Trevor L. McDonell (Indiana University) * Deian Stefan (Stanford University) * Josef Svenningsson - chair (Chalmers University of Technology) Contact ------- * Josef Svenningsson -------------- next part -------------- An HTML attachment was scrubbed... URL: From pat at jantar.org Fri Jul 17 06:31:38 2015 From: pat at jantar.org (Patryk Zadarnowski) Date: Fri, 17 Jul 2015 16:31:38 +1000 Subject: [Haskell] IAG is hiring Haskell programmers Message-ID: We are looking for two Haskell programmers to join the existing team of two at IAG, Australia's largest insurance group. The positions are within a newly-formed engineering group within the Information & Analytics department. We are currently working on some very cool algorithmic projects, and are looking for people who can demonstrate ability to work with complex data structures and algorithms (both design and implementation.) You should also have a good working knowledge of Haskell (since this is our language of choice for all development), but we also value breadth of experience with a variety of technologies (since we don?t work in a vacuum.) Most importantly, however, we are looking for people who are passionate about programming, have a github account to prove it, and who prefer to seek out challenging problems rather than tick off requirement lists. The positions are located in Sydney, Australia, so, to apply, you must have the right to work in Australia. Unfortunately, at this stage IAG is unable offer visa sponsorship, but, for the right candidate, we may be able to help with relocation costs. We are looking to hire immediately, so if this sounds like you, please sent your CV to me by reply email. -- Patryk Zadarnowski From Y.Lin at hw.ac.uk Fri Jul 17 10:43:13 2015 From: Y.Lin at hw.ac.uk (Lin, Yuhui) Date: Fri, 17 Jul 2015 10:43:13 +0000 Subject: [Haskell] AVoCS 2015: Joint Call for Research Idea Papers & Participation Message-ID: <24D13987-17D3-4A13-93E8-71E579D3127C@hw.ac.uk> ======================================================================= |** AVoCS 2015: Joint Call for Research Idea Papers & Participation **| ======================================================================= The 15th International Workshop on Automated Verification of Critical Systems 1-4 September 2015, Edinburgh, UK https://sites.google.com/site/avocs15/ avocs2015 at easychair.org -----------------------|*** HIGHLIGHTS ***|---------------------------- + *NEW* Registration is now open! + *NEW* Special research ideas session: short papers due 10th August + *NEW* Several student grants available: application due 10th August + Invited talks by Colin O'Halloran (D-RisQ/Oxford) Don Sannella (Contemplate/Edinburgh) + AI4FM workshop including invited talk by J Strother Moore (Univerity of Texas at Austin) + Proceedings to be published by EASST + Special issues of Science of Computer Programming ======================================================================= REGISTRATION Registration for AVoCS is available from https://sites.google.com/site/avocs15/registration Early registration ends 18 August. SPONSORS Altran D-RisQ Software Systems Formal Methods Europe (FME) The Scottish Informatics & Computer Science Alliance (SICSA) BACKGROUND The aim of Automated Verification of Critical Systems (AVoCS) 2015 is to contribute to the interaction and exchange of ideas among members of the international research community on tools and techniques for the verification of critical systems. SCOPE We encourage the submissions of research ideas in order to stimulate discussions at the workshop. Reports on ongoing work or surveys on work published elsewhere are welcome. The Programme Committee will select research ideas on the basis of submitted abstracts according to significance and general interest. The subject of the ideas is to be interpreted broadly and inclusively. It covers all aspects of automated verification, including model checking, theorem proving, SAT/SMT constraint solving, abstract interpretation, and refinement pertaining to various types of critical systems which need to meet stringent dependability requirements (safety-critical, business-critical, performance-critical, etc.). Contributions that describe different techniques, or industrial case studies are encouraged. Topics include (but are not limited to): - Model Checking - Automatic and Interactive Theorem Proving - SAT, SMT or Constraint Solving for Verification - Abstract Interpretation - Specification and Refinement - Requirements Capture and Analysis - Verification of Software and Hardware - Specification and Verification of Fault Tolerance and Resilience - Probabilistic and Real-Time Systems - Dependable Systems - Verified System Development - Industrial Applications IMPORTANT DATES Submission of research idea papers: 10th August 2015 Submission of student grant application: 10th August 2015 Notification (research idea): 14th August 2015 Early registration: 18th August 2015 Submissions of final versions: 21st August 2015 INVITED SPEAKERS Colin O'Halloran (D-RisQ & the University of Oxford) Don Sannella (Contemplate & the University of Edinburgh) WORKSHOPS AI4FM 2015: 1 September 2015 -- www.ai4fm.org/ai4fm-2015/ including invited talk by J Strother Moore (Univerity of Texas at Austin) VENUE The event will be held in the International Centre for Mathematical Sciences (ICMS) in the centre of the historic old town of Edinburgh - an UNESCO world heritage site. SUBMISSION DETAILS Research ideas must be written in English and not exceed 2 pages using the dedicated AVoCS 2015 EASST template available from the the following link (for LaTeX and Word): http://journal.ub.tu-berlin.de/public/template/ The presentation of these ideas will be organised around discussions, where the presenter should also prepare a set of question in which the audience will discuss. Submissions are handled via Easychair: https://easychair.org/conferences/?conf=avocs2015 The research ideas will be included in the pre-proceedings, which will be available in the form of a Heriot-Watt University Technical Report and will be available at the workhsop. STUDENT GRANTS Thanks to sponsorships from Altran, FME and SICSA we can offer financial support for a limited number of students registering for AVoCS in the form of a registration fee waiver (full or partial). As this is limited, we ask the students that would like to take the advantage of this support to submit a short application. The details on how to apply is available from AVoCS webpage. SPECIAL SCP JOURNAL ISSUE Authors of a selection of the best papers presented at the workshop will be invited to submit extended versions of their work for publication in a special issue of Elsevier's journal Science of Computer Programming. PROGRAM COMMITTEE Ernie Cohen, University of Pennsylvania, USA Ewen Denney, NASA Ames, USA Jean-Christophe Filliatre, CNRS, France Michael Goldsmith, University of Oxford, UK Gudmund Grov, Heriot-Watt University, UK (co-chair) Keijo Heljanko, Aalto University, Finland Mike Hinchey, University of Limerick, Ireland Marieke Huisman, University of Twente, Netherlands Andrew Ireland, Heriot-Watt University, UK (co-chair) Gerwin Klein, NICTA/UNSW, Australia Thierry Lecomte, ClearSy, France Yuhui Lin, Heriot-Watt University, UK Peter Gorm Larsen, Aarhus University, Denmark Panagiotis (Pete) Manolios, Northeastern University, USA Stephan Merz, INRIA Nancy & LORIA, France Jaco van de Pol, University of Twente, Netherlands Markus Roggenbach, Swansea University, UK Marco Roveri, FBK, Italy Thomas Santen, Microsoft Research, Germany Bernard Steffen, Technical University Dortmund, Germany Jan Strej?ek, Masaryk University, Czech Republic Jun Sun, Singapore University of Technology and Design, Singapore Tayssir Touili, LIAFA, CNRS & University Paris Diderot, France Helen Treharne, University of Surrey, UK Laurent Voisin, Systerel, France Angela Wallenburg, Altran, UK John Wickerson, Imperial College London, UK Peter ?lveczky, University of Oslo, Norway ORGANISERS Gudmund Grov, Heriot-Watt University, UK Andrew Ireland, Heriot-Watt University, UK Yuhui Lin, Heriot-Watt University, UK (local arrangements and publicity chair) STEERING COMMITTEE Michael Goldsmith, University of Oxford, UK Stephan Merz, INRIA Nancy & LORIA, France Markus Roggenbach, Swansea University, UK ----- We invite research leaders and ambitious early career researchers to join us in leading and driving research in key inter-disciplinary themes. Please see www.hw.ac.uk/researchleaders for further information and how to apply. Heriot-Watt University is a Scottish charity registered under charity number SC000278. From brucker at spamfence.net Fri Jul 17 17:23:16 2015 From: brucker at spamfence.net (Achim D. Brucker) Date: Fri, 17 Jul 2015 19:23:16 +0200 Subject: [Haskell] OCL 2015: ** Deadline Extension ** Submit Your Paper Until July 26, 2015 Message-ID: <20150717172316.GA4062@fujikawa.home.brucker.ch> (Apologies for duplicates) If you are working on the foundations, methods, or tools for OCL or textual modelling, you should now finalise your submission for the OCL workshop! *** The submission deadline has been extended to July 26th, 2015! *** CALL FOR PAPERS 15th International Workshop on OCL and Textual Modeling Tools and Textual Model Transformations Co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015) September 28th, 2015, Ottawa, Canada http://ocl2015.lri.fr Modeling started out with UML and its precursors as a graphical notation. Such visual representations enable direct intuitive capturing of reality, but some of their features are difficult to formalize and lack the level of precision required to create complete and unambiguous specifications. Limitations of the graphical notations encouraged the development of text-based modeling languages that either integrate with or replace graphical notations for modeling. Typical examples of such languages are OCL, textual MOF, Epsilon, and Alloy. Textual modeling languages have their roots in formal language paradigms like logic, programming and databases. The goal of this workshop is to create a forum where researchers and practitioners interested in building models using OCL or other kinds of textual languages can directly interact, report advances, share results, identify tools for language development, and discuss appropriate standards. In particular, the workshop will encourage discussions for achieving synergy from different modeling language concepts and modeling language use. The close interaction will enable researchers and practitioners to identify common interests and options for potential cooperation. Topics of interest include (but are not limited to) =================================================== - Mappings between textual modeling languages and other languages/formalisms - Algorithms, evaluation strategies and optimizations in the context of textual modeling languages for -- validation, verification, and testing, -- model transformation and code generation, -- meta-modeling and DSLs, and -- query and constraint specifications - Alternative graphical/textual notations for textual modeling languages - Evolution, transformation and simplification of textual modeling expressions - Libraries, templates and patterns for textual modeling languages - Tools that support textual modeling languages (e.g., verification of OCL formulae, runtime monitoring of invariants) - Complexity results for textual modeling languages - Quality models and benchmarks for comparing and evaluating textual modeling tools and algorithms - Successful applications of textual modeling languages - Case studies on industrial applications of textual modeling languages - Experience reports -- usage of textual modeling languages and tools in complex domains, -- usability of textual modeling languages and tools for end-users - Empirical studies about the benefits and drawbacks of textual modeling languages - Innovative textual modeling tools - Comparison, evaluation and integration of modeling languages - Correlation between modeling languages and modeling tasks This year, we particularly encourage submissions describing tools that support - in a very broad sense - textual modeling languages (if you have implemented OCL.js to run OCL in a web browser, this is the right workshop to present your work) as well as textual model transformations. Venue ===== The workshop will be organized as a part of MODELS 2015 Conference in Ottawa, Canada. It continues the series of OCL workshops held at UML/MODELS conferences: York (2000), Toronto (2001), San Francisco (2003), Lisbon (2004), Montego Bay (2005), Genova (2006), Nashville (2007), Toulouse (2008), Denver (2009), Oslo (2010), Zurich (2011, at the TOOLs conference), 2012 in Innsbruck, 2013 in Miami, and 2014 in Valencia, Spain. Similar to its predecessors, the workshop addresses both people from academia and industry. The aim is to provide a forum for addressing integration of OCL and other textual modeling languages, as well as tools for textual modeling, and for disseminating good practice and discussing the new requirements for textual modeling. Workshop Format =============== The workshop will include short (about 15 min) presentations, parallel sessions of working groups, and sum-up discussions. Submissions =========== Three types of papers will be considered: * short papers (between 6 and 8 pages) describing ideas, * tool papers (between 6 and 8 pages), and * full papers (between 12 and 16 pages) in LNCS format. Submissions should be uploaded to EasyChair (https://easychair.org/conferences/?conf=ocl20150). The program committee will review the submissions (minimum 2 reviews per paper, usually 3 reviews) and select papers according to their relevance and interest for discussions that will take place at the workshop. Accepted papers will be published online in a pre-conference edition of CEUR (http://www.ceur-ws.org). Important Dates =============== Submission of papers: July 26, 2015 (extended) Notification: August 21, 2015 Workshop date: September 28, 2015 Organizers ========== Achim D. Brucker, SAP SE, Germany Marina Egea, Indra Sistemas S.A., Spain Martin Gogolla, University of Bremen, Germany Frederic Tuong, Univ. Paris-Sud - IRT SystemX - LRI, France Programme Committee =================== Mira Balaban, Ben-Gurion University of the Negev, Israel Tricia Balfe, Nomos Software, Ireland Achim D. Brucker, SAP SE, Germany Fabian Buettner, Inria - Ecole des Mines de Nantes, France Jordi Cabot, Inria - Ecole des Mines de Nantes, France Dan Chiorean, Babes-Bolyai University, Romania Robert Clariso, Universitat Oberta de Catalunya, Spain Tony Clark, Middlesex University, UK Manuel Clavel, IMDEA Software Institute, Spain Carolina Dania, IMDEA Software Institute, Spain Birgit Demuth, Technische Universitat Dresden, Germany Marina Egea, Indra Sistemas S.A., Spain Geri Georg, Colorado State University, USA Martin Gogolla, University of Bremen, Germany Shahar Maoz, Tel Aviv University, Israel Istvan Rath, Budapest University of Technology and Economics, Hungary Bernhard Rumpe, RWTH Aachen, Germany Frederic Tuong, Univ. Paris-Sud - IRT SystemX - LRI, France Claas Wilke, Technische Universitat Dresden, Germany Edward Willink, Willink Transformations Ltd., UK Burkhart Wolff, Univ. Paris-Sud - LRI, France Steffen Zschaler, King's College, UK -- Dr. Achim D. Brucker, SAP SE, Vincenz-Priessnitz-Str. 1, D-76131 Karlsruhe Phone: +49 6227 7-52595, http://www.brucker.ch/ From canslow at ucalgary.ca Fri Jul 17 23:53:54 2015 From: canslow at ucalgary.ca (Craig Anslow) Date: Fri, 17 Jul 2015 23:53:54 +0000 Subject: [Haskell] SPLASH 2015 - Workshops Combined Call for Papers Message-ID: /************************************************************************************/ ACM Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH'15) Pittsburgh, Pennsylvania, USA 25th-30th October, 2015 http://www.splashcon.org Sponsored by ACM SIGPLAN /************************************************************************************/ CALL FOR WORKSHOP PAPERS AND PARTICIPATION Submissions Deadline: August 7, 2015 /************************************************************************************/ SPLASH'15 workshops address a rich variety of well-known and newly emerging research areas and provide a creative and collaborative environment to discuss and solve challenge problems with attendees from industry and research organizations from all over the world. Submission deadlines vary from workshop to workshop. Some workshops will be published in the ACM Digital Library. The current SPLASH'15 workshops program is listed below and the abstracts at the end. ************************************************************** CURRENT WORKSHOP PROGRAM AGERE! - Workshop on Programming based on Actors, Agents, and Decentralized Control http://2015.splashcon.org/track/agere2015 Abstracts: August 1, 2015, Submissions: August 7, 2015, Position/work-in-progress Papers and Demos: September 7, 2015 DSM - Workshop on Domain-Specific Modeling http://2015.splashcon.org/track/dsm2015 Submissions: August 7, 2015 ETX - Eclipse Technology eXchange Workshop http://2015.splashcon.org/track/etx2015 Paper Registration: July 31, 2015 Submissions: August 7, 2015 FPW - Future Programming Workshop http://2015.splashcon.org/track/fpw2015 Submissions: August 7, 2015 MobileDeLi - Workshop on Mobile Development Lifecycle http://2015.splashcon.org/track/mobiledeli2015 Submissions: August 7, 2015 PLATEAU ? Workshop on Evaluation and Usability of Programming Languages and Tools http://2015.splashcon.org/track/plateau2015 Submissions: August 7, 2015 PROMOTO ? Workshop on Programming for Mobile and Touch http://2015.splashcon.org/track/promoto2015 Submissions: August 7, 2015 Parsing at SLE - Workshop on Parsing Programming Languages http://2015.splashcon.org/track/ParsingAtSLE2015 Submissions: August 7, 2015 REBLS - Workshop on Reactive and Event-based Languages & Systems http://2015.splashcon.org/track/rebls2015 Submissions: August 7, 2015 SEPS - Workshop on Software Engineering for Parallel Systems http://2015.splashcon.org/track/seps2015 Submissions: August 7, 2015 SMART - Smart Software Strategies http://conf.researchr.org/track/SmartSoftwareStrategies2015/SmartSoftwareStrategies2015 Submissions: October 2, 2015 WODA - Workshop on Dynamic Analysis http://2015.splashcon.org/track/woda2015 Submissions: August 7, 2015 For additional information, clarification, early feedback, or answers to questions, please contact the Workshop Organizers of your favorite workshops, or the Workshops Chairs, Jan S. Rellermeyer and Du Li, at workshopsplash2015 at easychair.org ************************************************************** ANNEX: WORKSHOP ABSTRACTS AND DATES ************************************************************** AGERE! 5th International Workshop on Programming based on Actors, Agents, and Decentralized Control http://2015.splashcon.org/track/agere2015 -Deadlines: Abstracts: August 1, 2015 Submissions: August 7, 2015 Position/work-in-progress Papers and Demos: September 7, 2015 - Organizers: Elisa Gonzalez Boix, Vrije Universiteit Brussel, Belgium Philipp Haller, KTH Royal Institute of Technology, Sweden Alessandro Ricci, University of Bologna, Italy Carlos Varela, Rensselaer Polytechnic Institute - Abstract: The AGERE! workshop is aimed at focusing on programming systems, languages and applications based on actors, active/concurrent objects, agents and ? more generally ? high-level programming paradigms promoting a mindset of decentralized control in solving problems and developing software. The workshop is designed to cover both the theory and the practice of design and programming, bringing together researchers working on models, languages and technologies, and practitioners developing real-world systems and applications. ************************************************************** DSM - Domain-Specific Modeling workshop http://2015.splashcon.org/track/dsm2015 - Deadlines: Submissions: August 7, 2015 - Organizers: Jeff Gray, University of Alabama, USA Jonathan Sprinkle, University of Arizona, USA Juha-Pekka Tolvanen, MetaCase, Finland Matti Rossi, Aalto University School of Economics, Finland - Abstract: Domain-specific languages provide a viable and time-tested solution for continuing to raise the level of abstraction, and thus productivity, beyond coding, making systems development faster and easier. When accompanied with suitable automated modeling tools and generators it delivers to the promises of continuous delivery and devops. In Domain-Specific Modeling (DSM) the models are constructed using concepts that represent things in the application domain, not concepts of a given programming language. The modeling language follows the domain abstractions and semantics, allowing developers to perceive themselves as working directly with domain concepts. Together with frameworks and platforms, DSM can automate a large portion of software production. This automation is possible because of domain-specificity: both the modeling language and code generators fit to the requirements of a narrowly defined domain, often inside one organization only. ************************************************************** ETX - Eclipse Technology eXchange Workshop http://2015.splashcon.org/track/etx2015 - Deadlines: Abstracts: July 31, 2015 Submissions: August 7, 2015 - Organizers: Tim Verbelen, Ghent University - iMinds, Belgium Michael Burke, Rice University, USA - Abstract: The Eclipse platform (http://www.eclipse.org) was originally designed for building integrated development environments for object-oriented applications. Over the years it has developed into a vibrant ecosystem of platforms, toolkits, libraries, modeling frameworks, and tools that support various languages and programming styles. The goal of the ETX workshop is to bring together researchers and practitioners to exchange ideas about potential new uses of Eclipse and how Eclipse technology can be leveraged, improved, and/or extended for research and education. After succesful editions of the ETX workshop in 2003-2007, we revived the ETX workshop in 2014 and are now up for another edition. ETX 2015 invites original and unpublished contributions about potential new uses of Eclipse and how Eclipse technology can be leveraged, improved, and/or extended for research and education. ************************************************************** FPW - Future Programming Workshop http://2015.splashcon.org/track/fpw2015 - Deadlines: Submissions: August 7, 2015 - Organizers: Jonathan Edwards, MIT CSAIL, USA Richard Gabriel, IBM Research, USA Alex Payne, Emerging Languages Camp, USA - Abstract: The Future Programming Workshop (FPW) invites ambitious visions, new approaches, and early-stage work of all kinds seeking to improve software development. Participants will present their work at SPLASH in Pittsburgh and optionally at Strange Loop in St. Louis, culminating in a writers? workshop at SPLASH. FPW fosters a supportive and inspirational community of researchers and practitioners working at the frontiers of software. We are looking for transformative ideas outside the academic and industrial mainstream - ideas with potentially large impacts on how we will build software in the future. We embrace early-stage work, when it is most in need of constructive criticism, and offer a safe and effective environment in which to receive such criticism. ************************************************************** MobileDeLi - Workshop on Mobile Development Lifecycle http://2015.splashcon.org/track/mobiledeli2015 - Deadlines: Submissions: August 7, 2015 - Organizers: Aharon Abadi, IBM Haifa Research Lab, Israel Lori Flynn, CERT, USA Jeff Gray, University of Alabama, USA - Abstract: Mobile application usage and development is experiencing exponential growth. According to Gartner, by 2016 more than 200 billion total apps will have been downloaded. The mobile domain presents new challenges to software engineering. Mobile platforms are rapidly changing, including diverse capabilities as GPS, sensors, and input modes. Applications must be omni-channel and work on all platforms. Activated on mobile platforms, modern applications must be elastic and scale on demand according to the hardware abilities. Applications often need to support and use third-party services. Therefore, during development, security and authorization processes for the dataflow must be applied. Bring your own device (BYOD) policies bring new security data leaks challenges. Developing such applications requires suitable practices and tools e.g., architecture techniques that relate to the complexity at hand; improved refactoring tools for hybrid applications using dynamic languages and polyglot development and applications; and testing techniques for applications that run on different devices. This workshop aims at establishing a community of researchers and practitioners to share their work and lead further research in the mobile development area. ************************************************************** PLATEAU ? 6th Workshop on Evaluation and Usability of Programming Languages and Tools http://2015.splashcon.org/track/plateau2015 - Deadlines: Submissions: August 7, 2015 - Organizers: Thomas LaToza, UC Irvine, USA Joshua Sunshine, Carnegie Mellon University, USA Craig Anslow, Middlesex University, UK - Abstract: Programming languages exist to enable programmers to develop software effectively. But how efficiently programmers can write software depends on the usability of the languages and tools that they develop with. The aim of this workshop is to discuss methods, metrics and techniques for evaluating the usability of languages and language tools. The supposed benefits of such languages and tools cover a large space, including making programs easier to read, write, and maintain; allowing programmers to write more flexible and powerful programs; and restricting programs to make them more safe and secure. PLATEAU gathers the intersection of researchers in the programming language, programming tool, and human-computer interaction communities to share their research and discuss the future of evaluation and usability of programming languages and tools. ************************************************************** Parsing - Parsing at SLE 2015 http://2015.splashcon.org/track/ParsingAtSLE2015 - Deadlines: Submissions: August 7, 2015 - Organizers: Ali Afroozeh, Loek Cleophas, Umea University, Sweden - Abstract: Parsing at SLE is a workshop on parsing programming languages, now in its third edition. The intended participants are the authors of parser generation tools and parsers for programming languages and other software languages. For the purpose of this workshop ``parsing?? is a computation that takes a sequence of characters as input and produces a syntax tree or graph as output. This possibly includes tokenization using regular expressions, deriving trees using context- free grammars, and mapping to abstract syntax trees. The goal is to bring together today?s experts in the field of parsing, in order to explore open questions and possibly forge new collaborations. The topics may include algorithms, implementation and generation techniques, syntax and semantics of meta formalisms (BNF), etc. ************************************************************** PROMOTO ? 3rd Workshop on Programming for Mobile and Touch http://2015.splashcon.org/track/promoto2015 - Deadlines: Submissions: August 7, 2015 - Organizers: Steven D. Fraser, Innoxec, USA Alberto Sillitti, Center for Applied Software Engineering Bolzano, Italy - Abstract: Today, easy-to-use mobile devices like smartphones and tablets are becoming more prevalent than traditional PCs and laptops. New programming languages are emerging to enable programmers to develop software easily?leveraging the exciting advances in existing hardware, and providing abstractions that fit the capabilities of target platforms with multiple sensors, touch and cloud capabilities. PROMOTO brings together researchers who have been exploring new programming paradigms, embracing the new realities of always connected, touch-enabled mobile devices. PROMOTO 2015 would like to invite contributions covering technical aspects of cross-platform computing, cloud computing, social applications and security. Submissions for this event are invited in the general area of mobile and touch-oriented programming languages and programming environments, and teaching of programming for mobile devices. ************************************************************** REBLS - Workshop on Reactive and Event-based Languages & Systems http://2015.splashcon.org/track/rebls2015 - Deadlines: Submissions: August 7, 2015 - Organizers: Guido Salvaneschi, TU Darmstadt, Germany Wolfgang De Meuter, Vrije Universiteit, Belgium Patrick Eugster, Purdue University, USA Lukasz Ziarek, State University of New York (SUNY) Buffalo, USA Reactive programming and event-based programming are two closely related programming styles that are becoming ever more important with the advent of advanced HPC technology and the ever increasing requirement for our applications to run on the web or on collaborating mobile devices. A number of publications on middleware and language design ? so-called reactive and event-based languages and systems (REBLS) ? have already seen the light, but the field still raises several questions. For example, the interaction with mainstream language concepts is poorly understood, implementation technology is in its infancy and modularity mechanisms are almost totally lacking. Moreover, large applications are still to be developed and patterns and tools for developing reactive applications is an area that is vastly unexplored. ************************************************************** SEPS - 2nd Workshop on Software Engineering for Parallel Systems http://2015.splashcon.org/track/seps2015 - Deadlines: Papers: August 7, 2015 - Organizers: Ali Jannesari, Technical University of Darmstadt, Germany Siegfried Benkner, University of Vienna, Austria Xinghui Zhao, Washington State University, USA Ehsan Atoofian, Lakehead University, Canada Yukionri Sato, Tokyo Institute of Technology, Japan - Abstract: The increased complexity of parallel applications on modern parallel platforms (e.g. multicore/manycore, distributed or hybrid) requires more insight into development processes, and necessitates the use of advanced methods and techniques supporting developers in creating parallel applications or parallelizing and reengineering sequential legacy applications. We aim to advance the state of the art in different phases of parallel software development, covering software engineering aspects such as requirements engineering and software specification; design and implementation; program analysis, profiling and tuning; testing and debugging. ************************************************************** SMART - Workshop on Smart Software Strategies http://conf.researchr.org/track/SmartSoftwareStrategies2015/SmartSoftwareStrategies2015 - Deadlines: Papers: October 2, 2015 - Organizers: Steven D. Fraser, Independent Consultant, USA Dennis Mancl, Alcatel-Lucent, USA Bill Opdyke, JP Morgan Chase & Co, USA - Abstract: We should learn from the past ? to use what we learn for the next problem. What can we learn from the experiences of Y2K? There are some lessons about software design and software maintenance that we might apply to the next wave of software and technology: Y2K bugs: In the late 1990s, software developers and managers were furiously working to analyze and fix potential ?Y2K bugs.? We all knew that there were software applications that might fail on January 1, 2000, but no one was sure how we would manage to fix all of these defects in time. Today?s ?smart? technologies: Fifteen years later, we are at the threshold of a new era of software ? smart phones, wearable technology, digital currency, smart automobiles, smart power grids, smart appliances. How should we prepare for this wave? Should we be thinking ahead, should we be anticipating some of the potential risks and latent defects in our smart applications and smart support software for a software-driven future world? What advances in software analysis, design, coding, and testing will we need to do reduce our exposure to defects, unintended side effects, and malicious mischief? We might look to the past ? to the biggest concentrated effort to clean up and modernize software on a worldwide scale. Are there some lessons we can learn from ?Y2K remediation activities? of the 1990s? ************************************************************** WODA - 13th International Workshop on Dynamic Analysis http://2015.splashcon.org/track/woda2015 - Deadlines: Papers: August 7, 2015 - Organizers: Harry Xu, University of California, Irvine, USA Walter Binder, University of Lugano, Switzerland Yudi Zheng, University of Lugano, Switzerland - Abstract: Dynamic analysis is widely used in software development to understand various run-time properties of a program. Dynamic analysis includes both offline techniques, which operate on some captured representation of the program's behavior (e.g., a trace), and run-time techniques, which analyze the behavior on the fly, while the system is executing. Although inherently incomplete, dynamic analyses can be more precise than their static counterparts and show promise in aiding the understanding, development, and maintenance of robust and reliable large scale systems. Moreover, the data they provide enable statistical inferences to be made about program behavior. Dynamic analysis is playing a central role in the understanding of applications and systems as we grapple with emerging challenges such as systemic runtime bloat, high energy consumption, and the explosion of Big Data. The overall goal of WODA is to bring together researchers and practitioners working in all areas of dynamic analysis to discuss new issues, share results and ongoing work, and foster collaborations. This workshop is a forum for researchers and practitioners interested in the intersection of compilers, programming languages, architecture, software engineering, systems, high-performance computing, performance engineering, machine learning, and data mining for addressing software and system performance. The workshop focuses on developing and studying analytic technologies (e.g., program analysis, statistical analysis, machine learning, data mining, visualization) applied on various software or system artifacts (e.g., production systems, tests, program traces, system logs) to address issues in software and system reliability, dependability, performance, and scalability. /************************************************************************************/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From icfp.publicity at googlemail.com Sat Jul 18 16:49:02 2015 From: icfp.publicity at googlemail.com (David Van Horn) Date: Sat, 18 Jul 2015 12:49:02 -0400 Subject: [Haskell] ICFP 2015 Call for Participation Message-ID: [ Early registration ends 3 August. ] ===================================================================== Call for Participation ICFP 2015 20th ACM SIGPLAN International Conference on Functional Programming and affiliated events August 30 - September 5, 2015 Vancouver, British Columbia, Canada http://icfpconference.org/icfp2015/ ===================================================================== ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. The conference covers the entire spectrum of work, from practice to theory, including its peripheries. A full week dedicated to functional programming: 1 conference, 1 symposium, 11 workshops, tutorials, programming contest results, student research competition, and mentoring workshop * Program: http://icfpconference.org/icfp2015/program.html * Accepted Papers: http://icfpconference.org/icfp2015/accepted.html * Affiliated Events: http://icfpconference.org/icfp2015/affiliated.html * Local arrangements (including travel and accommodation): http://icfpconference.org/icfp2015/local.html * Registration is available via: https://regmaster4.com/2015conf/ICFP15/register.php Early registration is due 3 August, 2015. * Programming contest, 7-10 August, 2015: http://icfpcontest.org/ * Follow @icfp_conference on twitter for the latest news: http://twitter.com/icfp_conference There are several events affiliated with ICFP: Sunday, August 30 Haskell Implementors Workshop Workshop on Higher-order Programming with Effects Workshop on Generic Programming Programming Languages Mentoring Workshop Ally Skills Tutorial Monday, August 31 ? Wednesday, September 2 ICFP Thursday, September 3 Workshop on Functional High-Performance Computing Haskell Symposium ? Day 1 ML Family Workshop Commercial Users of Functional Programming ? Day 1 Friday, September 4 Erlang Workshop Haskell Symposium ? Day 2 OCaml Workshop Commercial Users of Functional Programming ? Day 2 Scheme and Functional Programming Workshop Saturday, September 5 Functional Art, Music, Modeling and Design Commercial Users of Functional Programming ? Day 3 Conference Organizers General Chair: Kathleen Fisher, Tufts University Program Chair: John Reppy, University of Chicago Local Arrangements Chair: Ronald Garcia, University of British Columbia Industrial Relations Chair: Anil Madhavapeddy, University of Cambridge Workshop Co-Chairs: Tom Schrijvers, KU Leuven Nicolas Wu, University of Bristol Programming Contest Chair: Joe Kiniry, Galois Student Research Competition Chair: Andrew Kennedy, Microsoft Research Mentoring Workshop Co-Chairs: Ronald Garcia, University of British Columbia Stephanie Weirich, University of Pennsylvania Publicity Chair: David Van Horn, University of Maryland Video Chair: Iavor Diatchki, Galois Student Volunteer Co-Chairs: Felipe Ba?ados Schwerter, University of British Columbia Gabriel Scherer, INRIA Mobile App Chair: Reid Holmes, University of Waterloo Industrial partners: Platinum partners Jane Street Capital Gold partners Anonymous donor Ahrefs Google Mozilla Research Oracle Labs Silver partners Bloomberg Tsuru Capital Galois The University of Chicago Bronze partners Erlang Solutions FireEye IntelliFactory PivotCloud Systor Vest ===================================================================== From wheeler at amnh.org Wed Jul 22 00:27:50 2015 From: wheeler at amnh.org (Ward C Wheeler) Date: Wed, 22 Jul 2015 00:27:50 +0000 Subject: [Haskell] Haskell developer position in research group Message-ID: (Apologies if this this list is inappropriate for such an announcement) My research group at the American Museum of Natural History in New York City is recruiting a developer (ideally with Haskell experience, but functional programming experience a must) for a research grant funded project in evolutionary bioinformatics. If you are interested, please contact me directly at wheeler at amnh.org with a CV and contact information for 3 references. Ward Wheeler Division of Invertebrate Zoology American Museum of Natural History Central Park West at 79th Street New York, NY 10024-5192 USA http://www.amnh.org/our-research/staff-directory/ward-wheeler http://www.amnh.org/our-research/computational-sciences/research/projects/systematic-biology/poy/download From ivan.miljenovic at gmail.com Wed Jul 22 13:07:52 2015 From: ivan.miljenovic at gmail.com (Ivan Lazar Miljenovic) Date: Wed, 22 Jul 2015 23:07:52 +1000 Subject: [Haskell] ANNOUNCE: fgl-5.5.2.0 and fgl-arbitrary-0.2.0.0 Message-ID: I'm pleased to announce that I've (finally!) just released version 5.5.2.0 of [fgl]. Major changes in this release include a test suite, refactorings, code clean-ups and the following potentially breaking changes (in that they were previously unspecified or incorrect): - `nodeRange` and `nodeRangeM` for the various graph data structures erroneously returned `(0,0)` for empty graphs (making them indistinguishable from graphs containing the single node `0`). They now match the default implementation of throwing an error. - The behaviour of `delLEdge` when dealing with multiple edges was unspecified; it now deletes only a single edge and the new function `delAllLEdge` deletes all edges matching the one provided. All changes can be found in the changelog. [fgl]: https://hackage.haskell.org/package/fgl Along with this I'm releasing version 0.2.0.0 of [fgl-arbitrary] (i.e. the "I finally build against the version on Hackage" release). [fgl-arbitrary]: https://hackage.haskell.org/package/fgl-arbitrary -- Ivan Lazar Miljenovic Ivan.Miljenovic at gmail.com http://IvanMiljenovic.wordpress.com From calimeri at mat.unical.it Thu Jul 23 19:23:48 2015 From: calimeri at mat.unical.it (Francesco Calimeri) Date: Thu, 23 Jul 2015 21:23:48 +0200 Subject: [Haskell] [LPNMR 2015] EARLY REGISTRATION CLOSING SOON - Call for Participation (student support grants: NEWS) Message-ID: [apologies for possible multiple copies] Call for Participation *** EARLY REGISTRATION CLOSES SOON *** *** NEW INFORMATION ABOUT STUDENT SUPPORT GRANTS *** --------------------------------------------------------------------------- 13th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2015 http://lpnmr2015.mat.unical.it/ Lexington, KY, USA September 27-30, 2015 (Collocated with the 4th Conference on Algorithmic Decision Theory 2015) --------------------------------------------------------------------------- REGISTRATION Registration procedure is available via http://www.cs.uky.edu/lpnmr2015/. Early registration closes before the end of July. AIMS AND SCOPE LPNMR 2015 is the thirteenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to the construction of systems for declarative programming and knowledge representation, as well as their use in practical applications. LPNMR 2015 The program will include three invited talks: - Stable Models for Temporal Theories - By Pedro Cabalar, University of Corunna, Spain - Algorithmic decision theory meets logic - By J?r?me Lang, Universit? Paris-Dauphine, France (Plenary session with ADT 2015). - Relational and Semantic Data Mining - By Nada Lavra?, Jo?ef Stefan Institute and University of Nova Gorica, Slovenia This edition of LPNMR will also feature several workshops, a special session dedicated to the 6th ASP Systems Competition, and will be collocated with the 4th Algorithmic Decision Theory Conference, ADT 2015. Joint LPNMR-ADT Doctoral Consortium will be a part of the program. Some details follow; full info are available via the official conference website http://lpnmr2015.mat.unical.it/. ASSOCIATED EVENTS WORKSHOPS - LPNMR 2015 will include specialized workshops to be held on September 27 prior to the main conference. Currently planned workshops include: - Grounding, Transforming, and Modularizing Theories with Variables Organizers: Marc Denecker, Tomi Janhunen Website: https://sites.google.com/site/gttv2015/ - Action Languages, Process Modeling, and Policy Reasoning Organizer: Joohyung Lee, Gail-Joon Ahn Website: https://sites.google.com/site/alpp2015/ - Natural Language Processing and Automated Reasoning Organizers: Marcello Balduccini, Ekaterina Ovchinnikova, Peter Schueller Website: https://sites.google.com/site/nlpar2015/ - Learning and Nonmonotonic Reasoning Organizers: Alessandra Russo and Alessandra Mileo Website: http://lnmr2015.insight-centre.org/ ASP COMPETITION - A special session dedicated to a discussion of the 6th ASP System Competition, including the methodology of the competition, benchmarks used, lessons learned and, most importantly, the results and the announcement of the winners. ALGORITHMIC DECISION THEORY (ADT) 2015 (collocated - same time and place) Algorithmic Decision Theory is a vibrant and growing area of research concerned with algorithmic aspects of problems arising in social choice and economics that involve optimal ways to aggregate preferences. The area abounds in hard computational problems and may be an axciting area of applications for ASP. The two conferences will seek ways to identify and promote synergies between their respective areas of focus. JOINT LPNMR-ADT DOCTORAL CONSORTIUM: co-Chairs: - Esra Erdem (LPNMR), Sabanci University, Turkey - Nick Mattei (ADT), NICTA, Australia More info: http://lpnmr2015.mat.unical.it/associated-events/adt-lpnmr-2015-doctoral-consortium STUDENT SUPPORT GRANTS The organizing committee has limited funds to partially support students attending LPNMR, with priority to authors of accepted papers that are not funded by the doctoral consortium and have no other funding available. The funding will cover registration and partially cover stay in the conference hotel or some other hotel located nearby (the exact number of free nights to be determined). Applicants should submit their requests to lpnmr2015 at mat.unical.it. A proof of student status is requested. NOTE: Students planning to request financial aid should directly contact Miroslaw Truszczynski before they register. COMPLIMENTARY MEMBERSHIP OFFER FOR CONFERENCE REGISTRANTS NEW TO AAAI LPNMR 2015 is pleased to acknowledge its cooperation with the Association for the Advancement of Artificial Intelligence (AAAI) [http://www.aaai.org], which will be publicizing the conference to its membership. Of special interest to conference attendees is an introductory membership offer from AAAI, which provides a complimentary 1-year online membership to conference participants who are new to AAAI. Please send a message to membership15 at aaai.org for further details. VENUE Lexington is a medium size, pleasant and quiet university town. It is located in the heart of the so-called Bluegrass Region in Central Kentucky. The city is surrounded by beautiful horse farms on green pastures dotted with ponds and traditional architecture stables, and small race tracks, and bordered by white or black fences. The Horse Museum is as beautifully located as it is interesting. Overall, the city has a nice feel that mixes well old and new. The conference will be held in the Hilton Lexington Downtown hotel. COMMITTEES GENERAL CHAIR Victor Marek, University of Kentucky, KY, USA PROGRAM CHAIRS Giovambattista Ianni, University of Calabria, Italy Mirek Truszczynski, University of Kentucky, KY, USA WORKSHOPS CHAIR Yuliya Lierler, University of Nebrska at Omaha, NE, USA PUBLICITY CHAIR Francesco Calimeri, University of Calabria, Italy PROGRAM COMMITTEE Agostino Dovier, Universit? di Udine, Italy Agust?n Valverde, Universidad de M?laga, Spain Alessandra Mileo, National University of Ireland, Galway, INSIGHT Centre for Data Analytics, Ireland Andrea Formisano, Dip. di Matematica e Informatica, Universit? di Perugia, Italy Axel Polleres, Vienna University of Economics and Business, Austria Bart Bogaerts, Department of Computer Science, KU Leuven, Belgium Chiaki Sakama, Wakayama University, Japan Chitta Baral, Arizona State University, USA Christoph Redl, Vienna University of Technology, Austria Daniela Inclezan, Miami University, USA David Pearce, Universidad Polit?cnica de Madrid, Spain Emilia Oikarinen, Aalto University, Finland Enrico Pontelli, New Mexico State University, USA Esra Erdem, Sabanci University, Istanbul, Turkey Eugenia Ternovska, Simon Fraser University, Canada Fangkai Yang, Schlumberger Ltd Fangzhen Lin, Hong Kong University of Science and Technology, Hong Kong Francesco Calimeri, Universit? della Calabria, Italy Gerhard Brewka, Leipzig University, Germany Giovanni Grasso, Oxford University, UK Hannes Strass, Leipzig University, Germany Hans Tompits, Vienna University of Technology, Austria James Delgrande, Simon Fraser University, Canada Jia-Huai You, University of Alberta, Canada Joohyung Lee, Arizona State University, USA Jose Julio Alferes, Universidade Nova de Lisboa, Portugal Kewen Wang, Griffith University, Australia Marc Denecker, K.U.Leuven, Belgium Marcello Balduccini, Drexel University, USA Marina De Vos, University of Bath, UK Martin Gebser, Aalto University, Finland Matthias Knorr, NOVA-LINCS, Universidade Nova de Lisboa, Portugal Mauricio Osorio, Fundacion de la Universidad de las Americas, Puebla, Mexico Michael Fink, Vienna University of Technology, Austria Michael Gelfond, Texas Tech University, USA Orkunt Sabuncu, University of Potsdam, Germany Paul Fodor, Stony Brook University, USA Pedro Cabalar, University of Corunna, Spain Saadat Anwar, Arizona State University, USA Stefan Woltran, Vienna University of Technology Stefania Costantini, Dipartimento di Ingegneria e Scienze dell'Informazione, e Matematica, Univ. di L'Aquila, Italy Terrance Swift, CENTRIA, Universidade Nova de Lisboa, Portugal Thomas Eiter, Vienna University of Technology, Austria Tomi Janhunen, Aalto University, Finland Torsten Schaub, University of Potsdam, Germany Tran Cao Son, New Mexico State University, USA Vladimir Lifschitz, University of Texas at Austin, USA Wolfgang Faber, University of Huddersfield, UK Yi Zhou, University of Western Sydney, Australia Yisong Wang, Guizhou University, China Yuliya Lierler, University of Nebraska at Omaha, USA CONTACT lpnmr2015 at mat.unical.it From lel416 at aol.com Fri Jul 24 00:10:23 2015 From: lel416 at aol.com (lel416 at aol.com) Date: Thu, 23 Jul 2015 20:10:23 -0400 Subject: [Haskell] (no subject) Message-ID: Can u still purchase general admission tkts Sent from my iPhone From ben at well-typed.com Wed Jul 29 15:26:58 2015 From: ben at well-typed.com (Ben Gamari) Date: Wed, 29 Jul 2015 17:26:58 +0200 Subject: [Haskell] ANNOUNCE: GHC version 7.10.2 Message-ID: <8761533ry5.fsf@smart-cactus.org> ===================================================================== The (Interactive) Glasgow Haskell Compiler -- version 7.10.2 ===================================================================== The GHC Team is pleased to announce a new bug-fix release of GHC, 7.10.2. There have been a number of significant bug fixes since the 7.10.1 (with over 70 defects fixed). These include fixes affecting type-checker correctness, runtime stability, and compiler performance. For this reason we highly recommend that users of 7.10.1 upgrade quickly. Note that due to changes made in this release to GHC's optimizer, previously fragile-but-working rewrite rules may fail to fire. One example of this was found in the widely-used `text` package late in the release cycle, which manifested in long compilation times and poor code generation for `Text` literals (see [Trac #10528]). Users are advised to use text >=1.2.1.2 which includes more robust rewrite rules. The full release notes including a complete listing of the changes in this release can be found here, https://downloads.haskell.org/~ghc/7.10.2/docs/html/users_guide/release-7-10-2.html [Trac #10528]: https://ghc.haskell.org/trac/ghc/ticket/10528 How to get it ~~~~~~~~~~~~~ Both binary and source tarballs of GHC itself are available on the release download page, https://www.haskell.org/ghc/download_ghc_7_10_2 For a more smoother, better integrated experience users are encouraged to find a Haskell distribution. While these alternatives may not yet include 7.10.2, they offer tools and libraries to quickly get users up and running, as well as potentially better integration with the host operating system and package manager. See, https://www.haskell.org/downloads for more details. Background ~~~~~~~~~~ Haskell is a standard lazy functional programming language. GHC is a state-of-the-art programming suite for Haskell. Included is an optimising compiler generating good code for a variety of platforms, together with an interactive system for convenient, quick development. The distribution includes space and time profiling facilities, a large collection of libraries, and support for various language extensions, including concurrency, exceptions, and foreign language interfaces (C, whatever). GHC is distributed under a BSD-style open source license. A wide variety of Haskell related resources (tutorials, libraries, specifications, documentation, compilers, interpreters, references, contact information, links to research groups) are available from the Haskell home page (see below), https://www.haskell.org/ Supported Platforms ~~~~~~~~~~~~~~~~~~~ The list of platforms supported by GHC and the people responsible for them can be found here, https://ghc.haskell.org/trac/ghc/wiki/Platforms https://ghc.haskell.org/trac/ghc/wiki/CodeOwners Ports to other platforms are possible with varying degrees of difficulty. The Building Guide describes how to go about porting to a new platform: https://ghc.haskell.org/trac/ghc/wiki/Building Developers ~~~~~~~~~~ If you enjoy using GHC, you will likely also enjoy contributing to it! We are always looking for new contributors. Instructions on accessing our source code repository, and getting started with hacking on GHC, are available from the GHC developer site, https://ghc.haskell.org/trac/ghc/ Mailing lists ~~~~~~~~~~~~~ We run mailing lists for GHC users and bug reports; to subscribe, use the web interfaces at https://www.haskell.org/mailman/listinfo/glasgow-haskell-users https://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs There are several other haskell and ghc-related mailing lists on www.haskell.org; for the full list, see https://www.haskell.org/mailman/listinfo/ Some GHC developers hang out on #haskell on IRC, too: https://www.haskell.org/haskellwiki/IRC_channel Please report bugs using our bug tracking system. Instructions on reporting bugs can be found here: https://www.haskell.org/ghc/reportabug Hashes & Signatures ~~~~~~~~~~~~~~~~~ In https://downloads.haskell.org/~ghc/7.10.2/ you will find a signed copy of the SHA256 hashes for the tarballs, using my GPG key, Benjamin Gamari Fingerprint: FFEB 7CE8 1E16 A36B 3E2D ED6F 2DE0 4D4E 97DB 64AD -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 472 bytes Desc: not available URL: From asr at eafit.edu.co Wed Jul 29 15:53:29 2015 From: asr at eafit.edu.co (=?UTF-8?B?QW5kcsOpcyBTaWNhcmQtUmFtw61yZXo=?=) Date: Wed, 29 Jul 2015 10:53:29 -0500 Subject: [Haskell] ANNOUNCE: GHC version 7.10.2 In-Reply-To: <8761533ry5.fsf@smart-cactus.org> References: <8761533ry5.fsf@smart-cactus.org> Message-ID: Hi, On 29 July 2015 at 10:26, Ben Gamari wrote: > The GHC Team is pleased to announce a new bug-fix release of GHC, > 7.10.2. Thanks for the release! FYI, there are various missing *.tar.xz files in the SHA256SUMS file in http://downloads.haskell.org/~ghc/7.10.2/ Best regards, -- Andr?s From ben at well-typed.com Wed Jul 29 16:28:52 2015 From: ben at well-typed.com (Ben Gamari) Date: Wed, 29 Jul 2015 18:28:52 +0200 Subject: [Haskell] ANNOUNCE: GHC version 7.10.2 In-Reply-To: References: <8761533ry5.fsf@smart-cactus.org> Message-ID: <87vbd32aij.fsf@smart-cactus.org> Andr?s Sicard-Ram?rez writes: > Hi, > > On 29 July 2015 at 10:26, Ben Gamari wrote: >> The GHC Team is pleased to announce a new bug-fix release of GHC, >> 7.10.2. > > Thanks for the release! > > FYI, there are various missing *.tar.xz files in the SHA256SUMS file in > > http://downloads.haskell.org/~ghc/7.10.2/ > I suspect this may be due to the (Content Delivery Network (CDN) caches being stale. Unfortunately this seems to be a persistent issue. You can likely fool the CDN by inserting superfluous / characters in the URL (thanks to Herbert for the tip). For instance, http://downloads.haskell.org/~ghc/7.10.2///SHA256SUMS Cheers, - Ben -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 472 bytes Desc: not available URL: From fuuzetsu at fuuzetsu.co.uk Wed Jul 29 16:54:32 2015 From: fuuzetsu at fuuzetsu.co.uk (Mateusz Kowalczyk) Date: Wed, 29 Jul 2015 17:54:32 +0100 Subject: [Haskell] ANNOUNCE: GHC version 7.10.2 In-Reply-To: <8761533ry5.fsf@smart-cactus.org> References: <8761533ry5.fsf@smart-cactus.org> Message-ID: <55B90548.2000708@fuuzetsu.co.uk> On 07/29/2015 04:26 PM, Ben Gamari wrote: > > ===================================================================== > The (Interactive) Glasgow Haskell Compiler -- version 7.10.2 > ===================================================================== > > The GHC Team is pleased to announce a new bug-fix release of GHC, > 7.10.2. > Congratulations! > [snip] > > > How to get it > ~~~~~~~~~~~~~ > > Both binary and source tarballs of GHC itself are available on > the release download page, > > https://www.haskell.org/ghc/download_ghc_7_10_2 I wonder if anyone is a packager for EPEL. Is there a timeline when an RPM can be expected? > [snip] > > Hashes & Signatures > ~~~~~~~~~~~~~~~~~ > > In https://downloads.haskell.org/~ghc/7.10.2/ you will find a signed > copy of the SHA256 hashes for the tarballs, using my GPG key, > > Benjamin Gamari > > Fingerprint: FFEB 7CE8 1E16 A36B 3E2D > ED6F 2DE0 4D4E 97DB 64AD > Thanks! -- Mateusz K. From asr at eafit.edu.co Wed Jul 29 18:15:56 2015 From: asr at eafit.edu.co (=?UTF-8?B?QW5kcsOpcyBTaWNhcmQtUmFtw61yZXo=?=) Date: Wed, 29 Jul 2015 13:15:56 -0500 Subject: [Haskell] ANNOUNCE: GHC version 7.10.2 In-Reply-To: <87vbd32aij.fsf@smart-cactus.org> References: <8761533ry5.fsf@smart-cactus.org> <87vbd32aij.fsf@smart-cactus.org> Message-ID: On 29 July 2015 at 11:28, Ben Gamari wrote: >> FYI, there are various missing *.tar.xz files in the SHA256SUMS file in >> >> http://downloads.haskell.org/~ghc/7.10.2/ >> > I suspect this may be due to the (Content Delivery Network (CDN) caches > being stale. Unfortunately this seems to be a persistent issue. You can > likely fool the CDN by inserting superfluous / characters in the URL > (thanks to Herbert for the tip). For instance, > > http://downloads.haskell.org/~ghc/7.10.2///SHA256SUMS This fixed the issue. Thanks! -- Andr?s From ben at well-typed.com Thu Jul 30 08:18:29 2015 From: ben at well-typed.com (Ben Gamari) Date: Thu, 30 Jul 2015 10:18:29 +0200 Subject: [Haskell] [Haskell-cafe] ANNOUNCE: GHC version 7.10.2 In-Reply-To: References: <8761533ry5.fsf@smart-cactus.org> Message-ID: <87lhdy2h4a.fsf@smart-cactus.org> Mikhail Glushenkov writes: > Hi, > > On 29 July 2015 at 17:26, Ben Gamari wrote: >> [...] >> The full release notes including a complete listing of the changes in >> this release can be found here, >> >> https://downloads.haskell.org/~ghc/7.10.2/docs/html/users_guide/release-7-10-2.html > > This gives me error 404. > I'm not sure what else to say other than to suggest adding superfluous `/` characters to the URL as mentioned previously. The document is there, the CDN just still hasn't realized it. Cheers, - Ben -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 472 bytes Desc: not available URL: From hanssv at gmail.com Thu Jul 30 10:33:38 2015 From: hanssv at gmail.com (Hans Svensson) Date: Thu, 30 Jul 2015 12:33:38 +0200 Subject: [Haskell] Erlang Workshop: Call for participation Message-ID: <55B9FD82.3090708@gmail.com> ==================================================================== CALL FOR PARTICIPATION ACM SIGPLAN Erlang Workshop 2015 Vancouver, Canada 4 September, 2015 http://www.erlang.org/workshop/2015/ ==================================================================== The purpose of the Erlang Workshop is to bring together the open source, academic, and industrial programming communities of Erlang. It provides a forum that enables participants to get the latest updates on recent developments, new techniques and tools tailored to Erlang, novel applications, lessons from users' experiences and current research problems relevant to the practice of Erlang and functional programming. These are the accepted papers and program for this year (they should appear on the website shortly): 09:00 - 09:10 Opening & Welcome 09:10 - 10:00 Invited Keynote: ?Micro services in Erlang? by Eric Merritt 10:00 - 10:30 Coffee Break 10:30 - 11:30 SCALABILITY and DISTRIBUTION SESSION - The Implementation and Use of a Generic Dataflow Behaviour in Erlang by Christopher Meiklejohn and Peter Van Roy - Performance Portability through Semi-explicit Placement in Distributed Erlang by Kenneth MacKenzie, Natalia Chechina and Phil Trinder 11:30 - 11:50 Break 11:50 - 12:20 TESTING SESSION, part 1 - Attribute Grammars in Erlang by Ulf Norell and Alex Gerdes 12:30 - 14:00 Lunch 14:00 - 15:00 TESTING SESSION, part 2 - Smother - An MC/DC analysis tool for Erlang by Ramsay Taylor and John Derrick - Linking Unit Tests and Properties by Alex Gerdes, John Hughes, Nick Smallbone and Meng Wang 15:00 - 15:15 Break 15:15 - 16:30 Discussion on Erlang, distribution, parallelism, concurrency related research projects" 16:30 - 17:00 Coffee Break 17:00 - 17:20 Erlang Latest News 17:20 - 17:30 Farewell & Closing REGISTRATION IS OPEN: https://regmaster4.com/2015conf/ICFP15/register.php Local arrangements (including travel and accommodation): http://www.icfpconference.org/icfp2015/local.html We hope to see you in Vancouver! -- Hans Svensson and Melinda T?th Erlang Workshop 2015 Chairs From ben at well-typed.com Thu Jul 30 12:07:07 2015 From: ben at well-typed.com (Ben Gamari) Date: Thu, 30 Jul 2015 14:07:07 +0200 Subject: [Haskell] ANNOUNCE: GHC version 7.10.2 In-Reply-To: <8761533ry5.fsf@smart-cactus.org> References: <8761533ry5.fsf@smart-cactus.org> Message-ID: <877fph3l3o.fsf@smart-cactus.org> Hello again! See below for an important announcement regarding the `text` issue described earlier. Ben Gamari writes: > ===================================================================== > The (Interactive) Glasgow Haskell Compiler -- version 7.10.2 > ===================================================================== > > The GHC Team is pleased to announce a new bug-fix release of GHC, > 7.10.2. > > There have been a number of significant bug fixes since the 7.10.1 (with > over 70 defects fixed). These include fixes affecting type-checker > correctness, runtime stability, and compiler performance. For this > reason we highly recommend that users of 7.10.1 upgrade quickly. > > Note that due to changes made in this release to GHC's optimizer, > previously fragile-but-working rewrite rules may fail to fire. One > example of this was found in the widely-used `text` package late in the > release cycle, which manifested in long compilation times and poor code > generation for `Text` literals (see [Trac #10528]). Users are advised to > use text >=1.2.1.2 which includes more robust rewrite rules. > It has been brought to my attention that the fix included in text-1.2.1.2 does not in fact fix the rule issues triggered by GHC 7.10.2 (see the later comments on #10528 for details). I have pushed text-1.2.1.3 to Hackage which finally resolves this issue. Users of GHC 7.10.2 should upgrade to text >=1.2.1.3 at their earliest convenience. Cheers, - Ben -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 472 bytes Desc: not available URL: From lel416 at aol.com Thu Jul 30 15:00:28 2015 From: lel416 at aol.com (lel416 at aol.com) Date: Thu, 30 Jul 2015 11:00:28 -0400 Subject: [Haskell] Haskell Message-ID: <5BB43BB1-000B-475A-92D9-92FEA59EA31F@aol.com> Are there still general admission tkts available for Sunday's race. What time is an pharaoh racing Sent from my iPhone From allbery.b at gmail.com Thu Jul 30 16:55:35 2015 From: allbery.b at gmail.com (Brandon Allbery) Date: Thu, 30 Jul 2015 12:55:35 -0400 Subject: [Haskell] [Haskell-cafe] ANNOUNCE: GHC version 7.10.2 In-Reply-To: References: <8761533ry5.fsf@smart-cactus.org> <877fph3l3o.fsf@smart-cactus.org> Message-ID: On Thu, Jul 30, 2015 at 12:52 PM, James M wrote: > There was talk from an earlier email thread of releasing the Haskell > Platform at the same time as 7.10.2. I think the right place to ask this is libraries at haskell.org. I would imagine they're in final testing and/or getting release packages in place. (Note as previously mentioned that "text" was just updated, and the Platform needs that; this presumably means they had to start over making release packages.) -- brandon s allbery kf8nh sine nomine associates allbery.b at gmail.com ballbery at sinenomine.net unix, openafs, kerberos, infrastructure, xmonad http://sinenomine.net -------------- next part -------------- An HTML attachment was scrubbed... URL: From ben at well-typed.com Thu Jul 30 17:04:33 2015 From: ben at well-typed.com (Ben Gamari) Date: Thu, 30 Jul 2015 19:04:33 +0200 Subject: [Haskell] [Haskell-cafe] ANNOUNCE: GHC version 7.10.2 In-Reply-To: References: <8761533ry5.fsf@smart-cactus.org> <877fph3l3o.fsf@smart-cactus.org> Message-ID: <87mvyd1sri.fsf@smart-cactus.org> James M writes: > There was talk from an earlier email thread of releasing the Haskell > Platform at the same time as 7.10.2. > > I am referring to the weekly news of 2015/05/11: > https://ghc.haskell.org/trac/ghc/blog/weekly20150511 > > and this email thread: > https://mail.haskell.org/pipermail/ghc-devs/2015-May/008911.html > > > Was this plan abandoned? Or was there something unexpected that is delaying > it? > Not at all! There ended up being a bit of timing skew between the Platform and GHC releases but an approximately concurrent release is still the plan. The Platform folks are hard at work as we speak, in the final stages of pushing out their release. I expect it will be announced shortly. Unfortunately due to the late notice of the text issue, the initial release will ship with text-1.2.1.1, which is still affected by the rewrite issue. That being said, the impact of this issue is mostly on compile time, in most cases you shouldn't see much impact on runtime performance. Moreover, they will be working to push out another release with text-1.2.1.3 in the coming days. Cheers, - Ben -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 472 bytes Desc: not available URL: From mark.lentczner at gmail.com Thu Jul 30 19:08:19 2015 From: mark.lentczner at gmail.com (Mark Lentczner) Date: Thu, 30 Jul 2015 12:08:19 -0700 Subject: [Haskell] ANNOUNCE: Haskell Platform 7.10.2 Message-ID: Haskellers, we are pleased to announce the release of Haskell Platform 7.10.2 *get it here... * Highlights include: - GHC 7.10.2 - packages & tools bumped to very latest - major package updates to: - attoparsec - case-insensitive - cgi - GLUT, GLURaw, OpenGL, & OpenGLRaw - mtl - network - primitive & vector - QuickCheck - random - syb - text - new website - new installer script for linux - 10 bugs closed: Issues ? haskell/haskell-platform This is our first release concurrent with GHC's release. You'll notice that the version number has changed to reflect that from now on, our aim is to keep HP releases sync'd to GHC releases. *Note:* Haskell Platform download pages are often cached - you may need to hit reload to see the release. *About the last minute update to text package:* *tl;dr: Vast majority of code will never notice the difference. Go ahead and get the HP now and start enjoying 7.10.2 You can always update to the point release when it comes out.* Despite all the testing, GHC central noticed just a day before release that there was a regression with text literals in 7.10.2. It was possible to work around the issue via a change to the text package, and text-1.2.1.3 was released just today. Alas, there wasn't enough time to re-build and test the platform installers between then and now, so this release has text-1.2.1.1. There will be a point release (7.10.2.1) of the Platform this weekend or next with the updated text package. The issue does not result in incorrect code, only slow compilation times for very text literal laden code (as in thousands of literals), and slightly higher one-time construction cost at run-time. In full stack builds and many other test builds, these slow downs were inconsequential. *Windows Notes:* The Haskell Platform on Windows now provides the MSys2 tools. These tools are needed when installing packages that use conf-tools (generally rare). These tools are not automatically placed onto the PATH in order avoid troubles due to MSys2 tools which have the same name as a standard Windows tool (e.g., echo, find, dir). - Mark "release monad" Lentczner Special thanks to Erik Rantappa, Wasif Hasan Baig, & Ben Gamari for the new web site. Randy Polen for Windows build wrangling. -------------- next part -------------- An HTML attachment was scrubbed... URL: From canslow at ucalgary.ca Fri Jul 31 07:47:49 2015 From: canslow at ucalgary.ca (Craig Anslow) Date: Fri, 31 Jul 2015 07:47:49 +0000 Subject: [Haskell] SPLASH 2015 - Call for Student Volunteers Message-ID: /************************************************************************************/ ACM Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH'15) Pittsburgh, Pennsylvania, USA 25th-30th October, 2015 http://www.splashcon.org Sponsored by ACM SIGPLAN /************************************************************************************/ Call for Student Volunteers /************************************************************************************/ The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) embraces all aspects of software construction and delivery to make it the premier conference at the intersection of programming, languages, and software engineering. SPLASH is now accepting submissions. We invite high quality submissions describing original and unpublished work. ** Student Volunteers ** The SPLASH Student Volunteer program provides an opportunity for students from around the world to associate with some of the leading personalities in industry and research in the following areas: programming languages, object-oriented technology and software development. Student volunteers contribute to the smooth running of the conference by performing tasks such as: assisting with registration, providing information about the conference to attendees, assisting session organizers and monitoring sessions. Applications Due: 7 August, 2015 http://2015.splashcon.org/track/splash2015-sv Student Volunteer Co-Chairs: Jonathan Bell (Columbia University) and Daco Harkes (TU Delft) Information: SPLASH Early Registration Deadline: 25 September, 2015 Contact: info at splashcon.org Website: http://2015.splashcon.org Location: Sheraton Station Square Hotel Pittsburgh, Pennsylvania, United States Organization: SPLASH General Chair: Jonathan Aldrich (Carnegie Mellon University) OOPSLA Papers Chair: Patrick Eugster (Purdue University) Onward! Papers Chair: Gail Murphy (University of British Columbia) Onward! Essays Chair: Guy Steele (Oracle Labs) DLS Papers Chair: Manuel Serrano (INRIA) Artifact Evaluation Co-Chairs: Robby Findler (Northwestern University) and Michael Hind (IBM Research) Demos Co-Chairs: Igor Peshansky (Google) and Pietro Ferrara (IBM Research) Inspirations Co-Chairs: Darya Kurilova (Carnegie Mellon University), Zach Tatlock (University of Washington), and Crista Lopes (UC Irvine) Local Arrangements Chair: Claire Le Goues (Carnegie Mellon University) Posters Chair: Nick Sumner (Simon Fraser University) Publications Chair: Alex Potanin (Victoria University of Wellington) Publicity and Web Co-Chairs: Craig Anslow (University of Calgary) and Tijs van der Storm (CWI) SPLASH-E Chair: Eli Tilevich (Virginia Tech) SPLASH-I Co-Chairs: Tijs van der Storm (CWI) and Jan Vitek (Northeastern University) Sponsorship Chair: Tony Hosking (Purdue University) Student Research Competition Co-Chairs: Sam Guyer (Tufts University) and Patrick Lam (University of Waterloo) Student Volunteer Co-Chairs: Jonathan Bell (Columbia University) and Daco Harkes (TU Delft) Wavefront Co-Chairs: Dennis Mancl (Alcatel-Lucent) Web Technology Chair: Eelco Visser (TU Delft) Workshops Co-Chairs: Du Li (Carnegie Mellon University) and Jan Rellermeyer (IBM Research) SLE General Chair: Richard Paige, University of York GPCE General Chair: Christian K?stner, Carnegie Mellon University PLoP General Chair: Filipe Correia, University of Porto /************************************************************************************/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From svenpanne at gmail.com Fri Jul 31 14:45:38 2015 From: svenpanne at gmail.com (Sven Panne) Date: Fri, 31 Jul 2015 16:45:38 +0200 Subject: [Haskell] ANNOUNCE: Haskell Platform 7.10.2 In-Reply-To: References: Message-ID: 2015-07-30 21:08 GMT+02:00 Mark Lentczner : > Haskellers, we are pleased to announce the release of > > Haskell Platform 7.10.2 > *get it here... * > [...] > Nice! I've just tested things under Windows, and everything works for me so far, only one tiny nit remains: In the documentation index (file:///.../Haskell%20Platform/7.10.2/lib/extralibs/doc/index.html) package names for the non-GHC packages are still missing in the right column, see attached picture. I'm not sure if this is a glitch in the HP build or a bug in Cabal or a bug in Haddock or..., so I don't know where to open an issue. Does anybody have a clue what might cause this? If I build packages locally in a sandbox, their documentation shows similar bugs. Is this working for other people or do they experience the same behavior? Nevertheless, great work! Cheers, S. -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: hp7102.png Type: image/png Size: 95281 bytes Desc: not available URL: From svenpanne at gmail.com Fri Jul 31 16:33:00 2015 From: svenpanne at gmail.com (Sven Panne) Date: Fri, 31 Jul 2015 18:33:00 +0200 Subject: [Haskell] ANNOUNCE: Haskell Platform 7.10.2 In-Reply-To: References: Message-ID: [ re-posted with a link instead of an attachment, the mail size limit seems to be a bit small on some lists... ] 2015-07-30 21:08 GMT+02:00 Mark Lentczner : > Haskellers, we are pleased to announce the release of > > Haskell Platform 7.10.2 > *get it here... * > [...] > Nice! I've just tested things under Windows, and everything works for me so far, only one tiny nit remains: In the documentation index (file:///.../Haskell%20Platform/7.10.2/lib/extralibs/doc/index.html) package names for the non-GHC packages are still missing in the right column, see http://i.imgur.com/jh0u8EP.png. I'm not sure if this is a glitch in the HP build or a bug in Cabal or a bug in Haddock or..., so I don't know where to open an issue. Does anybody have a clue what might cause this? If I build packages locally in a sandbox, their documentation shows similar bugs. Is this working for other people or do they experience the same behavior? Nevertheless, great work! Cheers, S. -------------- next part -------------- An HTML attachment was scrubbed... URL: