December 2019 - Haskell

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

Fwd: Call for Workshop Proposal: FNC 2020, Leuven, Belgium
by Muhammad ADNAN 24 Dec '19

24 Dec '19

******************************Call for Workshops Proposals*********************************** The 15th International Conference on Future Networks and Communications August 9-12, 2020 Leuven, Belgium http://cs-conferences.acadiau.ca/fnc-20/#workshop_call Important Dates ========== - Workshop Proposal Due: February 20, 2020 - Acceptance Notification: February 25, 2020 The FNC 2020 organizing committee invites proposals for workshops. The main objective of the workshops is to provide a forum for researchers and professionals to discuss a specific topic from the field of FNC 2020 and its related areas. All papers accepted for workshops will be included in the FNC 2020 proceedings, which will be published by Elsevier. The authors must follow Elsevier guidelines as given in FNC 2020 Website. Proposal Format =========== - Title of the workshop - Workshop Website: tentative address, or old address (if applicable) - Draft Call for paper of the workshop - Tentative list of TPC members Workshops Chair ============== Dr. Muhammad Adnan, Hasselt University, Belgium (muhammad.adnan(a)uhasselt.be) -- Dr. Muhammad Adnan Senior Navorser - Senior Researcher Instituut voor Mobiliteit (IMOB) - Transportation Research Institute T +32(0)11 26 91 47 - F +32(0)11 26 91 99 www.uhasselt.be\imob Universiteit Hasselt - Campus Diepenbeek Wetenschapspark 5 bus 6 - B-3590 Diepenbeek Kantoor WETP5-0.10

1 0

Fwd: Call for Workshops Proposals: MobiSPC 2020, Leuven, Belgium
by Muhammad ADNAN 24 Dec '19

24 Dec '19

******* Call for Workshops Proposals ******** The 17th International Conference on Mobile Systems and Pervasive Computing http://cs-conferences.acadiau.ca/mobispc-20/#workshop_call August 9-12, 2020 Leuven, Belgium Important Dates =========== - Workshop Proposal Due: February 20, 2020 - Acceptance Notification: February 25, 2020 The MobiSPC 2020 organizing committee invites proposals for workshops. The main objective of the workshops is to provide a forum for researchers and professionals to discuss a specific topic from the field of MobiSPC 2020 and its related areas. All papers accepted for workshops will be included in the MobiSPC 2020 proceedings, which will be published by Elsevier. The authors must follow Elsevier guidelines as given in MobiSPC 2020 Website. Proposal Format =========== - Title of the workshop - Workshop Website: tentative address, or old address (if applicable) - Draft Call for paper of the workshop - Tentative list of TPC members Workshops Chair ============== Dr. Muhammad Adnan, Hasselt University, Belgium (muhammad.adnan(a)uhasselt.be) -- Dr. Muhammad Adnan Senior Navorser - Senior Researcher Instituut voor Mobiliteit (IMOB) - Transportation Research Institute T +32(0)11 26 91 47 - F +32(0)11 26 91 99 www.uhasselt.be\imob Universiteit Hasselt - Campus Diepenbeek Wetenschapspark 5 bus 6 - B-3590 Diepenbeek Kantoor WETP5-0.10

1 0

Third call for draft papers for TFPIE 2020 (Trends in Functional Programming in Education)
by Jurriaan Hage 20 Dec '19

20 Dec '19

