From frantisek at farka.eu Thu Oct 6 10:17:57 2016 From: frantisek at farka.eu (=?utf-8?Q?Franti=C5=A1ek?= Farka) Date: Thu, 6 Oct 2016 11:17:57 +0100 Subject: [Haskell] Reminder: Workshop on Coalgebra, Horn Clause Logic, and Types Message-ID: <20161006101757.GA1938@farka.eu> Reminder: Call for Papers, Presentations and Participation Workshop on Coalgebra, Horn Clause Logic Programming and Types 28-29 November 2016, Edinburgh, UK https://ff32.host.cs.st-andrews.ac.uk/coalpty16/ Abstract submission: 15 October, 2016 Registration deadline: 1 November, 2016 ==================================================== Objectives and scope ------------------- The workshop marks the end of the EPSRC Grant Coalgebraic Logic Programming for Type Inference, by K. Komendantskaya and J. Power and will consist of two parts: Part 1 - Semantics: Lawvere theories and Coalgebra in Logic and Functional Programming Part 2 - Programming languages: Horn Clause Logic for Type Inference in Functional Languages and Beyond We invite all colleagues working in related areas to present and share their results. We envisage a friendly meeting with many stimulating discussions, and therefore welcome presentations of already published research as well as novel results. Authors of original contributions will be invited to submit their papers to EPTCS post-proceedings. We especially encourage early career researchers to present and participate. Venue ----- The workshop will be held at the International Center for Mathematical Sciences, in Edinburgh city center, just 2 minutes walk from the Informatics Forum. Invited speakers and tutorials ------------------------------ Theory: * Logic programming: laxness and saturation John Power, University of Bath, UK * Comodels and interaction Tarmo Uustalu, Tallinn University of Technology, Estonia. * Refinement Types and Higher-Order Constrained Horn Clauses Steven Ramsay and Luke Ong, University of Oxford, UK Applications and Implementations: * Abstract compilation for type analysis of OO languages Davide Ancona, University of Genoa, Italy * Classes for the masses Claudio Russo, Microsoft Research Cambridge, UK * Relational specification of type systems using Logic Programming Ki Yung Ahn, Nanyang Technological University, Singapore Proceedings publication ----------------------- Presentations: We invite submission of 2-page extended abstracts via Easychair, by the 15th October 2016. These will be subject to light review process. Preliminary proceedings will be made available at the conference in electronic form. Post-proceedings: Authors presenting original work will be invited to submit full papers to the post-proceedings of the workshop. The post-proceedings volume will be published in Electronic Proceedings in Theoretical Computer Science and peer-reviewed according to EPTCS standards by the PC members. Important dates --------------- Extended Abstract Submission: 15 October, 2016 Author notification: 25 October, 2016 Workshop registration: 1 November, 2016 Workshop: 28–29 November, 2016 EPTCS proceedings invitations: 15 December, 2016 EPTCS final version submission: 30 January, 2017 Programme committee ------------------- Ki Yung Ahn, Nanyang Technological University, Singapore Davide Ancona, University of Genoa, Italy Filippo Bonchi, CNRS, ENS de Lyon, France Iavor Diatchki, Galois, Inc, USA Peng Fu, Heriot-Watt University, Edinburgh, UK Neil Ghani, University of Strathclyde, UK Patricia Johann, Appalachian State University, USA Ekaterina Komendantskaya, Heriot-Watt University, Edinburgh, UK Clemens Kupke, University of Strathclyde, UK J. Garrett Morris, University of Edinburgh, UK Fredrik Nordvall Forsberg, University of Strathclyde, UK John Power, University of Bath, UK Claudio Russo, Microsoft Research Cambridge, UK Martin Schmidt, DHBW Stuttgart and Osnabrück University , Germany Stephan Schulz, DHBW Stuttgart, Germany Aaron Stump, The University of Iowa, USA Niki Vazou, University of California, San Diego, USA Joe Wells, Heriot-Watt University, Edinburgh, UK Fabio Zanasi, Radboud University of Nijmegen, The Netherlands Workshop chairs -------- Ekaterina Komendantskaya, Heriot-Watt University, UK John Power, University of Bath, UK Publicity chair --------------- František Farka, University of Dundee, UK and University of St Andrews, UK -- František Farka From tarmo at cs.ioc.ee Fri Oct 7 09:47:47 2016 From: tarmo at cs.ioc.ee (Tarmo Uustalu) Date: Fri, 7 Oct 2016 12:47:47 +0300 (EEST) Subject: [Haskell] ETAPS 2017 final call for papers Message-ID: ****************************************************************** JOINT CALL FOR PAPERS 20th European Joint Conferences on Theory And Practice of Software ETAPS 2017 Uppsala, Sweden, 22-29 April 2017 http://www.etaps.org/2017 ****************************************************************** -- ABOUT ETAPS -- ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of five main annual conferences, accompanied by satellite workshops. ETAPS 2017 is the twentieth event in the series. -- MAIN CONFERENCES (24-28 April) -- * ESOP: European Symposium on Programming (PC chair Hongseok Yang, University of Oxford, UK) * FASE: Fundamental Approaches to Software Engineering (PC chairs Marieke Huisman, Universiteit Twente, The Netherlands, and Julia Rubin, University of British Columbia, Canada) * FoSSaCS: Foundations of Software Science and Computation Structures (PC chairs Javier Esparza, Technische Universität München, Germany, Andrzej Murawski, University of Warwick, UK) * POST: Principles of Security and Trust (PC chairs Matteo Maffei, Universität des Saarlandes, Germany, Mark D. Ryan, University of Birmingham, UK) * TACAS: Tools and Algorithms for the Construction and Analysis of Systems (PC chairs Axel Legay, INRIA Rennes, France, and Tiziana Margaria, LERO, Ireland) TACAS '17 hosts the 6th Competition on Software Verification (SV-COMP). -- INVITED SPEAKERS -- * Unifying speakers: Michael Ernst (University of Washington, USA) Kim G. Larsen (Aalborg University, DK) * FoSSaCS invited speaker: Joel Ouaknine (University of Oxford, UK) * TACAS invited speaker: Dino Distefano (Facebook and Queen Mary University of London, UK) -- IMPORTANT DATES -- * Abstracts due (ESOP, FASE, FoSSaCS, TACAS): 14 October 2016 * Papers due: 21 October 2016 * Rebuttal (ESOP and FoSSaCS only): 7-9 December 2016 * Notification: 22 December 2016 * Camera-ready versions due: 20 January 2017 -- SUBMISSION INSTRUCTIONS -- ETAPS conferences accept two types of contributions: research papers and tool demonstration papers. Both types will appear in the proceedings and have presentations during the conference. ESOP and FoSSaCS accept only research papers. A condition of submission is that, if the submission is accepted, one of the authors attends the conference to give the presentation. Submitted papers must be in English presenting original research. They must be unpublished and not submitted for publication elsewhere (this does not apply to abstracts). In particular, simultaneous submission of the same contribution to multiple ETAPS conferences is forbidden. The proceedings will be published in the Advanced Research in Computing and Software Science (ARCoSS) subline of Springer's Lecture Notes in Computer Science series. Papers must follow the formatting guidelines specified by Springer at the URL http://www.springer.de/comp/lncs/authors.html and be submitted electronically in pdf through the EasyChair author interface of the respective conference. Submissions not adhering to the specified format and length may be rejected immediately. FASE will use a light-weight double-blind review process (see http://www.etaps.org/2017/fase). - Research papers FASE, FoSSaCS and TACAS have a page limit of 15 pp (excluding bibliography of max 2 pp) for research papers, whereas POST allows at most 20 pp (excluding bibliography of max 2 pp) and ESOP 25 pp (excluding bibliography of max 2 pp). Additional material intended for the referees but not for publication in the final version - for example, details of proofs - may be placed in a clearly marked appendix that is not included in the page limit. ETAPS referees are at liberty to ignore appendices and papers must be understandable without them. In addition to regular research papers, TACAS solicits also case study papers (at most 15 pp, excluding bibliography of max 2 pp). Both TACAS and FASE solicit also regular tool papers (at most 15 pp, excluding bibliography of max 2 pp). The rationale of a separate page limit for the bibliography is to remove the possibility to win space for the body of a paper by cutting the bibliography, a practise that has a negative effect on our competitiveness as a community. - Tool demonstration papers Submissions should consist of two parts: * The first part, at most 4 pages, should describe the tool presented. Please include the URL of the tool (if available) and provide information that illustrates the maturity and robustness of the tool. (This part will be included in the proceedings.) * The second part, at most 6 pages, should explain how the demonstration will be carried out and what it will show, including screen dumps and examples. (This part will be not be included in the proceedings, but will be evaluated. ESOP and FoSSaCS do not accept tool demonstration papers. TACAS has a page limit of 6 pages for tool demonstrations. -- SATELLITE EVENTS (22-23 April, 29 April) -- The following satellite workshops will take place before and after the main conferences: BX, CREST, DICE-FOPARA, FESCA, GALOP, GaM, HotSpot, LiVe, MARS, MBT, PLACES, QAPL, SannellaFest, SNR, SynCoP-PV, VerifyThis, VPT. -- HOST CITY -- Uppsala city holds a rich history, having for long periods been the political, religious and academic centre of Sweden. Uppsala University is over 500 years old and ranked among the top 100 in the World and has hosted many great scientists over the years, for instance Carl von Linné, Anders Celsius and Anders Jonas Ångström. The proximity to the capital of Sweden, Stockholm, provides additional benefits as a potential site for arranging both pre- and post congress tours, as well as for excursions or tourism. -- HOST INSTITUTION -- ETAPS 2017 is hosted by the Department of Information Technology, Uppsala University. -- ORGANIZERS Parosh Abdulla (General chair), Mohamed Faouzi Atig, Andreina Francisco, Kaj Lampka, Philipp Rümmer, Konstantinos Sagonas, Björn Victor, Wang Yi, Tjark Weber, Yunyun Zhu -- FURTHER INFORMATION -- Please do not hesitate to contact the organizers at parosh.abdulla at it.uu.se, mohamed_faouzi.atig at it.uu.se From mihai.maruseac at gmail.com Sun Oct 9 21:13:10 2016 From: mihai.maruseac at gmail.com (Mihai Maruseac) Date: Sun, 9 Oct 2016 14:13:10 -0700 Subject: [Haskell] Call for Contributions - Haskell Communities and Activities Report, November 2016 edition (31th edition) Message-ID: Dear all, We would like to collect contributions for the 31th edition of the ============================================================ Haskell Communities & Activities Report http://www.haskell.org/haskellwiki/Haskell_Communities_and_Activities_Report Submission deadline: 30 October 2016 (please send your contributions to hcar at haskell.org, in plain text or LaTeX format, both are equally accepted) ============================================================ This is the short story: * If you are working on any project that is in some way related to Haskell, please write a short entry and submit it. Even if the project is very small or unfinished or you think it is not important enough --- please reconsider and submit an entry anyway! * If you are interested in an existing project related to Haskell that has not previously been mentioned in the HCAR, please tell us, so that we can contact the project leaders and ask them to submit an entry. * If you are working on a project that is looking for contributors, please write a short entry and submit it, mentioning that your are looking for contributors. * Feel free to pass on this call for contributions to others that might be interested. More detailed information: The Haskell Communities & Activities Report is a bi-annual overview of the state of Haskell as well as Haskell-related projects over the last, and possibly the upcoming six months. If you have only recently been exposed to Haskell, it might be a good idea to browse the previous edition --- you will find interesting projects described as well as several starting points and links that may provide answers to many questions. Contributions will be collected until the submission deadline. They will then be compiled into a coherent report that is published online as soon as it is ready. As always, this is a great opportunity to update your webpages, make new releases, announce or even start new projects, or to talk about developments you want every Haskeller to know about! Looking forward to your contributions, Mihai Maruseac FAQ: Q: What format should I write in? A: The usual format is a LaTeX source file, adhering to the template that is available at: http://haskell.org/communities/11-2016/template.tex There is also a LaTeX style file at http://haskell.org/communities/11-2016/hcar.sty that you can use to preview your entry. If you do not know LaTeX or don't want to use it or don't have time to translate your entry into it, then please use plain text, it is better to have an entry in plain-text which we will translate than not have it at all. If you modify an old entry that you have written for an earlier edition of the report, you should soon receive your old entry as a template (provided we have your valid email address). Please modify that template, rather than using your own version of the old entry as a template. Q: Can I include Haskell code? A: Yes. Please use lhs2tex syntax (http://www.andres-loeh.de/lhs2tex/). The report is compiled in mode polycode.fmt. Q: Can I include images? A: Yes, you are even encouraged to do so. Please use .jpg or .png format, then. PNG is preferred for simplicity. Q: Should I send files in .zip archives or similar? A: No, plain file attachments are the way. Q: How much should I write? A: Authors are asked to limit entries to about one column of text. A general introduction is helpful. Apart from that, you should focus on recent or upcoming developments. Pointers to online content can be given for more comprehensive or "historic" overviews of a project. Images do not count towards the length limit, so you may want to use this opportunity to pep up entries. There is no minimum length of an entry! The report aims for being as complete as possible, so please consider writing an entry, even if it is only a few lines long. Q: Which topics are relevant? A: All topics which are related to Haskell in some way are relevant. We usually had reports from users of Haskell (private, academic, or commercial), from authors or contributors to projects related to Haskell, from people working on the Haskell language, libraries, on language extensions or variants. We also like reports about distributions of Haskell software, Haskell infrastructure, books and tutorials on Haskell. Reports on past and upcoming events related to Haskell are also relevant. Finally, there might be new topics we do not even think about. As a rule of thumb: if in doubt, then it probably is relevant and has a place in the HCAR. You can also simply ask us. Q: Is unfinished work relevant? Are ideas for projects relevant? A: Yes! You can use the HCAR to talk about projects you are currently working on. You can use it to look for other developers that might help you. You can use HCAR to ask for more contributors to your project, it is a good way to gain visibility and traction. Q: If I do not update my entry, but want to keep it in the report, what should I do? A: Tell us that there are no changes. The old entry will typically be reused in this case, but it might be dropped if it is older than a year, to give more room and more attention to projects that change a lot. Do not resend complete entries if you have not changed them. Q: Will I get confirmation if I send an entry? How do I know whether my email has even reached its destination, and not ended up in a spam folder? A: Prior to publication of the final report, we will send a draft to all contributors, for possible corrections. So if you do not hear from us within two weeks after the deadline, it is safer to send another mail and check whether your first one was received. -- Mihai Maruseac (MM) "If you can't solve a problem, then there's an easier problem you can solve: find it." -- George Polya From Graham.Hutton at nottingham.ac.uk Mon Oct 10 12:40:57 2016 From: Graham.Hutton at nottingham.ac.uk (Graham Hutton) Date: Mon, 10 Oct 2016 12:40:57 +0000 Subject: [Haskell] Journal of Functional Programming - Call for PhD Abstracts Message-ID: <7A887261-086A-4502-A45C-131CBECD75AC@nottingham.ac.uk> If you or one of your students recently completed a PhD in the area of functional programming, please submit the dissertation abstract for publication in JFP: simple process, no refereeing, deadline 31st October 2016. Many thanks, Graham ============================================================ CALL FOR PHD ABSTRACTS Journal of Functional Programming Deadline: 31st October 2016 http://tinyurl.com/jfp-phd-abstracts ============================================================ PREAMBLE: Many students complete PhDs in functional programming each year. As a service to the community, the Journal of Functional Programming publishes the abstracts from PhD dissertations completed during the previous year. The abstracts are made freely available on the JFP website, i.e. not behind any paywall. They do not require any transfer of copyright, merely a license from the author. A dissertation is eligible for inclusion if parts of it have or could have appeared in JFP, that is, if it is in the general area of functional programming. The abstracts are not reviewed. Please submit dissertation abstracts according to the instructions below. We welcome submissions from both the PhD student and PhD advisor/supervisor although we encourage them to coordinate. ============================================================ SUBMISSION: Please submit the following information to Graham Hutton by 31st October 2016. o Dissertation title: (including any subtitle) o Student: (full name) o Awarding institution: (full name and country) o Date of PhD award: (month and year; depending on the institution, this may be the date of the viva, corrections being approved, graduation ceremony, or otherwise) o Advisor/supervisor: (full names) o Dissertation URL: (please provide a permanently accessible link to the dissertation if you have one, such as to an institutional repository or other public archive; links to personal web pages should be considered a last resort) o Dissertation abstract: (plain text, maximum 1000 words; you may use \emph{...} for emphasis, but we prefer no other markup or formatting in the abstract, but do get in touch if this causes significant problems) Please do not submit a copy of the dissertation itself, as this is not required. JFP reserves the right to decline to publish abstracts that are not deemed appropriate. ============================================================ PHD ABSTRACT EDITOR: Graham Hutton School of Computer Science University of Nottingham Nottingham NG8 1BB United Kingdom ============================================================ This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please send it back to me, and immediately delete it. Please do not use, copy or disclose the information contained in this message or in any attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. This message has been checked for viruses but the contents of an attachment may still contain software viruses which could damage your computer system, you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation. From bob.atkey at gmail.com Mon Oct 10 15:22:01 2016 From: bob.atkey at gmail.com (Robert Atkey) Date: Mon, 10 Oct 2016 16:22:01 +0100 Subject: [Haskell] Off the Beaten Track 2017: Call for Talk Proposals Message-ID: <652cdc93-6f81-a2eb-824e-b53f9c5b28df@gmail.com> # Call for Talk Proposals: Off the Beaten Track 2017 http://conf.researchr.org/track/POPL-2017/OBT-2017 21st January 2017 (co-located with POPL 2017, Paris, France) ## Background Programming language researchers have the principles, tools, algorithms and abstractions to solve all kinds of problems, in all areas of computer science. However, identifying and evaluating new problems, particularly those that lie outside the typical core PL problems we all know and love, can be a significant challenge. This workshop’s goal is to identify and discuss problems that do not often show up in our top conferences, but where programming language research can make a substantial impact. We hope fora like this will increase the diversity of problems that are studied by PL researchers and thus increase our community’s impact on the world. While many workshops associated with POPL have become more like mini-conferences themselves, this is an anti-goal for OBT. The workshop will be informal and structured to encourage discussion. We are at least as interested in problems as in solutions. ## Scope A good submission is one that outlines a new problem or an interesting, underrepresented problem domain. Good submissions may also remind the PL community of problems that were once in vogue but have not recently been seen in top PL conferences. Good submissions do not need to propose complete or even partial solutions, though there should be some reason to believe that programming languages researchers have the tools necessary to search for solutions in the area at hand. Submissions that seem likely to stimulate discussion about the direction of programming language research are encouraged. Use your imagination. It's hard to imagine how a paper that discusses programming languages could be considered out of scope. If in doubt, ask the program chair. ## Previous OBTs 2017 marks the sixth year of OBT and its co-location with POPL. The previous five workshops were: - OBT 2016, St. Petersburg, USA - OBT 2015, Mumbai, India - OBT 2014, San Diego, USA - OBT 2013, Rome, Italy - OBT 2012, Philadelphia, USA ## Important Dates * 10th November 2016: Submission deadline * 8th December 2016: Notification * (18th December 2016: POPL early registration) * 21st January 2017: Workshop ## Submission Please submit your talk proposal via EasyChair: https://easychair.org/conferences/?conf=obt2017 All submissions should be in PDF format, two pages or less, in at least 10pt font, printable on A4 and on US Letter paper. Authors are welcome to include links to multimedia content such as YouTube videos or online demos. Reviewers may or may not view linked documents; it is up to authors to convince the reviewers to do so. For each accepted submission, one of the authors will give a talk at the workshop. The length of the talk will depend on the submissions received and how the program committee decides to assemble the program. Reviewing of submissions will be very light. Authors should not expect a detailed analysis of their submission by the program committee. Accepted submissions will be posted as is on this web site. By submitting a document, you agree that if it is accepted, it may be posted and you agree that one of the co-authors will attend the workshop and give a talk there. There will be no revision process and no formal publication. ## Organisers General chair: - Lindsey Kuper, Intel Labs, USA Programme chair: - Robert Atkey, University of Strathclyde, UK Programme committee: - Ekaterina Komendantskaya, Heriot-Watt University, UK - Chris Martens, North Carolina State University, USA - Tomas Petricek, University of Cambridge, UK - Wren Romano, Google Inc., USA - Mary Sheeran, Chalmers University of Technology, Sweden - KC Sivaramakrishnan, University of Cambridge, UK - Wouter Swierstra, Utrecht University, Netherlands From lcastro at udc.es Tue Oct 11 16:51:18 2016 From: lcastro at udc.es (Laura M. Castro) Date: Tue, 11 Oct 2016 18:51:18 +0200 Subject: [Haskell] [ANN] [Eurocast 2017] Call for papers Message-ID: Hello all, This year's edition of the EUROCAST International Conference, held biennially in Las Palmas de Gran Canaria (Spain), features a new workshop on "Functional concurrency and distribution". If you or someone you know are working on a project that could show the EUROCAST attendance the power of functional programming, please consider submitting a 2-page abstract before OCTOBER 31st. If there's a local user group in your area that wouldn't mind receiving a copy of this call for papers, I would be grateful if you would forward this announcement. Details about the CFP and submission are to be found at: http://eurocast2017.fulp.ulpgc.es, and the description of the workshop is as follows: "The prominence of concurrent implementations and distributed deployments of software systems in all business areas is undeniable, and with the formulation of the 'Internet of Things' it is reaching massive dimensions. At the same time, the functional paradigm is gaining specific weight, and languages such as Erlang, Haskell, Elixir, Scala/Akka, Clojure... are increasing their popularity enormously. This situation provides new opportunities to evaluate the implementation of concurrent and distributed systems at a very large scale, and suggest new problems for the research community to solve. We encourage submissions related to actor-model concurrency, coming from any member of the functional programming community. We encourage submissions with academic significance and research relevance, but also with an industrial background, such as experience reports. We aim attendees to engage in presentations and discussions that will expose them to recent developments on research problems, new techniques and tools, novel applications, and lessons from users' experiences, as well as common areas relevant to the practice of functional concurrent and distributed programming." Thanks for your time and apologies if you receive this more than once! -- Laura M. Castro Universidade da Coruña http://www.madsgroup.org/staff/laura From dimitris at microsoft.com Fri Oct 14 15:35:28 2016 From: dimitris at microsoft.com (Dimitrios Vytiniotis) Date: Fri, 14 Oct 2016 15:35:28 +0000 Subject: [Haskell] Call for Scholarship Applications: PLMW at POPL 2017 - Deadline October 23 Message-ID: [Apologies for multiple copies, scholarship application deadline in less than 10 days] >>>>>>>>>> CALL FOR SCHOLARSHIP APPLICATIONS (Deadline: October 23!) ACM SIGPLAN Programming Languages Mentoring Workshop, Paris, France Tuesday, January 17, 2017 Co-located with POPL 2017 PLMW web page: http://conf.researchr.org/track/POPL-2017/PLMW-2017 After the resounding success of the first five Programming Languages Mentoring Workshops at POPL 2012-2016 we proudly announce the 2017 SIGPLAN Programming Languages Mentoring Workshop (PLMW), co-located with POPL 2017 and organised by Loris D'Antoni, Eva Darulova, Alexandra Silva, and Dimitrios Vytiniotis. The purpose of this mentoring workshop is to encourage graduate students and senior undergraduate students to pursue careers in programming language research. This workshop will bring together world leaders in programming languages research and teaching from academia and industry to provide (a) technical sessions on cutting-edge PL research and (b) mentoring sessions on how to prepare for a research career. The workshop will engage students in a process of imagining how they might contribute to our research community. We especially encourage women, underrepresented minority students, and people with disabilities to attend PLMW. This workshop is part of the activities surrounding POPL, the Symposium on Principles of Programming Languages, and takes place the day before the main conference. One goal of the workshop is to make the POPL conference more accessible to newcomers. We hope that participants will stay through the entire conference. A number of sponsors (listed below) have generously donated scholarship funds for qualified students to attend PLMW. These scholarships should cover reasonable expenses (airfare, hotel, and registration fees) for attendance at both the workshop and the POPL conference. Students attending this year will get one year free student membership of SIGPLAN, unless they prefer to opt out during their application. The workshop registration is open to all. Students with alternative sources of funding are welcome as well. APPLICATION for PLMW scholarship: The scholarship application can be accessed from the workshop web site. http://conf.researchr.org/track/POPL-2017/PLMW-2017#Scholarship-applications The deadline for full consideration of funding is SUNDAY, OCTOBER 23. Selected participants will be notified by NOVEMBER 20 or earlier. Confirmed sponsors so far: NSF ACM SIGPLAN Amazon An Anonymous Donor Jane Street Capital Microsoft From harendra.kumar at gmail.com Mon Oct 17 09:24:04 2016 From: harendra.kumar at gmail.com (Harendra Kumar) Date: Mon, 17 Oct 2016 14:54:04 +0530 Subject: [Haskell] [ANN] xls-0.1.0 Parse MS Excel spreadsheets Message-ID: I have uploaded the xls package [1] on Hackage [2]. It works pretty well for the basic use case of parsing all sheets in a single stream of rows composed of cells. The cell values are presented as plain strings i.e. no data type based interpretation. Such stuff can be added if required, it is supported by the underlying C library (libxls). One thing that I would like to have added to the API is a way to list all sheets and select sheets to parse in a workbook. It should be pretty easy to do if anyone wants to do it. 1. https://github.com/harendra-kumar/xls 2. https://hackage.haskell.org/package/xls -harendra -------------- next part -------------- An HTML attachment was scrubbed... URL: From tmoldere at vub.ac.be Mon Oct 17 09:35:49 2016 From: tmoldere at vub.ac.be (Tim Molderez) Date: Mon, 17 Oct 2016 11:35:49 +0200 Subject: [Haskell] 2017: Call for papers Message-ID: <6aca3df2-c46e-27ce-58a4-fb8b3fa6949c@vub.ac.be> 2017 : The Art, Science, and Engineering of Programming April 3-6, 2017, Brussels, Belgium http://2017.programming-conference.org We started a new conference and journal focused on everything to do with programming, including the experience of programming. We call the conference for short. Paper submissions and publications are handled by the journal. Accepted papers must be presented at the conference. ******************************************************** CALL FOR PAPERS ******************************************************** 2017 accept scholarly papers including essays that advance the knowledge of programming. Almost anything about programming is in scope, but in each case there should be a clear relevance to the act and experience of programming. PAPER SUBMISSIONS: December 1, 2016 We accept submissions covering several areas of expertise. These areas include, but are not limited to: • General-purpose programming • Distributed systems programming • Parallel and multi-core programming • Graphics and GPU programming • Security programming • User interface programming • Database programming • Visual and live programming • Data mining and machine learning programming • Interpreters, virtual machines and compilers • Modularity and separation of concerns • Model-based development • Metaprogramming and reflection • Testing and debugging • Program verification • Programming education • Programming environments • Social coding ******************************************************** CALL FOR WORKSHOP PROPOSALS ******************************************************** To build a community and to foster an environment where participants can exchange ideas and experiences related to practical software development, ‹Programming› will host a number of workshops, during the days before the main conference. The workshops will provide a collaborative forum to exchange recent and/or preliminary results, to conduct intensive discussions on a particular topic, or to coordinate efforts between representatives of a technical community. They are intended as a forum for lively discussion of innovative ideas, recent progress, or practical experience on programming and applied software development in general for specific aspects, specific problems, or domain-specific needs. We also encourage practical, hands-on workshops in which participants actually experience one or several aspects of practical software development. WORKSHOP PROPOSAL SUBMISSIONS: November 15, 2016 The duration of workshops is in general one day, but we encourage the submission of half-day workshop proposals on focused topics as well. In exceptional situations, e.g., for workshops that involve actual practice of programming-related activities, workshop organizers can request a 2 day workshop slot. If desired, the workshop proceedings can be published in the ACM Digital Library. ******************************************************** IMPORTANT DATES ******************************************************** Research paper submissions: December 1, 2016 Research paper first notifications: February 1, 2017 Research paper final notifications: March 7, 2017 Workshop proposals: November 15, 2016 PX 2017 workshop submissions: January 15, 2017 Poster abstract submissions: January 16, 2017 ******************************************************** ORGANIZATION ******************************************************** General Chair: Theo D'Hondt, Vrije Universiteit Brussel Local Organizing Chair: Wolfgang De Meuter, Vrije Universiteit Brussel Program Chair: Crista V. Lopes, University of California, Irvine Organizing Committee: Jörg Kienzle (workshops), McGill University Hidehiko Masuhara (demos), Tokyo Institute of Technology Ralf Lämmel (contest), University of Koblenz-Landau Jennifer Sartor (posters), Vrije Universiteit Brussel Tobias Pape (web technology), HPI - University of Potsdam Tim Molderez (publicity), Vrije Universiteit Brussel Program Committee: Andrew Black, Portland State University Shigeru Chiba, University of Tokyo Yvonne Coady, University of Victoria Robby Findler, Northwestern University Lidia Fuentes, Universidad de Málaga Richard Gabriel, IBM Research Elisa Gonzalez Boix, Vrije Universiteit Brussel Jeff Gray, University of Alabama Robert Hirschfeld, HPI - University of Potsdam Roberto Ierusalimschy, Pontifícia Universidade Católica do Rio de Janeiro Jörg Kienzle, McGill University Hidehiko Masuhara, Tokyo Institute of Technology Sasa Misailovic, University of Illinois at Urbana-Champaign Guido Salvaneschi, Technische Universität Darmstadt Mario Südholt, Ecole des mines de Nantes Jurgen Vinju, Centrum Wiskunde & Informatica Tijs van der Storm, Centrum Wiskunde & Informatica ******************************************************** 2017 is kindly supported by: ACM in-cooperation ACM SIGPLAN in-cooperation ACM SIGSOFT in-cooperation AOSA Vrije Universiteit Brussel ******************************************************** For more information, visit http://2017.programming-conference.org From apfelmus at quantentunnel.de Mon Oct 17 13:27:19 2016 From: apfelmus at quantentunnel.de (Heinrich Apfelmus) Date: Mon, 17 Oct 2016 15:27:19 +0200 Subject: [Haskell] [ANN] HyperHaskell -- the strongly hyped Haskell interpreter Message-ID: Dear all, it is my pleasure to announce the first release of HyperHaskell the strongly hyped Haskell interpreter version 0.1.0.0 ! It is open source and available on Github, where you can also find screenshots and further information about installation: https://github.com/HeinrichApfelmus/hyper-haskell HyperHaskell is a graphical Haskell interpreter (REPL), not unlike GHCi, but hopefully more awesome. You use worksheets to enter expressions and evaluate them. Results are displayed using HTML. HyperHaskell is cross-platform and should run on Linux, Mac and Windows. That said, the binary distribution is currently only built for Mac. Help is appreciated! This is a very first release. Basic features are working, but there is plenty of room to grow. Please send me any feedback, suggestions, bug reports, contributions ... that you might have! The long term goal of HyperHaskell is to break the boundaries between textual programming ("verbal language") and visual input ("nonverbal language"). This includes graphical output, but also editing code while it's running ("live coding", planned) and interactive output (e.g. "tangible values", planned). This territory is still largely uncharted from a purely functional perspective, probably due to a lack of easily installed graphical facilities. It is my hope that HyperHaskell may provide a common ground for exploration and experimentation in this direction. Related projects that I know of: * IHaskell - https://github.com/gibiansky/IHaskell * Haskell for Mac - http://haskellformac.com/ Unfortunately, the first has a reputation for being difficult to install, and the second is partially proprietary and Mac only. Hence this new effort. Best regards, Heinrich Apfelmus -- http://apfelmus.nfshost.com From russo at chalmers.se Tue Oct 18 09:27:54 2016 From: russo at chalmers.se (Alejandro Russo) Date: Tue, 18 Oct 2016 09:27:54 +0000 Subject: [Haskell] 2 PhD student positions on securing systems using Haskell Message-ID: [Our apologies if you receive multiple copies of this message] The Software Technology Division of the Computer Science and Engineering Department, Chalmers University of Technology is hiring: - 1 PhD student in Programming Language-based Security http://www.chalmers.se/en/about-chalmers/vacancies/?rmpage=job&rmjob=4389 - 1 PhD student in Language-based Security using Functional Programming http://www.chalmers.se/en/about-chalmers/vacancies/?rmpage=job&rmjob=4391 PhD student positions are for up to five years of full-time employment; normally, 20% of the time is allocated to departmental work (mainly teaching duties). The salary for the positions is as specified in Chalmers's general agreement for PhD student positions. * Application deadline: 30 November 2016. * Expected starting date: preferably early 2017. ------------------------------------------------------------- 1 PhD student position in Programming Language-based Security ------------------------------------------------------------- Increasingly, security flaws in applications arise due to software errors. Programming Language-based Security is a domain in which we strive to enhance security of software application by looking at properties of programming languages. In the Paragon project, we focus on achieving security of software through the construction and use of a dedicated, statically security-typed programming language. The language Paragon is an extension of Java (implemented in Haskell), adding a type system for information flow control based on an expressive calculus for security policies we have developed. The position focuses on improving and extending the applicability of Paragon to practical programming domains. Of particular interest is the Android operating system, where we envision the construction of a secure, information-flow aware app infrastructure. Research opportunities include: * applying Paragon to case studies in specific software domains, in particular the domain of Android apps. * investigating the interaction of information flow and particular language features such as concurrency or typestate; * applying the principles behind Paragon to other programming languages and paradigms; * proving mathematical properties of type systems; The ideal applicant has a strong working knowledge in programming language technology, including type systems, static analysis, and formal semantics; and also in functional programming, as well as a broad interest in programming languages and paradigms in general. Prior knowledge of software security or Android programming are useful but not essential. To read more about the Paragon project, see the project website (http://www.cse.chalmers.se/research/group/paragon/). We recommend in particular the interactive tutorial (http://cse-212294.cse.chalmers.se/research/paragon/tutorial/). This position will be supervised by Prof. Niklas Broberg and Prof. David Sands. ------------------------------------------------------------------------------ 1 1 PhD student position in Language-based Security using Functional Programming ------------------------------------------------------------------------------ The position focuses on developing techniques to protect confidentiality and integrity of users' data when manipulated by third-party code (i.e., code written by someone else) -- a pressing problem for the web as well as mobile platforms. We expect functional programming to play an important role addressing this challenge. In this direction, researchers at Chalmers have been responsible for developing some of the state-of-the-art tools for protecting users' sensitive data in Haskell programs (e.g., LIO https://hackage.haskell.org/package/lio and MAC https://hackage.haskell.org/package/mac). It is expected that the work carried out by the applicant ranges from establishing new theoretical foundations to deploying prototypes in realistic systems. We are looking for candidates with strong background in programming languages who are also interested in building systems using their ideas. The candidate is expected to pursue one or more of the following topics: * Combining type-systems features and dynamic analysis to secure functional languages, where the main target is Haskell programs. * Leveraging hardware-level security components (e.g, Intel SGX and ARM TrustZones) to provide security in depth, where private data can be protected from the application level down to the low-level physical layers by the use of, for instance, foreign function calls. * Design of secure web frameworks to control the flow of information in an end-to-end fashion, i.e., at the server side as well as in web browsers. We envision the creation of secure web frameworks based on functional reactive programming (FRP). As an introduction to the research area, applicants are recommended to read the article Functional Pearl: Two can keep a secret if one of them uses Haskell (http://www.cse.chalmers.se/~russo/publications_files/pearl-russo.pdf). This position will be supervised by Prof. Alejandro Russo (http://www.cse.chalmers.se/~russo/) -------------- next part -------------- An HTML attachment was scrubbed... URL: From rjmh at chalmers.se Wed Oct 19 09:44:42 2016 From: rjmh at chalmers.se (John Hughes) Date: Wed, 19 Oct 2016 09:44:42 +0000 Subject: [Haskell] CFP: Functional Paradigm for High Performance Computing Message-ID: <27b9ce5d12984031ac015634851b58c2@chalmers.se> ============================================================================ Future Generation Computer Systems (IF=2.430) Special Issue on Functional Paradigm for High Performance Computing in conjunction with the International Conference Lambda Days 2017 http://www.lambdadays.org February 09-10, Kraków, Poland ============================================================================ Dear Sir or Madam, We hereby cordially invite you to submit a paper presenting the results of original research or innovative practical application in the area of Functional Programming for High Performance Computing. The special issue aims to bring together functional programming designers, HPC experts, researchers and application developers from academia and industry to present the latest progress on functional programming paradigm for High Performance Computing and to identify and discuss which possible solutions provided by functional programming are useful for HPC issues. The deadline for submitting your paper to the workshop is November 30th, 2016. For more information and details on the call, please check the link: http://www.journals.elsevier.com/future-generation-computer-systems/call-for-papers/special-issue-on-functional-paradigm-for-high-performance-co or the main conference site: www.lambdadays.org or the PDF CFP online: http://www.lambdadays.org/static/upload/media/1475770130836999pdf_lambda2.pdf You can also contact the organizers directly by sending an email to olekb at agh.edu.pl With best regards, On behalf of the special section chairs: Aleksander Byrski, AGH University of Science and Technology, Krakow, Poland Katarzyna Rycerz, AGH University of Science and Technology, Krakow, Poland John Hughes, Chalmers University of Technology, Gothenburg, Sweden Kevin Hammond, University of St. Andrews, St. Andrews, Scotland, UK -------------- next part -------------- An HTML attachment was scrubbed... URL: From cygnus at foobox.com Sat Oct 22 20:17:22 2016 From: cygnus at foobox.com (Jonathan Daugherty) Date: Sat, 22 Oct 2016 13:17:22 -0700 Subject: [Haskell] [ANN] dbmigrations 2.0.0: the "break everything in a good way" update Message-ID: <20161022201721.GA9219@galois.com> Hi, TLDR: this release contains good but BREAKING changes! Read on for details. I'm pleased to announce the release of version 2.0.0 of the "dbmigrations" library for managing relational database schema changes. http://hackage.haskell.org/package/dbmigrations This release includes the creation of three new packages. These are the ones you want to install now, instead of the core library: * http://hackage.haskell.org/package/dbmigrations-postgresql * http://hackage.haskell.org/package/dbmigrations-sqlite * http://hackage.haskell.org/package/dbmigrations-mysql In this release all database-specific functionality was factored out of the core library into the packages listed above. Previously, if you wanted to use dbmigrations you needed to have, say, MySQL C libraries installed even if you didn't want to use dbmigrations on a MySQL database. Needless to say, this created headaches as more backend implementations were added to the library. This means that, as a transition aid, the core package's tool EXITS WITH AN ERROR MESSAGE that suggests you install one of the above backend-specific packages to get a backend-specific version of the dbmigrations tool. The dbmigrations library also includes a backend test suite that all of the backend-specific packages use to ensure consistent behavior across implementations of the dbmigrations interface. This release was made possible by Bastian Krol, who put in a lot of time to move the backend-specific bits of the library into the new packages. This was a much-needed change and I'm thankful for his contribution! -- Jonathan Daugherty From harendra.kumar at gmail.com Tue Oct 25 16:59:27 2016 From: harendra.kumar at gmail.com (Harendra Kumar) Date: Tue, 25 Oct 2016 22:29:27 +0530 Subject: [Haskell] [ANN] unicode-transforms-0.2.0 pure Haskell unicode normalization Message-ID: Hi, I released unicode-transforms sometime back as bindings to a C library (utf8proc). Since then I have rewritten it completely in Haskell. Haskell data structures are automatically generated from unicode database, so it can be kept up-to-date with the standard unlike the C implementation which was stuck at unicode 5. The implementation comes with a test suite providing 100% code coverage. After a number of algorithmic and implementation efficiency optimizations, I was able to get several times better decompose performance compared to the C implementation. I have not yet got a chance to fully optimize the compose operations but they are still as fast as utf8proc. I would like to thank Antonio Nikishaev for the unicode character database parsing code which I borrowed from the prose library. https://github.com/harendra-kumar/unicode-transforms https://hackage.haskell.org/package/unicode-transforms -harendra -------------- next part -------------- An HTML attachment was scrubbed... URL: From frantisek at farka.eu Thu Oct 27 10:54:00 2016 From: frantisek at farka.eu (=?utf-8?Q?Franti=C5=A1ek?= Farka) Date: Thu, 27 Oct 2016 11:54:00 +0100 Subject: [Haskell] CoALP-Ty'16: Call for Participation Message-ID: <20161027105400.GC25396@farka.eu> Call for Participation Workshop on Coalgebra, Horn Clause Logic Programming and Types 28-29 November 2016, Edinburgh, UK https://ff32.host.cs.st-andrews.ac.uk/coalpty16/ Abstract submission: 15 October, 2016 Registration deadline: 5 November, 2016 ==================================================== Objectives and scope ------------------- The workshop marks the end of the EPSRC Grant Coalgebraic Logic Programming for Type Inference, by K. Komendantskaya and J. Power and will consist of two parts: Part 1 - Semantics: Lawvere theories and Coalgebra in Logic and Functional Programming Part 2 - Programming languages: Horn Clause Logic for Type Inference in Functional Languages and Beyond We invite all colleagues working in related areas to present and share their results. We envisage a friendly meeting with many stimulating discussions, and therefore welcome presentations of already published research as well as novel results. Authors of original contributions will be invited to submit their papers to EPTCS post-proceedings. We especially encourage early career researchers to present and participate. Venue ----- The workshop will be held at the International Centre for Mathematical Sciences, in Edinburgh city centre, just 2 minutes walk from the Informatics Forum. Registration ------------ To register please fill in https://goo.gl/forms/KAm83p1bcNAxw0ss2 Although the registration is free it is compulsory. Please register by the 5th of November 2016. Programme --------- Monday 28 November 9:10 - 9:20 Registration 9:30 - 9:40 Welcome to CoALP-Ty'16 - Ekaterina Komendantskaya 9:40 - 11:10 Invited talk I - John Power: Logic Programming: Laxness and Saturation 11:10 - 11:30 Coffee break 11:30 - 12:00 Contributed talk - Henning Basold and Ekaterina Komendantskaya: Models of Inductive-Coinductive Logic Programs 12:00 - 13:00 Invited talk II - Steven Ramsay and Luke Ong: Refinement Types and Higher-Order Constrained Horn Clauses 13:00 - 14:00 Lunch 14:00 - 15:00 Invited talk III - Tarmo Uustalu: Comodels and Interaction 15:00 - 15:30 Coffee break 15:30 - 17:00 Contributed talks - František Farka: Proofs by Resolution and Existential Variables - Bashar Igried and Anton Setzer: Defining Trace Semantics for CSP-Agda - Clemens Kupke: Coalgebra and Ontological Rules 18:00 - 20:00 Workshop dinner - Lebanese restaurant Beirut, 24 Nicolson Square Tuesday 29 November 9:30 - 10:30 Invited talk IV - Claudio Russo: Classes for the Masses 10:30 - 11:00 Contributed talk - J. Garrett Morris: Semantical Analysis of Type Classes 11:00 - 11:30 Coffee break 11:30 - 12:30 Invited talk V - Davide Ancona: Abstract Compilation for Type Analysis of Object-Oriented Languages 12:30 - 13:30 Lunch 13:30 - 14:30 Invited talk VI - Ki Yung Ahn: Relational Specification of Type Systems Using Logic Programming 14:30 - 15:15 Discussion Panel - Horn Clause Logic: its Proof Theory, Type Theory and Category Theory — do we have the full picture yet? 15:15 - 15:45 Coffee break 15:45 - 16:45 Contributed talks - Martin Schmidt: Coalgebraic Logic Programming: Implementation and Optimization - Luca Franceschini, Davide Ancona and Ekaterina Komendantskaya: Structural Resolution for Abstract Compilation of Object-Oriented Languages Important dates --------------- Workshop registration: 5 November, 2016 Workshop: 28–29 November, 2016 Programme committee ------------------- Ki Yung Ahn, Nanyang Technological University, Singapore Davide Ancona, University of Genoa, Italy Filippo Bonchi, CNRS, ENS de Lyon, France Iavor Diatchki, Galois, Inc, USA Peng Fu, Heriot-Watt University, Edinburgh, UK Neil Ghani, University of Strathclyde, UK Patricia Johann, Appalachian State University, USA Ekaterina Komendantskaya, Heriot-Watt University, Edinburgh, UK Clemens Kupke, University of Strathclyde, UK J. Garrett Morris, University of Edinburgh, UK Fredrik Nordvall Forsberg, University of Strathclyde, UK John Power, University of Bath, UK Claudio Russo, Microsoft Research Cambridge, UK Martin Schmidt, DHBW Stuttgart and Osnabrück University , Germany Stephan Schulz, DHBW Stuttgart, Germany Aaron Stump, The University of Iowa, USA Niki Vazou, University of California, San Diego, USA Joe Wells, Heriot-Watt University, Edinburgh, UK Fabio Zanasi, Radboud University of Nijmegen, The Netherlands Workshop chairs -------- Ekaterina Komendantskaya, Heriot-Watt University, UK John Power, University of Bath, UK Publicity chair --------------- František Farka, University of Dundee, UK and University of St Andrews, UK -- František Farka From Damien.Pous at ens-lyon.fr Thu Oct 27 12:48:12 2016 From: Damien.Pous at ens-lyon.fr (Damien Pous) Date: Thu, 27 Oct 2016 14:48:12 +0200 Subject: [Haskell] [CFP] RAMiCS 2017 Message-ID: Second Call for Papers ----------------------------------------------------- 16th International Conference on RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE (RAMiCS 2017) May 15-19, 2017 Lyon, France http://ramics-conference.org ----------------------------------------------------- GENERAL INFORMATION: For more than two decades, the RAMiCS conferences series has been the main venue for research on relation algebras, Kleene algebras and similar algebraic formalisms, and their applications as conceptual and methodological tools in computer science and beyond. TOPICS: We invite submissions in the general field of algebraic structures relevant to computer science and on applications of such algebras. Topics of the conference include, but are not limited to the following -theory * algebraic structures from semigroups, residuated lattices and semirings to Kleene algebras, relation algebras and quantales * other algebras relevant to the theory of automata, concurrency, formal languages, games, networks, programming languages and social choice * algorithmic, category-theoretic, coalgebraic or proof-theoretic methods for such algebras * their formalisation with automated and interactive theorem provers -applications * tools and techniques for the verification and correctness of sequential and concurrent programs * quantitative and qualitative models for computing systems * logics of programs, e.g., modal, dynamic, interval, temporal or resource logics, logics for games, social choice and distributed systems * design of algorithms, network protocol analysis, optimisation and control INVITED SPEAKERS: * Annabelle McIver (Macquarie University, Sydney) * Jean-Eric Pin (CNRS, IRIF, Paris) * Alexandra Silva (University College, London) IMPORTANT DATES: Abstract Submission: 2016, Nov 25 Paper Submission: 2016, Dec 2 Author Notification: 2017, Feb 3 Camera-ready papers: 2017, Feb 24 RAMiCS 2017: 2017, May 15-19 SUBMISSION INSTRUCTIONS: Submission is via EasyChair at https://www.easychair.org/conferences/?conf=ramics16 All papers will be peer reviewed by at least three referees. The proceedings will be published in an LNCS volume by Springer, ready at the conference. Submissions must be in English, in PDF format and should not exceed 16 pages in LNCS style. Submissions must be unpublished, not under review for publication elsewhere and provide sufficient information to judge their merits. Additional material may be provided in a clearly marked appendix or by a reference to a manuscript on a web site. Experimental data, software or mathematical components for theorem provers must be available in sufficient detail for reviewers. Deviation from these requirements may lead to rejection. Accepted papers must be produced with LaTeX. One author of each accepted paper is expected to present the paper at the conference. Formatting instructions and LNCS style files can be obtained at: http://www.springer.de/comp/lncs/authors.html. COMMITTEES: Conference Chair: Damien Pous, CNRS, France Programme Chairs: Peter Höfner, Data61, Australia Georg Struth, U Sheffield, UK, Programme Committee: Luca Aceto, Reykjavik U, Iceland Rudolf Berghammer, U Kiel, Germany Filippo Bonchi, CNRS, France Jules Desharnais, U Laval, Canada Hitoshi Furusawa, Kagoshima U, Japan Tim Griffin, U Cambridge, UK Walter Guttmann, U Canterbury, New Zealand Robin Hirsch, UCL, UK Peter Höfner, Data61, CSIRO, Australia Marcel Jackson, LaTrobe U, Australia Jean-Baptiste Jeannin, Samsung, USA Peter Jipsen , Chapman U, USA Christian Johansen, U Oslo, Norway Wolfram Kahl, McMaster U, Canada Dexter Kozen, Cornell U, USA Szabolcs Mikulas, Birkbeck U, UK Bernhard Möller, U Augsburg, Germany José N. Oliveira, U Minho, Portugal Damien Pous, CNRS, France Georg Struth, U Sheffield, UK, Pascal Weil, CNRS, France Michael Winter, Brock U, Canada