January 2020 - Haskell

First ETAPS Doctoral Dissertation Award, final call for nominations
by Tarmo Uustalu 15 Jan '20

15 Jan '20

First ETAPS Doctoral Dissertation Award ================================= The European Joint Conferences on Theory and Practice of Software Association has established a Doctoral Dissertation Award to promote and recognize outstanding dissertations in the research areas covered by the four main ETAPS conferences (ESOP, FASE, FoSSaCS, and TACAS). Doctoral dissertations are evaluated with respect to originality, relevance, and impact to the field, as well as the quality of writing. The award winner will receive a monetary prize and will be recognized at the ETAPS Banquet. Eligibility ----------- Eligible for the award is any PhD student whose doctoral dissertation is in the scope of the ETAPS conferences and who completed their doctoral degree at a European academic institution in the period from January 1st, 2019 to December 31st, 2019. Nominations ----------- Award candidates should be nominated by their supervisor. Members of the Award Committee are not allowed to nominate their own PhD students for the award. Nominations consist of a single PDF file (extension .pdf) containing: * name and email address of the candidate * a short curriculum vitae of the candidate * name and email address of the supervisor * an endorsement letter from the supervisor * the final version of the doctoral dissertation * institution and department that has awarded the doctorate * a document certifying that the doctoral degree was successfully completed within the eligibility period * a report from at least one examiner of the dissertation who is not affiliated with the candidate's institution All documents must be written in English. Nominations are welcome regardless of whether results that are part of the dissertation have been published at ETAPS. Nominations should be submitted via EasyChair: https://easychair.org/conferences/?conf=etapsdda2020 The deadline for nominations is January 19th, 2020. Award Committee --------------- Caterina Urban (chair) Amal Ahmed (representing ESOP) Dirk Beyer (representing TACAS) Andrew Pitts (representing FoSSaCS) Perdita Stevens (representing FASE) Marieke Huisman

1 0

ETAPS Test of Time Award 2020, call for nominations
by Tarmo Uustalu 15 Jan '20

15 Jan '20

The ETAPS Test of Time Award recognizes outstanding papers published more than 10 years in the past in one of the constituent conferences of ETAPS. The Award recognises the impact of excellent research results that have been published at ETAPS. Nominations 2020 Nominations for the 2020 ETAPS Test of Time Award are solicited from the ETAPS community. A nomination should include the title and publication details of the nominated paper, explain the influence it has had since publication, and why it merits the award. It should be phrased in terms that are understandable by the members of the award committee and suitable for use in the award citation, and should be endorsed by at least 2 people other than the person submitting the nomination. Self-nominations are not allowed. Nominations should be sent by Monday 2 March 2020 to the chair of the award committee, Don Sannella <dts(a)inf.ed.ac.uk>. Award committee The 2020 award committee consists of Rance Cleaveland, Ugo Dal Lago, Marieke Huisman, Tiziana Margaria, Don Sannella (chair), Gabriele Taentzer and Peter Thiemann.

1 0