Hello, Please, find below the third call for draft papers for TFPIE 2020. Please forward these to anyone you think may be interested. Apologies for any duplicates you may receive. best regards, Jurriaan Hage Chair of TFPIE 2020 ======================================================================== TFPIE 2020 Call for papers http://www.staff.science.uu.nl/~hage0101/tfpie2020/index.html February 12th 2020, Krakow, Poland (co-located with TFP 2020 and Lambda Days) *NEW* Invited Speaker We are happy to announce the invited speaker for TFPIE 2020, Thorsten Altenkirch, who also speaks at Lambda Days. At TFPIE 2020 he shall be talking about his new book, Conceptual Programming With Python. *NEW* Registration This year TFPIE takes place outside of the Lambda Days/TFP organisation, although it takes place near their location. This means you do need to register separately for TFPIE; it also means you can register for TFPIE without registering for TFP/LambdaDays, and vice versa. Registration is mandatory for at least one author of every paper that is presented at the workshop. Only papers that have been presented at TFPIE may be submitted to the post-reviewing process. Registration is 25 euro per person. TFPIE 2020 welcomes submissions describing techniques used in the classroom, tools used in and/or developed for the classroom and any creative use of functional programming (FP) to aid education in or outside Computer Science. Topics of interest include, but are not limited to: FP and beginning CS students FP and Computational Thinking FP and Artificial Intelligence FP in Robotics FP and Music Advanced FP for undergraduates FP in graduate education Engaging students in research using FP FP in Programming Languages FP in the high school curriculum FP as a stepping stone to other CS topics FP and Philosophy The pedagogy of teaching FP FP and e-learning: MOOCs, automated assessment etc. Best Lectures - more details below In addition to papers, we are requesting best lecture presentations. What's your best lecture topic in an FP related course? Do you have a fun way to present FP concepts to novices or perhaps an especially interesting presentation of a difficult topic? In either case, please consider sharing it. Best lecture topics will be selected for presentation based on a short abstract describing the lecture and its interest to TFPIE attendees. The length of the presentation should be comparable to that of a paper. On top of the lecture itself, the presentation can also provide commentary on the lecture. Submissions Potential presenters are invited to submit an extended abstract (4-6 pages) or a draft paper (up to 20 pages) in EPTCS style. The authors of accepted presentations will have their preprints and their slides made available on the workshop's website. Papers and abstracts can be submitted via easychair at the following link: https://easychair.org/conferences/?conf=tfpie2020 . After the workshop, presenters will be invited to submit (a revised version of) their article for review. The PC will select the best articles that will be published in the Electronic Proceedings in Theoretical Computer Science (EPTCS). Articles rejected for presentation and extended abstracts will not be formally reviewed by the PC. Dates Submission deadline: January 14th 2020, Anywhere on Earth. Notification: January 17th 2020 TFPIE Registration Deadline: January 20th 2020 Workshop: February 12th 2020 Submission for formal review: April 19th 2020, Anywhere on Earth. Notification of full article: June 6th 2020 Camera ready: July 1st 2020 Program Committee Olaf Chitil - University of Kent Youyou Cong - Tokyo Institute of Technology Marko van Eekelen - Open University of the Netherlands and Radboud University Nijmegen Jurriaan Hage (Chair) - Utrecht University Marco T. Morazan - Seton Hall University, USA Sharon Tuttle - Humboldt State University, USA Janis Voigtlaender - University of Duisburg-Essen Viktoria Zsok - Eotvos Lorand University Note: information on TFP is available at http://www.cse.chalmers.se/~rjmh/tfp/

1 0

Invitation to the 2nd European Forum for the SARL Users and Developers (EuSarlCon-20)
by Yazan Mualla 20 Dec '19

20 Dec '19

