April 2017 - Haskell - Haskell.org

functional programming jobs at genomics company in New York City
by Ashish Agarwal 13 Apr '17

13 Apr '17

Solvuu is a startup developing software for the life sciences industry. Our core technology is based on ideas from type theory and functional programming, and our software is implemented almost entirely in OCaml. We develop software across the full stack: cloud infrastructure management, job scheduling, data management and security, clients and servers for many APIs, rich websites, and much more. We are currently hiring 2 full-time OCaml programmers in New York City. We are open to a spectrum of qualifications, but basically the more OCaml you know the better (including related languages such as Haskell, F#, and SML). Ideal candidates will have at least 5 years of experience developing production software in one of these languages, whether in industry or as an academic active in the open source community. We are offering great compensation packages that include salary, equity, and the usual things like health care and a ping pong table. Most importantly, you will build great technology to advance society in areas as important as cancer treatment, drug discovery, and agriculture. And you get to do all of that in Manhattan, one of the most vibrant and beautiful cities in the world. To apply, please contact me directly (ashish(a)solvuu.com) with your resume/CV. International applicants are welcome, but the reality is getting a visa will be challenging. We are willing to try and may explore options for exceptional candidates. About Genomics: Our primary focus is on genomics, an industry driven by a dramatic decrease in the cost of DNA sequencing. Fifteen years ago it cost $100,000,000 to sequence a single human genome, today it costs $1000, and in a couple of years it is expected to cost $100. This has spawned multiple new industries that face serious computational challenges due to the size and complexity of the data and associated algorithms. Solvuu addresses the full spectrum of computational needs of this important market. We have great investors and partnerships, and are now building a great engineering team. Please join us. Solvuu is headquartered in New York City and also has an office in Silicon Valley.

1 0

ANN: HacFreiburg 2017, Friday 4 August - Sunday 6 August, Freiburg, Germany
by Stefan Wehr 12 Apr '17

12 Apr '17

Dear Haskellers, there is another Haskell Hackathon, taking place in Freiburg, Germany this year! When: Friday 4 August 2017 - Sunday 6 August 2017 Where: Faculty of Engineering, University of Freiburg, Germany (https://goo.gl/maps/ZcHWLpMPhtj) Info page: https://wiki.haskell.org/HacFreiburg2017 Organizers: Peter Thiemann, Alexander Thiemann, Stefan Wehr HacFreiburg is another Haskell Hackathon, where Haskell programmers from all around the world meet in Freiburg, Germany, to discuss, hack together and improve the Haskell infrastructure. We welcome all programmers interested in Haskell, beginners and experts! The Haskell Hackathon in Freiburg is part of the "Sommercampus 2017" (https://sommercampus.fachschaft.tf/en/) organized by the Faculty of Engineering at the University of Freiburg. Hope to see you there, Stefan (with Peter and Alex)

1 0

Journal of Functional Programming - Call for PhD Abstracts
by Graham Hutton 11 Apr '17

11 Apr '17

Dear all, 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 30th April 2017. Please share! Best wishes, Graham Hutton ============================================================ CALL FOR PHD ABSTRACTS Journal of Functional Programming Deadline: 30th April 2017 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 <graham.hutton(a)nottingham.ac.uk> by 30th April 2017. 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.

1 0

2nd CFP - Only Two Weeks Left: International Workshop on OCL and Textual Modeling (OCL 2017)
by Achim D. Brucker 10 Apr '17

10 Apr '17

(Apologies for duplicates) -- Dr. Achim D. Brucker | Software Assurance & Security | University of Sheffield https://www.brucker.ch | https://logicalhacking.com/blog @adbrucker | @logicalhacking

1 0

Compose Conference Call for Participation [NYC, May 18-19]
by Gershom B 09 Apr '17

09 Apr '17

=============================================== Call for Participation Compose Conference 2017 May 18-19 2017 New York, NY http://www.composeconference.org/2017 =============================================== The practice and craft of functional programming :: Conference Compose is a conference for typed functional programmers, focused specifically on Haskell, OCaml, F#, SML, and related technologies. Typed functional programming has been taken up widely, by industry and hobbyists alike. For many of us it has renewed our belief that code should be beautiful, and that programming can be as enjoyable as it is practical. Compose is about bringing together functional programmers of all levels of skill and experience — from technical leads to novices, and from long-time hackers to students just getting started. It will feature a keynote by Emily Riehl on aspects of category theory and computation, and two days of great talks. * Invited Talks Emily Riehl: TBA * Local Information (venue): http://www.composeconference.org/2017/ * Accepted Talks and Tutorials Barry Burd - Teaching Haskell David Rhodes - Learning F#: Case study with branch and bound Edmund Cape - Multiplying by 1 - an important form of computation and how it reveals distinctions between kleislis Enzo Alda, et al. - Reactive Sheets: an intuitive approach to functional‑reactive computing Hezekiah Carty and Chris Donaher - Distrest - REST access to distributed services Hongbo Zhang - BuckleScript: Making functional programming accessible to JavaScript developers Jennifer Paykin, Kenneth Foner, Antal Spector-Zabusky - `choose` Your Own Derivative Joachim Breitner - Lock-step simulation is child’s play Martín Ceresa, Gustavo Grieco - QuickFuzz Testing for Fun and Profit Michael Chavinda - Android programming in Froid Nikhil Barthwal - Implementing an Event-Driven Microservices Architecture in F#: A case study of Jet.com Nikita Volkov - New Hasql - a simpler, safer and faster Postgres client Sebastien Mondet - Typed-Tagless Final Bioinformatics Stephen Compall - Working with Monads in OCaml Stuart Popejoy - Smart Contracts and Formal Verification with Z3 with Pact Tikhon Jelvis - The Probability Monad Yaron Minsky - Data Driven UIs, Incrementally * Full abstracts: http://www.composeconference.org/2017/program * Registration: http://composeconference.eventbrite.com * Follow @composeconf on twitter for news: https://twitter.com/composeconf * On freenode irc, chat with fellow attendees at #composeconference * Corporate sponsorships are welcome. Current sponsors list forthcoming. * Policies (diversity and anti-harassment): http://www.composeconference.org/conduct * Email us with any questions at info(a)composeconference.org * Please forward this announcement to interested parties and lists.

1 0

Haskell Tools
by Boldizsár Németh 06 Apr '17

06 Apr '17

Dear Haskellers, I'm happy to announce a new tool for refactoring Haskell source code. Check it out: http://haskelltools.org/ Best Regards, Boldizsár Németh

2 2

OPLSS: register by April 15th
by Amal Ahmed 05 Apr '17

05 Apr '17

*** The OPLSS registration deadline has been extended to April 15th *** We are pleased to announce the program for the 16th annual Oregon Programming Languages Summer School (OPLSS) to be held from June 26th to July 8th, 2017 at the University of Oregon in Eugene. The registration deadline is April 1st, 2017. Full information on registration and scholarships can be found here: http://www.cs.uoregon.edu/Activities/summerschool <http://www.cs.uoregon.edu/Activities/summerschool> This year's program is titled: A Spectrum of Types. The speakers and topics include: Amal Ahmed -- Correct and Secure Compilation for Multi-Language Software Northeastern University Edwin Brady -- Dependent Types in the Idris Programming Language University of St. Andrews Ron Garcia -- Gradual Typing University of British Columbia Robert Harper -- Programming Languages Background Carnegie Mellon University Neel Krishnaswami -- Dependent Types and Linearity University of Cambridge Dan Licata -- Programming Languages Background Wesleyan University Frank Pfenning -- Substructural Type Systems and Concurrent Programming Carnegie Mellon University Sam Tobin-Hochstadt -- Contracts and Gradual Types Indiana University David Van Horn -- Redex, Abstract Machines, and Abstract Interpretation University of Maryland The school has a long and successful tradition (sponsored by the NSF, ACM SIGPLAN, and industry). It covers current research in the theory and practice of programming languages. Material is presented at a tutorial level that will help graduate students and researchers from academia or industry understand the critical issues and open problems confronting the field. Prerequisites are an elementary knowledge of logic and mathematics, as covered in undergraduate classes on discrete mathematics, and some knowledge of programming languages at the level of an undergraduate survey course. A *new feature* this year is the option for students to attend a Review session from June 23rd to 25th -- the three days before the summer school officially begins. The review will cover operational semantics, type systems, and basic proof techniques, and will help graduate and especially undergraduate students who have not had a previous course in this material prepare for the main part of the school. Please contact the organizers if you have questions about whether the review will be helpful given your background. We hope you can join us for this excellent program! Amal Ahmed Dan Licata Zena Ariola

1 0

CFP: IEEE DS-RT 2017 (October 18-20, Rome, Italy)
by Robson De Grande 05 Apr '17

05 Apr '17

------------------------------------------------------------------------------------ Please accept our apologies if you have received multiple copies. ------------------------------------------------------------------------------------ Call for Papers - DS-RT 2017 21st IEEE/ACM* International Symposium on Distributed Simulation and Real Time Applications http://ds-rt.com/ October 18 - 20, 2017, Rome, Italy *IEEE/ACM Pending Upon Approval ----------------------------------------------------------------------- IMPORTANT: Submission deadline: May 5th, 2017 *** The Symposium *** The 2017 IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2017) promises to be a grand affair and will take place in London, UK. DS-RT 2017 serves as a platform for simulationists from academia, industry and research labs for presenting recent research results in Distributed Simulation and Real Time Applications. DS-RT 2017 targets the growing overlap between large distributed simulations and real-time applications, such as collaborative virtual environments, pervasive and ubiquitous application scenarios, motor-, controller-, sensor- and actuator systems. The conference features prominent invited speakers as well as papers by top researchers in the field. DS-RT 2017 will include contributed technical papers, invited papers, and panel discussions. The proceedings will be published by IEEE-CS press. *** Call for Papers *** DS-RT provides an international forum for the discussion and presentation of original ideas, recent results and achievements by researchers, research students, and systems developers on issues and challenges related to distributed simulation and real-time applications. Authors are encouraged to submit both theoretical and practical results of significance. Demonstration of new tools/applications is very encouraged. The scope of the symposium includes, but is not limited to: - Paradigms, Methodology and Software Architectures for Large Scale Distributed and Real-Time Simulations (e.g. Parallel and Distributed Simulation, Multi-Agent Based Distributed Simulation, HLA/RTI, Web, Grid and cloud-based Simulation, hardware-software co-design for extreme-scale simulations) - Paradigms, Modelling, Architecture and Environments for Large Scale Real-time Systems and Concurrent Systems with hard and soft Real-Time Constraints - Advanced modelling techniques (reuse of models, new modelling languages, agent-based M&S, and spatial M&S) - Non-functional Properties of Distributed Simulation and Real-Time Systems (e.g. Dependability, Availability, Reliability, Maintainability, Safety, Security, Trustworthiness, QoS) - Theoretical Foundations of Large-Scale Real-Time and Simulation Models (e.g. Event Systems, Causality, Space-Time Models, Notions of Time, Discrete and Continuous Systems, Simulator Coordination) - Simulation Studies at Large and Very Large Scale (e.g. Industrial, Commercial, Ecological and Environmental, Societal, Power and Energy, Pervasive and Ubiquitous Computing Systems) - Performance and Validation of Large-Scale and Distributed Simulations (e.g., benchmarking and analytical results, empirical studies DIS, HLA/RTI studies) - Algorithms and methods for parallel or distributed simulation (synchronization, scheduling, memory management, and load balancing) - Languages and Tools, Development Environments, Data Interfaces, Network Protocols and Model Repositories that address Very Large Simulations - Data Management and Distribution Issues, Interest Management, Semantic Modelling, Multi-resolution Modelling, Dead-Reckoning Mechanisms - Pervasive and Ubiquitous Computing Architectures and Applications that involve Simulations and/or adhere to Real-Time Constraints - Simulation-based Virtual Environments and Mixed Reality Systems (e.g. Interactive Virtual Reality, Human Communication through Immersive Environments) - Collaborative Virtual and Augmented Reality, Shared Interaction Spaces, Telepresence Systems and Shared Workspaces, 3D Video and Acoustic Reconstruction, Shared Object Manipulation - Serious Gaming and Massive Multiplayer Online Games (MMOG) applications, architectures and scalability issues - Visual Interactive Simulation Environments (e.g., Generic Animation, Visual Interactive Modelling, Interactive Computer Based Training and Learning, Scientific Visualization, High-End Computer Graphics) - Design Issues, Interaction Designs, Human Commuter Interaction Issues raised by Large Scale DS-RT Systems - Media Convergence (e.g. New Technologies, Media Theory, Real-Time considerations of Multi-Modality, etc.) - Innovative Styles of Interactions with Large Scale DS-RT Systems (e.g. Implicit, Situative and Attentive Interaction, Tangible Interaction, Embedded Interaction, etc.) - Technologies for Living Labs (e.g. Mirror World Simulation, Interoperability, Large Scale Multi-Sensor Networks, Global Wireless Communication, Multi-Stakeholder Understanding and Innovation) - Environmental and Emerging Simulation Challenges (e.g. Growth of Human Population, Climate Change, CO2, Health Care, Ecosystems, Sustainable Development, Water and Energy Supply, Human Mobility, Air Traffic, World Stock Markets, Food Supply Chains, Megacities, Smart Cities, Disaster Planning, etc.) - Advanced Simulation Studies and Technologies (e.g. Discrete event, continuous Simulation, etc.) - Cognitive Modelling and Simulation, Artificial Intelligence in Simulation, and Neural Network Models and Simulation - Service-oriented Computing and Simulation, Web-based Modelling and Simulation, and Simulation of Multimedia Applications and Systems - Advances in Simulation Methodology and Practices - Smart Network Design and Traffic Modelling Authors of selected papers will be invited to submit extended versions of their papers to the Journal of Simulation. *** Important Dates *** Paper Submission Deadline: May 5th, 2017 Notification of Acceptance: June June 5th, 2017 Camera Ready version due: July 10th, 2017 Symposium presentation: September 18-20 2017 *** Submission *** Papers must be unpublished and must not be submitted for publication elsewhere. All papers will be reviewed by Technical Program Committee members and other experts active in the field to ensure high quality and relevance to the conference. Accepted papers will appear in the conference proceedings to be published by IEEE-CS press. General information regarding submission can be found at http://ds-rt.com/. Questions from authors may be directed to the Program Co-Chairs. IMPORTANT: ATTENDANCE BY AT LEAST ONE AUTHOR IS MANDATORY *** ORGANIZING COMMITTEE*** General Chair Alfredo Garro, University of Calabria, Italy Program Chair Andrea D'Ambrogio, University of Rome "Tor Vergata", Italy Registration Chair Simona Citrigno, ICT-SUD Competence Center, Italy Publicity Co-Chairs Simon J. E. Taylor, Brunel University, United Kingdom Mirela Sechi Moretti, FAERO/AeroTD, Brazil Special Sessions Co-Chairs Anthony Ventresque, Lero & University College Dublin, Ireland Robson De Grande, University of Ottawa, Canada Posters Chair Floriano De Rango, University of Calabria, Italy

1 0

20th ACM MSWiM 2017 - Miami Beach, FL
by Robson De Grande 05 Apr '17

05 Apr '17

=================================================== Call-For-Papers: 20th ACM MSWiM 2017 Miami Beach, Florida, Nov 21-25, 2017 http://www.mswimconf.com/2017 ==================================================== IMPORTANT: Submission deadline: May 20th 2017 =================================================== *Pending Upon Approval Note: Extended versions of selected papers will be considered for publication in a Fast Track issue of Elsevier's Computer Communications. ===================================================== ACM* MSWiM 2017 is the 20th Annual International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems. MSWiM is an international forum dedicated to in-depth discussion of Wireless and Mobile systems, networks, algorithms and applications, with an emphasis on rigorous performance evaluation. MSWiM is a highly selective conference with a long track record of publishing innovative ideas and breakthroughs. MSWiM 2017 will be held Malta, Nov 21-25, 2017 Authors are encouraged to submit full papers presenting new research related to the theory or practice of all aspects of modeling, analysis and simulation of mobile and wireless systems. Submitted papers must not have been published elsewhere nor currently be under review by another conference or journal. Papers related to wireless and mobile network Modeling, Analysis, Design, and Simulation are solicited on, but not limited to, the following topics in mobile and wireless systems: -- Wireless Communication and Mobile Networking - Performance evaluation and modeling - Analytical Models - Simulation languages and tools for wireless systems - Wireless measurements tools and experiences - Formal methods for analysis of wireless systems - Correctness, survivability and reliability evaluation - Mobility modeling and management - Models and protocols for cognitive radio networks - Models and protocols for autonomic, or self-* networks - Capacity, coverage and connectivity modeling and analysis - Wireless network algorithms and protocols - Software Defined Network - Services for Smart City - Wireless PANs, LANs - Ad hoc and MESH networks - Vehicular Ad-hoc Networks (VANET) - Sensor and actuator networks - Delay Tolerant Networks - Integration of wired and wireless systems - Pervasive computing and emerging models - Wireless multimedia systems - QoS provisioning in wireless and mobile networks - Security and privacy of mobile/wireless systems - Algorithms and protocols for energy efficient operation and power control - Mobile applications, system software and algorithms - RF channel modeling and analysis - Design methodologies, Tools, prototypes and testbeds - Parallel and distributed simulation of wireless systems - Operating systems for mobile computations - Programming language support for mobility - Resource management techniques - Management of mobile object systems Paper Submission and Publication: High-quality original papers are solicited. Papers must be unpublished and must not be submitted for publication elsewhere. All papers will be reviewed by Technical Program Committee members and other experts active in the field to ensure high quality and relevance to the conference. More detailed instructions for EDAS paper submission can be found at http://www.mswimconf.com/2017. Accepted papers will appear in the conference proceedings to be published by ACM Press. Important Dates: Paper Registration (Full list of authors, title, keywords, abstract): May 20th 2017 Paper Submission Deadline: May 20, 2017 Notification of Acceptance: June 30, 2017 Organizing Committee: General Co-Chair: - Antonio Loureiro, UFMG, Brazil TPC Co-Chairs: - Richard Yu, Carleton University Canada - Hsiao-Chun Wu, Louisana State University, USA Tutorial Chairs: - Pan Li, Case Western Reserve University, USA, - Costas Bush, Louisiana State University, USA Workshop Chair: - Paolo Bellavista, University of Bologna, Italy Demos/Toosl Chair - Raquel Mini, PUC-Minas, Brazil PhD Forum Chair - Bjorn Landfeldt, Lund University, Sweeden

1 0

Call for Papers DBPL 2017
by Alexander Alexandrov 05 Apr '17

05 Apr '17

The 16th International Symposium on Database Programming Languages (DBPL 2017) ============================================================================== The 16th International Symposium on Database Programming Languages (DBPL 2017) will be held in conjunction with VLDB 2017 on September 1st, 2017 in Munich, Germany. General Information ------------------------------------------------------------------------------ DBPL is a biennial symposium that aims to foster exchange of ideas and discussion about current trends and open problems between the data management and the programming languages research communities. For over 30 years, DBPL has established itself as the principal venue for publishing and discussing new ideas and problems at the intersection of data management and programming languages. Many key contributions relevant to the formal foundations, design, implementation, and evaluation of query languages (e.g., for object-oriented, nested, or semi-structured data) were first announced at DBPL. As an established destination for such new ideas, DBPL aims to solicit submissions from researchers in databases, programming languages or any other community interested in the design, implementation or foundations of languages and systems for data-centric computation. Our main goal is to provide an inter-disciplinary venue where current trends, open problems, as well as insights about research methodology for potential solutions can be shared and discussed between the two communities. Important Dates ------------------------------------------------------------------------------ - Abstracts submission deadline: May 5th, 2017 - Papers submission deadline: May 12th, 2017 - Notification of acceptance: June 19th, 2017 - Workshop: September 1st, 2017 Organizers ------------------------------------------------------------------------------ Workshop Chairs - Tiark Rompf, Purdue University, USA - Alexander Alexandrov, TU Berlin, Germany Steering Committee - Torsten Grust, Universität Tübingen, Germany - James Cheney, University of Edinburgh, UK - Thomas Neumann, TU München, Germany Program Committee - Peter Alvaro, UC Santa Cruz, USA - Nada Amin, EPFL, Switzerland - Sebastian Breß, TU Berlin, Germany - Hassan Chafi, Oracle, USA - Fritz Henglein, University of Copenhagen, Denmark - Mohammad Sadoghi, Purdue University, USA - Ce Zhang, ETH, Switzerland - Danica Porobic, Oracle, USA - Alvin Cheung, University of Washington, USA Scope and Topics ------------------------------------------------------------------------------ DBPL 2017 solicits theoretical and practical papers in all areas of Data-Centric Programming Languages. Papers emphasizing new topics or foundations of emerging areas are especially welcome. Topics of interest for submissions include: - Programming Abstractions and Type Systems for Data-Centric Batch or Stream Processing - Data-Centric Language Design - Data-Centric Language Semantics - Data-Centric Language Optimizations and Transformations - Data-Centric Language Compilation to Emerging Hardware or Software Platforms - Data Integration, Exchange, and Interoperability - Declarative Data Centers - Emerging and Nontraditional Data Models - Language-Based Security in Data Management - Language-Integrated Query Mechanisms - Managing Uncertain and Imprecise Information - Metaprogramming and Heterogeneous Staged Computation - Programming Language Support for Databases - Schema Mapping and Metadata Management - Semantics and Verification of Database Systems - Validation, Type-checking Author Guidelines ------------------------------------------------------------------------------ Prospective authors are invited to submit full papers in English presenting original research. Submitted papers must be unpublished and not submitted for publication elsewhere. Submissions should be no more than 10 pages long using the [ACM Standard] proceedings template. Each submission should begin with a succinct statement of the problem and a summary of the main results. Authors may provide more details to substantiate the main claims of the paper by including a clearly marked appendix at the end of the submission, which is not included in the page limit and is read at the discretion of the committee. At least one author of each accepted paper must attend the symposium to present their work. Short papers of at most 4 pages in the [ACM Standard] proceedings template describing work in progress, demos, research challenges or visions are also welcome. Accepted short papers may be included or excluded from the formal proceedings, whichever the author(s) prefer. Full and short papers are both due on the deadline, May 12, 2017. Abstracts of full papers should be submitted by May 5th to aid reviewer selection. For detailed submission guidelines, please visit the [Workshop Homepage]. [ACM Standard] https://www.acm.org/publications/proceedings-template [Workshop Homepage] http://dbpl2017.org

1 0