[TFP'20] call for participation: Trends in Functional Programming 2020, 13-14 February, Krakow, Poland
by Peter Achten 14 Jan '20

14 Jan '20

------------------------------------------------------------------------- Call for participation 21st Symposium on Trends in Functional Programming tfp2020.org ------------------------------------------------------------------------- The list of accepted papers is available at http://www.cse.chalmers.se/~rjmh/tfp/ The symposium on Trends in Functional Programming (TFP) is an international forum for researchers with interests in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions. * TFP is moving to new winter dates, to provide an FP forum in between the annual ICFP events. * TFP offers a supportive reviewing process designed to help less experienced authors succeed, with two rounds of review, both before and after the symposium itself. Authors have an opportunity to address reviewers' concerns before final decisions on publication in the proceedings. * TFP offers two "best paper" awards, the John McCarthy award for best paper, and the David Turner award for best student paper. * This year we are particularly excited to co-locate with Lambda Days in beautiful Krakow. Lambda Days is a vibrant developer conference with hundreds of attendees and a lively programme of talks on functional programming in practice. TFP will be held in the same venue, and participants will be able to session-hop between the two events. Important Dates --------------- Submission deadline for pre-symposium review: 15th November, 2019 -- passed -- Submission deadline for draft papers: 10th January, 2020 -- passed -- Registration (regular): 2nd February, 2020 Registration (late): 13th February, 2020 Symposium dates: 13-14th February, 2020 Visit tfp2020.org for more information.

1 0

[GSoC 2020] Call for Ideas
by Jasper Van der Jeugt 12 Jan '20

12 Jan '20

Google Summer of Code [1] will take place again in 2020! Haskell.org has been able to take part in this program in the past two years, and we'd like to keep this momentum up since it greatly benefits the community. Google is not extremely open about what factors it considers for applications from organizations, but they have stated multiple times that a well-organized ideas list is crucial. For that, we would like to count on all of you again. If you are the maintainer or a user of a Haskell project, and you have an improvement in mind which a student could work on during the summer, please submit an idea here: https://summer.haskell.org/ideas.html For context, Google Summer of Code is a program where Google sponsors students to work on open-source projects during the summer. Haskell.org has taken part in this program in 2006-2015, and 2018-2019. Many important improvements to the ecosystem have been the direct or indirect result of Google Summer of Code projects, and it has also connected new people with the existing community. Projects should benefit as many people as possible – e.g. an improvement to GHC will benefit more people than an update to a specific library or tool, but both are definitely valid. New libraries and applications written in Haskell, rather than improvements to existing ones, are also accepted. Projects should be concrete and small enough in scope such that they can be finished by a student in three months. Past experience has shown that keeping projects "small" is almost always a good idea. [1]: https://summerofcode.withgoogle.com/ Warm regards Jasper

1 0

2nd Call for Affiliated Workshops at QONFEST 2020, in Vienna, TU Wien - Deadline: January 15, 2020
by Mihaela Rozman 08 Jan '20

08 Jan '20

* *QONFEST 2020* * August 31-September 5, 2020, Vienna, Austria (http://qonfest2020.conf.tuwien.ac.at/) QONFEST is the umbrella conference comprising the joint international 2020 meetings CONCUR (31st International Conference on Concurrency Theory), QEST (17th International Conference on Quantitative Evaluation of SysTems), FORMATS (18th International Conference on Formal Modeling and Analysis of Timed Systems) and FMICS (25th International Conference on Formal Methods for Industrial Critical Systems). QONFEST 2020 will be hosted at TU Wien, Vienna, Austria, with the conferences taking place in the main building at Karlsplatz 13, 1040 Wien, and the workshops in the computer science building at Favoritenstr. 911, 1040 Wien. CALL FOR AFFILIATED WORKSHOPS Researchers and practitioners are invited to submit proposals for workshops to be affiliated to QONFEST 2020. Example topics include: concurrency theory and its applications, timed systems, semantics, logics, verification techniques, cross-fertilization between industry and academia and opportunities for young and prospective researchers. Past QONFEST conferences have been accompanied by successful workshops on a variety of topics. You can have an idea of the past workshops by browsing the pages of the previous editions of CONCUR, QEST, FORMATS and FMICS. The purpose of the workshops is to provide participants with a friendly, interactive atmosphere for presenting novel ideas and discussing their application. The workshops take place on Monday August 31, 2020 and Saturday September 5, 2020. Proposals should include: * The name and the preferred date of the proposed workshop (August 31 or September 5, 2020) * A short description of the workshop (500 words max) * If applicable, a description of past versions of the workshop, including dates, organizers, submission and acceptance counts, and attendance * The expected number of participants * The name and a link to the website(s) of the organizer(s) * The publication plan (only invited speakers, no published proceedings, pre-/post-proceedings published with EPTCS/ENTCS/...). The QONFEST organization offers: * a link from the QONFEST web site; * setup of meeting space, and related equipment, * coffee-breaks and lunch for the participants on the day of the workshop, * on-line and on-site registration to the workshop, * free workshop registration for an organizer and in case of more than 15 participants a second free workshop registration The main responsibility for organizing the workshop goes to the workshop organizer(s), including: * workshop publicity (possibly including call for papers, submission and review process) * scheduling of workshop activities in collaboration with the QONFEST workshop chair. IMPORTANT DATES Submission of workshop proposals: January 15, 2020 (but we greatly appreciate if you announce your proposal to us as soon as possible). Notification: January 31, 2020 SUBMISSION TO: Florian Zuleger (zuleger at forsyte dot at) For more information, please contact me via email. The QONFEST 2020 workshop chair, Florian Zuleger https://forsyte.at/people/zuleger/ Technische Universität Wien Vienna, Austria

1 0

[TFP'20] draft paper deadline open (January 10 2020) Trends in Functional Programming 2020, 13-14 February, Krakow, Poland
by Peter Achten 07 Jan '20

07 Jan '20

------------------------------------------------------------------------- Final call for papers 21st Symposium on Trends in Functional Programming tfp2020.org ------------------------------------------------------------------------- Did you miss the deadline to submit a paper to Trends in Functional Programming http://www.cse.chalmers.se/~rjmh/tfp/? No worries -- it's not too late! Submission is open until January 10th 2020, for a presentation slot at the event and post-symposium reviewing. The symposium on Trends in Functional Programming (TFP) is an international forum for researchers with interests in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions. * TFP is moving to new winter dates, to provide an FP forum in between the annual ICFP events. * TFP offers a supportive reviewing process designed to help less experienced authors succeed, with two rounds of review, both before and after the symposium itself. Authors have an opportunity to address reviewers' concerns before final decisions on publication in the proceedings. * TFP offers two "best paper" awards, the John McCarthy award for best paper, and the David Turner award for best student paper. * This year we are particularly excited to co-locate with Lambda Days in beautiful Krakow. Lambda Days is a vibrant developer conference with hundreds of attendees and a lively programme of talks on functional programming in practice. TFP will be held in the same venue, and participants will be able to session-hop between the two events. Important Dates --------------- Submission deadline for pre-symposium review: 15th November, 2019 -- passed -- Submission deadline for draft papers: 10th January, 2020 Symposium dates: 13-14th February, 2020 Visit tfp2020.org for more information.

1 0

MSFP 2020 - Second Call for Papers
by Sam Lindley 06 Jan '20

06 Jan '20

Eighth Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING Saturday 25th April 2020, Dublin, Ireland A satellite workshop of ETAPS 2020 https://msfp-workshop.github.io/msfp2020/ ** Deadline: 9th January (abstract), 16th January (paper) ** The eighth workshop on Mathematically Structured Functional Programming is devoted to the derivation of functionality from structure. It is a celebration of the direct impact of Theoretical Computer Science on programs as we write them today. Modern programming languages, and in particular functional languages, support the direct expression of mathematical structures, equipping programmers with tools of remarkable power and abstraction. Where would Haskell be without monads? Functional reactive programming without temporal logic? Call-by-push-value without adjunctions? The list goes on. This workshop is a forum for researchers who seek to reflect mathematical phenomena in data and control. The first MSFP workshop was held in Kuressaare, Estonia, in July 2006, affiliated with MPC 2006 and AMAST 2006. The second MSFP workshop was held in Reykjavik, Iceland as part of ICALP 2008. The third MSFP workshop was held in Baltimore, USA, as part of ICFP 2010. The fourth workshop was held in Tallinn, Estonia, as part of ETAPS 2012. The fifth workshop was held in Grenoble, France, as part of ETAPS 2014. The sixth MSFP Workshop was held in April 2016, in Eindhoven, Netherlands, as part of ETAPS 2016. The seventh MSFP Workshop was held in July 2018, in Oxford, UK, as part of FLoC 2018. Important Dates: ================ Abstract deadline: 9th January (Thursday) Paper deadline: 16th January (Thursday) Notification: 27th February (Thursday) Final version: 26th March (Thursday) Workshop: 25th April (Saturday) Invited Speakers: ================= Pierre-Marie Pédrot - Inria Rennes-Bretagne-Atlantique, France Satnam Singh - Google Research, USA Program Committee: ================== Stephanie Balzer - CMU, USA Kwanghoon Choi - Chonnam, South Korea Ralf Hinze - Kaiserslautern, Germany Marie Kerjean - Inria Nantes, France Sam Lindley - Edinburgh and Imperial, UK (co-chair) Max New - Northeastern, USA (co-chair) Fredrik Nordvall-Forsberg - Strathclyde, UK Alberto Pardo - Montevideo, Uruguay Exequiel Rivas Gadda - Inria Paris, France Claudio Russo - DFINITY, UK Tarmo Uustalu - Reykjavik, Iceland Nicolas Wu - Imperial, UK Maaike Zwart - Oxford, UK Submission: =========== Submissions are welcomed on, but by no means restricted to, topics such as: structured effectful computation structured recursion structured corecursion structured tree and graph operations structured syntax with variable binding structured datatype-genericity structured search structured representations of functions structured quantum computation structure directed optimizations structured types structure derived from programs and data Please contact the programme chairs Sam Lindley (Sam.Lindley(a)ed.ac.uk) and Max New (maxnew(a)ccs.neu.edu) if you have any questions about the scope of the workshop. We accept two categories of submission: full papers of no more than 15 pages that will appear in the proceedings, and extended abstracts of no more than 2 pages that we will post on the website, but which do not constitute formal publications and will not appear in the proceedings. References and appendices are not included in page limits. Appendices may not be read by reviewers. Submissions must report previously unpublished work and not be submitted concurrently to another conference with refereed proceedings. Accepted papers must be presented at the workshop by one of the authors. The proceedings will be published under the auspices of EPTCS with a Creative Commons license. A short abstract should be submitted a week in advance of the paper deadline (for both full paper and extended abstract submissions). We are using EasyChair to manage submissions. To submit a paper, use this link: https://easychair.org/conferences/?conf=msfp2020 -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.

1 0

Supporting Haskell.org
by Tikhon Jelvis 06 Jan '20

06 Jan '20

A significant part of the Haskell community infrastructure—including the haskell.org website, Hackage, Hoogle and the build infrastructure for GHC—runs on donations from the Haskell community administered by Haskell.org. Haskell.org also organizes Haskell's participation in the Google Summer of Code program. We had 18 projects this year, 15 of which were completed successfully, a solid completion ratio. If you would like to support Haskell.org, you can donate via several methods including PayPal and check: https://wiki.haskell.org/Donate_to_Haskell.org Haskell.org can also accept donations through employers via Benevity using the unique ID 475236502. Haskell.org is a 501(c)(3) non-profit, so donations may be tax-deductible in your jurisdiction. We look forward to continuing this work with your support in 2020 as well as exploring new projects to improve the Haskell community infrastructure. Best wishes, Tikhon Jelvis on behalf of the haskell.org committee.

2 1

Ph.D. fellowship on high-performance functional programming for deep probabilistic programming. Deadline: 2020-01-15
by Fritz Henglein 05 Jan '20

05 Jan '20

A Ph.D. fellowship on functional programming language technology for high-performance deep probabilistic programming is available at the Department of Computer Science, University of Copenhagen. Application deadline: January 15th, 2020. Two Ph.D. fellowships are available on *deep probabilistic programming* (DPP) at the University of Copenhagen. The aims of one of these is to advance *functional high-performance computing* for DPP. This includes, but is not limited to, contributing to novel functional language and compiler technology for differential programming/automatic differentiation; domain-specific language design for programming with probability distributions and sampling from them; generating high-performance vectorized multicore or GPU code; and applications to deep learning, Bayesian inference and probabilistic programming. Application deadline:* January 15th, 2020*. For more information and for applying for the position, please see https://di.ku.dk/ominstituttet/ledige_stillinger/phd-fellow-dpp/.

1 0