INVITATION FOR PAPERS AND TALKS The 2nd European Forum for the SARL Users and Developers (EuSarlCon-20) ----------------------------------------------------------------------- In conjunction with: * the 11th International Conference on Ambient Systems, Networks, and Technologies (ANT 2020); * the 9th International Workshop on Agent-based Mobility, Traffic and Transportation Models, Methodologies and Applications (ABMTRANS-20); * the 4th International Workshop on Agent-based Modeling and Applications with SARL (SARL-20). April 6-9, 2020, Warsaw, Poland. http://www.multiagent.fr/Conferences:EuSarlCon20 ------------------------------------------------------------------- Description =========== The 2020 European SarlCon is the SARL user meeting that is organized in Europe in order to provide a place where SARL users and developers could exchange their experiences. It will be held on April 6-9, 2020, at Warsaw, Poland. That is the last day of the ANT-2020 conference, the ABMTRANS-20 and the SARL-20 workshops. Submissions directly for the EuSarlCon should take the form of an abstract (< 1000 words), and are to be submitted before February 10, 2020, through EasyChair. ABMTRANS-20 and SARL-20 are providing an alternative for publishing longer papers. Important Dates =============== * Paper or talk submission: January 31, 2020; * Acceptance notification: February 10, 2020; * Forum: April 6-9, 2020. Submission ========== You are invited to submit the abstract in PDF format on EasyChair (https://easychair.org/conferences/?conf=eusarlcon2020) not exceeding 1000 words in length. General Chair ============= Stéphane GALLAND (UBFC, France) <stephane.galland(a)utbm.fr> Program Chairs ============== Yazan MUALLA (UBFC, France) Igor TCHAPPI HAMAN (UBFC, France) Registration ============ You must be registered to the ANT20 conference, which provides the access to its facilities. The EuSarlCon forum is considered as a specific type of tutorial. In order to assist to EuSarlCon20, you must apply to a tutorial registration of the ANT20 conference.

1 0

ANNOUNCE: mmsyn7ukr -- a A program and a library that can be used as a simple basic interface to some SoX functionality or for producing the approximately Ukrainian speech with your own recorded voice
by olexandr543＠yahoo.com 19 Dec '19

19 Dec '19

Hello, There is a new program -- mmsyn7ukr. | | | | mmsyn7ukr: A simple basic interface to some SoX functionality or the app... Install via `cabal install mmsyn7ukr`. | | | It can be used as a simple basic interface to some SoX functionality or for producing the approximately Ukrainian speech with your own recorded voice. The program starts with Caution to be responsible for usage and to use it personally. Then the program guides you through the creating and using your Ukrainian \"voice\". Please, use it carefully. After the execution the program if terminated naturally without interruption removes (cleans) all the created sound files in the current directory for security reasons. If it terminates by interruption or in general it is a good practice to remove the current directory sound files manually. Best regards,Oleksandr Zhabenko.

2 2

Final CFP: JFP Special Issue on Gradual Typing
by Amal Ahmed 18 Dec '19

18 Dec '19

Reminder: Intent to Submit Deadline is TODAY, December 18 (see below for link). ---- JFP Special Issue on Gradual Typing Submission deadline: 15 January 2020 Expected publication date: February 2021 SCOPE The field of gradual typing has grown exponentially over the past decade, both in terms of research and industrial adoption. Gradual typing, the idea of adding/strengthening types in existing programs, demands work on design, theory, implementation, and usability. As such, the field deserves a special journal issue with reflective papers. TOPICS Thus far, three major themes have emerged in the field of gradual typing: (1) researchers have explored numerous dimensions of the design space of gradually typed languages; (2) from this exploration, theoreticians have (re-)opened questions regarding semantics and metatheory; and (3) implementors have been grappling with the seemingly high overhead of sound gradual typing. The special issue welcomes contributions on these themes as well as ones that go beyond, for instance, usability and usefulness of gradual types. We invite authors from across the spectrum of gradual typing. Papers will be reviewed as regular JFP submissions, and acceptance in the special issue will be based on both JFP's quality standards and relevance to the theme. Beyond academics, we especially also welcome working programmers who may wish to consider authoring experience reports, which will be held to appropriate standards laid out for Practice and Experience papers. The special issue also welcomes high-quality survey papers that would benefit a wide audience. NOTIFICATION OF INTENT Authors MUST notify the special-issue editors of their intent to submit by December 18, 2019. The notification of intent should be submitted by filling out the following web form which asks for data needed to identify suitable reviewers: https://forms.gle/dutqyXJSF5WMuuCRA <https://forms.gle/dutqyXJSF5WMuuCRA> SUBMISSIONS Full-length, archival-quality submissions are solicited on all aspects of gradual typing. Submissions should be sent through the JFP Manuscript Central system. Choose “Gradual Typing” as the paper type, so that it gets assigned to the special issue. Submissions that are based on previously-published conference or workshop papers must clearly describe the relationship with the initial publication, and must differ sufficiently that the author can assign copyright to Cambridge University Press. Prospective authors are welcome to discuss such submissions with the editors to ensure compliance with this policy. For detailed instructions regarding layout and submission, please see the JFP advice to authors <https://www.cambridge.org/core/journals/journal-of-functional-programming/i…> and instructions for contributors <https://www.cambridge.org/core/journals/journal-of-functional-programming/i…>. SPECIAL-ISSUE EDITORS Amal Ahmed (amal(a)ccs.neu.edu <mailto:amal@ccs.neu.edu>) Jens Palsberg (palsberg(a)cs.ucla.edu <mailto:palsberg@cs.ucla.edu>) IMPORTANT DATES 18 December 2019: Notification-of-intent deadline 15 January 2020: Submission deadline 21 April 2020: First round of reviews 19 August 2020: Revision deadline 17 November 2020: Second round of reviews, if applicable 13 January 2021: Final accepted versions due Link to CFP: https://www.cambridge.org/core/news/jfp-special-issue-on-gradual-typing <https://www.cambridge.org/core/news/jfp-special-issue-on-gradual-typing>

1 0

PEPM2020 Call for Participation
by Casper Bach Poulsen 17 Dec '19

17 Dec '19

CALL FOR PARTICIPATION Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM 2020) https://popl20.sigplan.org/home/pepm-2020 New Orleans, USA, Monday January 20th, 2020 (co-located with POPL 2020) Registration ------------ http://popl20.sigplan.org/attending/registration Early registration deadline: **Wednesday 18th Dec 2019** Preliminary Schedule -------------------- 09:00-10:00: Keynote 1: Network Verification: Past, Present, and Future (Nate Foster) 10:30-12:30: Dependently-Typed Multi-Stage Programming Revisited (invited talk) (Atsushi Igarashi) High-Fidelity Metaprogramming with Separator Syntax Trees (Rodin Aarssen, Tijs van der Storm) Module Generation without Regret (Yuhi Sato, Yukiyoshi Kameyama, Takahisa Watanabe) GOOL: A Generic Object-Oriented Language (Jacques Carette, Brooks MacLachlan, Spencer Smith) 14:00-15:05: Keynote 2: Reasoning about Progress of Concurrent Objects (Xinyu Feng) 15:35-17:45: Frex: Free extensions for normalisation by evaluation (invited talk) (Ohad Kammar) Symbolic Bisimulation for Open and Parameterized System (Zechen Hou, Eric Madelaine) Acumen: A Domain-Specific Language for Cyber-Physical Systems (invited talk) (Walid Taha) An approach to generating text-based IDEs with syntax completion from syntax specification (Isao Sasano) Find the full schedule, abstracts of the talks, and links to papers on the PEPM2020 website: https://popl20.sigplan.org/home/pepm-2020 Looking forward to seeing you at PEPM2020, PEPM2020 chairs and PC *** Programme committee ------------------- * Andreas Abel (Chalmers U.) * Guillaume Allais (U. Strathclyde) * Nada Amin (Harvard U.) * Casper Bach Poulsen (co-chair) (TU Delft) * Patrick Bahr (Copenhagen U.) * Aggelos Biboudis (EPFL) * Olivier Danvy (National U. Singapore) * Álvaro García-Pérez (IMDEA) * Jeremy Gibbons (Oxford U.) * Robert Glück (Copenhagen U.) * Torsten Grust (U. Tubingen) * Zhenjiang Hu (co-chair) (Peking U./NII) * Hideya Iwasaki (U. Electro-Communications) * Oleg Kiselyov (Tohoku U.) * Hedehiko Masuhara (Tokyo I. Technology) * Keisuke Nakano (Tohoku U.) * Bruno Oliveira (U. Hong Kong) * Jens Palsberg (UCLA) * João Saraiva (Minho U.) * Tom Schrijvers (KU Leuven) * Eijiro Sumii (Tohoku U.) * Walid Taha (Halmstad U.) * Nobuko Yoshida (Imperial C. London)

1 0

10 PhD studentships in Nottingham
by Graham Hutton 17 Dec '19

17 Dec '19

Dear all, The School of Computer Science at the University of Nottingham is seeking applications for 10 fully-funded international PhD studentships: https://tinyurl.com/10-phds-2020 Applicants in the area of the Functional Programming Laboratory (https://tinyurl.com/fp-notts) are strongly encouraged! If you are interested in applying, please contact a potential supervisor as soon as possible (the application deadline is 17th January): Thorsten Altenkirch - constructive logic, proof assistants, homotopy type theory, category theory, lambda calculus. Venanzio Capretta - type theory, mathemZZatical logic, corecursive structures, proof assistants, category theory, epistemic logic. Graham Hutton - not taking on any new students this year, but you may find these notes useful: https://tinyurl.com/scbkxkr Henrik Nilsson - functional reactive programming, domain- specific languages, generalised notions of computation. These positions are only open to international applicants. An advert for UK/EU applicants will be posted in January 2020. Best wishes, Graham +-----------------------------------------------------------+ 10 Fully-Funded International PhD Studentships School of Computer Science University of Nottingham, UK https://tinyurl.com/10-phds-2020 Applications are invited for 10 fully-funded international PhD studentships in the School of Computer Science at the University of Nottingham, starting on 1st October 2020. The topics for the studentships are open, but should relate to the interests of one of the School’s research groups: Agents Lab; Computational Optimisation and Learning Lab; Computer Vision Lab; Functional Programming; Intelligent Modelling and Analysis; Mixed Reality Lab; Data Driven Algorithms, Systems and Design and Uncertainty in Data and Decision Making The studentships are for three and a half years and include a stipend of £15,009 per year and tuition fees. Applicants are normally expected to have a first-class Masters or Bachelors degree in Computer Science or a related discipline, and must obtain the support of a potential supervisor in the School prior to submitting their application. Initial contact with supervisors should be made at least two weeks prior to the closing date for applications. Successful applicants are expected to apply for an International VC Scholarship. Informal enquiries may be addressed to Kathleen.Fennemore(a)nottingham.ac.uk. To apply, please submit the following items by email to: Marc.Williams(a)nottingham.ac.uk: (1) a copy of your CV, including your actual or expected degree class(es), and results of all University examinations; (2) an example of your technical writing, such as a project report or dissertation; (3) contact details for two academic referees. (4) a research proposal – max 2 x sides A4 You may also include a covering letter but this is optional. Closing date for applications: Friday 17 January 2020. +-----------------------------------------------------------+ 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 contact the sender and delete the email and attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. Email communications with the University of Nottingham may be monitored where permitted by law.

1 0

Call for Participation: BOB 2020 (February 28, Berlin)
by Stefan Wehr 16 Dec '19

16 Dec '19

================================================================================ BOB 2020 Conference “What happens if we simply use what’s best?” February 28, 2020, Berlin http://bobkonf.de/2020/ Program: http://bobkonf.de/2020/en/program.html Registration: http://bobkonf.de/2020/en/registration.html ================================================================================ BOB is the conference for developers, architects and decision-makers to explore technologies beyond the mainstream in software development, and to find the best tools available to software developers today. Our goal is for all participants of BOB to return home with new insights that enable them to improve their own software development experiences. The program features 14 talks and 8 tutorials on current topics: http://bobkonf.de/2020/en/program.html The subject range of talks includes functional programming, formal methods, architecture documentation, functional-reactive programming, and language design. The tutorials feature introductions to Idris, Haskell, F#, TLA+, ReasonML, and probabilistic programming. Heather Miller will give the keynote talk. Registration is open online: http://bobkonf.de/2020/en/registration.html NOTE: The early-bird rates expire on February 19, 2020! BOB cooperates with racketfest and :clojureD on the day before/after BOB: https://racketfest.com/ https://clojured.de/

1 0