April 2017 - Haskell - Haskell.org

CFP: Workshop on Type-driven Development (TyDe '17)
by Brent Yorgey 04 May '17

04 May '17

-------------------------------------------------------------------------------- CALL FOR PAPERS 2nd Workshop on Type-Driven Development (TyDe '17) 3 September 2017, Oxford, UK http://tydeworkshop.org/2017 -------------------------------------------------------------------------------- # Goals of the workshop The workshop on Type-Driven Development aims to show how static type information may be used effectively in the development of computer programs. Co-located with ICFP, this workshop brings together leading researchers and practitioners who are using or exploring types as a means of program development. We welcome all contributions, both theoretical and practical, on a range of topics including: - dependently typed programming; - generic programming; - design and implementation of programming languages, exploiting types in novel ways; - exploiting typed data, data dependent data, or type providers; - static and dynamic analyses of typed programs; - tools, IDEs, or testing tools exploiting type information; - pearls, being elegant, instructive examples of types used in the derivation, calculation, or construction of programs. # Invited speaker Andrew Kennedy, Facebook, UK # Program Committee - Nada Amin, EPFL, Switzerland - Ana Bove, Chalmers University of Technology, Sweden - Patricia Johann, Appalachian State University, US - Yukiyoshi Kameyama, University of Tsukuba, Japan - Sam Lindley, The University of Edinburgh, UK (co-chair) - Limin Jia, CMU, US - Assia Mahboubi, INRIA Saclay, France - Liam O’Connor, University of New South Wales, Australia - Nicolas Oury, Jane Street, UK - Jennifer Paykin, University of Pennsylvania, US - Paula Severi, University of Leicester, UK - Tarmo Uustalu, Tallinn University of Technology, Estonia - Jeremy Yallop, University of Cambridge, UK - Brent Yorgey, Hendrix College, US (co-chair) # Proceedings and Copyright We plan to have formal proceedings, published by the ACM. Accepted papers will be included in the ACM Digital Library. Authors must grant ACM publication rights upon acceptance, but may retain copyright if they wish. Authors are encouraged to publish auxiliary material with their paper (source code, test data, and so forth). The proceedings will be freely available for download from the ACM Digital Library from one week before the start of the conference until two weeks after the conference. # Submission details Submissions should fall into one of two categories: - Regular research papers (12 pages) - Extended abstracts (2 pages) The bibliography will not be counted against the page limits for either category. Regular research papers are expected to present novel and interesting research results, and will be included in the formal proceedings. Extended abstracts should report work in progress that the authors would like to present at the workshop. Extended abstracts will be distributed to workshop attendees but will not be published in the formal proceedings. We welcome submissions from PC members (with the exception of the two co-chairs), but these submissions will be held to a higher standard. Submission is handled through HotCRP: https://icfp-tyde17.hotcrp.com/ All submissions should be in portable document format (PDF) and formatted using the ACM SIGPLAN style guidelines: http://www.sigplan.org/Resources/Author/ *Note* that the ACM SIGPLAN style guidelines have changed from previous years! In particular, submissions should use the new 'acmart' format and 'sigplan' subformat. Extended abstracts must be submitted with the label 'Extended abstract' clearly in the title. # Important Dates - Regular paper deadline: Wednesday, 24th May, 2017 - Extended abstract deadline: Wednesday, 7th June, 2017 - Author notification: Wednesday, 28th June, 2017 - Deadline for camera ready version: Saturday, 15th July, 2017 - Workshop: Sunday, 3rd September, 2017 # Travel Support Student attendees with accepted papers can apply for a SIGPLAN PAC grant to help cover travel expenses. PAC also offers other support, such as for child-care expenses during the meeting or for travel costs for companions of SIGPLAN members with physical disabilities, as well as for travel from locations outside of North America and Europe. For details on the PAC program, see its web page: http://www.sigplan.org/PAC/

1 1

Deadline Extension: International Workshop on OCL and Textual Modeling (OCL 2017)
by Achim D. Brucker 29 Apr '17

29 Apr '17

(Apologies for duplicates) New Deadline: May 7, 2017 CALL FOR PAPERS 17th International Workshop on OCL and Textual Modeling Co-located with STAF 2017 SOFTWARE TECHNOLOGIES: APPLICATIONS AND FOUNDATIONS July 20, 2017, Marburg, Germany http://oclworkshop.github.io Modeling started out with UML and its precursors as a graphical notation. Such visual representations enable direct intuitive capturing of reality, but they have weaknesses: for example, detailed visual representations bear the risk of becoming overcrowded faster than textual models and some of the visual features lack the level of precision required to create complete and unambiguous specifications. These weaknesses of graphical notations encouraged the development of text-based modeling languages that either integrate with or replace graphical notations for modeling. Typical examples of such languages are OCL, textual MOF, Epsilon, and Alloy. Textual modeling languages have their roots in formal language paradigms like logic, programming and databases. The goal of this workshop is to create a forum where researchers and practitioners interested in building models using OCL or other kinds of textual languages can directly interact, report advances, share results, identify tools for language development, and discuss appropriate standards. In particular, the workshop will encourage discussions for achieving synergy from different modeling language concepts and modeling language use. The close interaction will enable researchers and practitioners to identify common interests and options for potential cooperation. ## Topics of interest Topics of interest include (but are not limited to): - Mappings between textual modeling languages and other languages/formalisms - Algorithms, evaluation strategies and optimizations in the context of textual modeling languages for: - validation, verification, and testing, - model transformation and code generation, - meta-modeling and DSLs, and - query and constraint specifications - Alternative graphical/textual notations for textual modeling languages - Evolution, transformation and simplification of textual modeling expressions - Libraries, templates and patterns for textual modeling languages - Tools that support textual modeling languages (e.g., verification of OCL formulae, runtime monitoring of invariants) - Complexity results for textual modeling languages - Quality models and benchmarks for comparing and evaluating textual modeling tools and algorithms - Successful applications of textual modeling languages - Case studies on industrial applications of textual modeling languages - Experience reports: - usage of textual modeling languages and tools in complex domains, - usability of textual modeling languages and tools for end-users - Empirical studies about the benefits and drawbacks of textual modeling languages - Innovative textual modeling tools - Comparison, evaluation and integration of modeling languages - Correlation between modeling languages and modeling tasks This year, we particularly encourage submissions describing applications and case studies of textual modeling as well as test suites and benchmark collections for evaluating textual modeling tools. ## Venue This workshop will be organized as a part of STAF 2017 Conferenze in Marburg, Germany. It was previously organized as part of the MODELS conference. Similar to its predecessors , the workshop addresses both people from academia and industry . The aim is to provide a forum for addressing integration of OCL and other textual modeling languages , as well as tools for textual modeling , and for disseminating good practice and discussing the new requirements for textual modeling . ## Workshop Format The workshop will include short (about 15 min) presentations, parallel sessions of working groups, and sum-up discussions. ## Submissions Two types of papers will be considered: * Short contributions (between 6 and 8 pages) describing new ideas, innovative tools or position papers. * Full papers (between 12 and 16 pages). in LNCS format. Submissions should be uploaded to [EasyChair](https://easychair.org/conferences/?conf=ocl2017). The program committee will review the submissions (minimum 2 reviews per paper, usually 3 reviews) and select papers according to their relevance and interest for discussions that will take place at the workshop. Accepted papers will be published online in a post-conference edition of [CEUR](http://www.ceur-ws.org). ## Important Dates - Submission of papers: May 7, 2017 (extended) - Notification: May 25, 2017 - Workshop date: July 20, 2017 -- Dr. Achim D. Brucker | Software Assurance & Security | University of Sheffield https://www.brucker.ch | https://logicalhacking.com/blog @adbrucker | @logicalhacking

1 0

ANN: wxHaskell 0.92.3.0
by Henk-Jan van Tuyl 28 Apr '17

28 Apr '17

L.S., I am happy to announce a new version of wxHaskell: 0.92.3.0 Windows users can still use wxInstall Achelanne 0.1 to install this new version of wxHaskell.[0][1] Changes in wxHaskell since 0.92.2: - Improvements for compilation on BSD platform - Improved commandline handling - Sample program PaintGC.hs added - Compilation can now be done with an alternative wx-config.exe - Simplification of Windows build process with Stack - Several bugs solved Thanks to everyone who contributed! What is wxHaskell? ------------------ wxHaskell[2] is a portable and native GUI library for Haskell. The goal of the project is to provide an industrial strength GUI library for Haskell, but without the burden of developing (and maintaining) one ourselves. wxHaskell is therefore built on top of wxWidgets[3] – a comprehensive C++ library that is portable across all major GUI platforms; including GTK, Windows, X11, and MacOS X. Furthermore, it is a mature library (in development since 1992) that supports a wide range of widgets with the native look-and-feel. Links ----- See the homepage of wxHaskell for more information: https://wiki.haskell.org/WxHaskell Repository: https://github.com/wxHaskell/wxHaskell Tickets: https://sourceforge.net/p/wxhaskell/_list/tickets The packages are: - wxc https://hackage.haskell.org/package/wxc - wxdirect https://hackage.haskell.org/package/wxdirect - wxcore https://hackage.haskell.org/package/wxcore - wx https://hackage.haskell.org/package/wx Regards, Henk-Jan van Tuyl [0] http://sourceforge.net/projects/wxhaskell/files/wxInstall/ [1] https://wiki.haskell.org/WxHaskell/Windows#Installing_the_easy_way [2] https://wiki.haskell.org/WxHaskell [3] https://wxwidgets.org/ -- Folding@home What if you could share your unused computer power to help find a cure? In just 5 minutes you can join the world's biggest networked computer and get us closer sooner. Watch the video. http://folding.stanford.edu/ http://Van.Tuyl.eu/ http://members.chello.nl/hjgtuyl/tourdemonad.html Haskell programming --

1 0

CFP: ACM MobiWac 2017, Miami Beach, USA
by Robson De Grande 28 Apr '17

28 Apr '17

** We apologize if you receive multiple copies of this message ** ================================================================== The 15th ACM International Symposium on Mobility Management and Wireless Access (MobiWac 2017) November 21 - 25, 2017 - Miami Beach, USA http://mobiwac-symposium.org/ ================================================================== IMPORTANT: Submission deadline: June 30th 2017 ================================================================== NOTE: The best papers accepted in MOBIWac'17 will be selected for a fast track in Elsevier Computer Communications Journal. ================================================================== The 15th ACM International Symposium on Mobility Management and Wireless Access (MobiWac 2017) will be held in conjunction with MSWiM 2017 (the 20th ACM International Symposium on Modeling, Analysis and Simulation of Wireless and Mobile Systems) from November 21 to 25, 2017 in Miami Beach, USA. The MOBIWAC series of events are intended to provide an international forum for the discussion and presentation of original ideas, recent results and achievements by researchers, students, and systems developers on issues and challenges related to mobility management and wireless access protocols. To keep up with the technological developments, we also open up new areas such as mobile cloud computing starting from this year. Authors are encouraged to submit both theoretical and practical results of significance on all aspects of wireless and mobile access technologies, with an emphasis on mobility management and wireless access. Authors are invited to submit full papers describing original research. Submitted papers must neither have been published elsewhere nor currently be under review by another conference or journal. TOPICS OF INTEREST include, but are not limited to: - Mobile Cloud Computing - Wireless/Mobile Access Protocols - Wireless/Mobile Web Access - Wireless Internet and All-IP integration - Next Generation Wireless systems - Mobile Broadband Wireless Access - Pervasive Communication and Computing - Ubiquitous and mobile access - Wireless Applications and testbeds - Multi-Homing and Vertical Handoff - Multi-Channel Multi-Radio MAC / network layer management - Channels and resource allocation algorithms - Energy and power management algorithms - Mobility Models - Multi-technology switching using Software Defined Radios - Context-aware services and applications - Context-aware protocols and protocol architectures - Interactive applications - Mobile database management - Wireless Multimedia Protocols - Mobile and Wireless Entertainment - Mobile Info-services - Social mobile networks - Social mobile applications - Data analysis for mobile and wireless networks - SDN solutions in mobile and wireless networks - QoS management - Mobility Control and Management - Localization and tracking - Mobile/Vehicular environment access - Wireless ad hoc and sensor networks - Security,Trust management and Privacy issues - Fault Tolerance solutions - Wireless Systems' Design - Analysis/Simulation of wireless mobile systems - Testbeds for experimental and simulation analysis ORGANIZING COMMITTEE: General Chair Ángel Cuevas, Universidad Carlos III de Madrid, Spain Program Chairs Robson De Grande, University of Ottawa, Canada Amir Darehshoorzadeh, CISCO, Canada Posters/Demo Chair Graciela Román Alonso, Universidad Autónoma Metropolitana, Mexico Publicity Chairs Khalil El-Khatib, UOIT, Canada Mirela. A. M. Notare, Sao Jose Municipal University, Brazil ========================= Paper Submission, Publication, and Important Dates: 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 Symposium. The symposium will have a single track for regular papers and in addition, a separate interwoven track with short papers / posters. Paper length must be no more than 10 pages, double column, ACM style including tables and figures. Note that the regular paper size will be 8 pages, with the possibility to obtain up to 2 additional pages (total 10 pages) by paying a publication fee. Only PDF format is accepted. All accepted papers will appear in the Symposium proceedings published by ACM press. - Paper registration due: June 30, 2017 (11:59PM EST) - Submission Deadline: June 30, 2017 (11:59PM EST) - Notification of Acceptance: July 30, 2017 (11:59PM EST) Papers are submitted via the EDAS system (https://edas.info/N23669) For any question or problems related to MobiWac 2017 submissions, please contact the PC Chairs. FOR MORE INFORMATION about the conference, organizing committee, submission instructions, and venue please see the conference website (http://mobiwac-symposium.org)

1 0

Call for participation: TYPES 2017. Registration is open
by Ambrus Kaposi 28 Apr '17

28 Apr '17

* registration is open * invited talks: Sara Negri, Edwin Brady, Jakob Rehof * 51 contributed talks CALL FOR PARTICIPATION 23rd International Conference on Types for Proofs and Programs, TYPES 2017 and EUTYPES Cost Action CA15123 meeting Budapest, Hungary, 29 May - 1 June 2017 http://types2017.elte.hu BACKGROUND The TYPES meetings are a forum to present new and on-going work in all aspects of type theory and its applications, especially in formalised and computer assisted reasoning and computer programming. The TYPES areas of interest include, but are not limited to: * foundations of type theory and constructive mathematics; * applications of type theory; * dependently typed programming; * industrial uses of type theory technology; * meta-theoretic studies of type systems; * proof assistants and proof technology; * automation in computer-assisted reasoning; * links between type theory and functional programming; * formalizing mathematics using type theory. FINANCIAL SUPPORT The first two days of TYPES 2017, May 29 - 30 are organised by EUTypes Cost Action CA15123 (https://eutypes.cs.ru.nl) On May 30 there will be an EUTypes Management Committee (MC) meeting, and on both days there will be WG meetings. This means that members of the EUTypes MC will be invited for these 2 days through the e-cost system, and their cost of travel and stay will be covered. There will likely be some funding for a limited number of other invited speakers. The funding is subject to COST rules, and invitations will be sent out via the e-cost system after the 1st of May. INVITED SPEAKERS * Edwin Brady (University of St Andrews): An Architecture for Dependently Typed Applications in Idris * Sara Negri (University of Helsinki): TBA * Jakob Rehof (TU Dortmund): Bounding Principles for Decision Problems with Intersection Types CONTRIBUTED TALKS 51 talks were accepted, see http://types2017.elte.hu/#accepted for the list of accepted papers and http://types2017.elte.hu/#programme for the programme. REGISTRATION Registration is open: http://types2017.elte.hu/#registration The early bird fee is 250 EUR + 30 EUR for the excursion (optional). Please register for the excursion because it is a great opportunity for discussion of research ideas in a relaxed environment and for general networking. For students, the early bird registration fee is 200 EUR. VENUE Budapest is the capital of Hungary with around two million inhabitants. The conference will be held at Eötvös Loránd University. Among the graduates of this university were John von Neumann and Paul Erdos. The conference dinner will take place during a boat cruise on the river Danube which separates the Buda and Pest parts of the city. PROGRAMME COMMITTEE * Andreas Abel (Chalmers University Gothenburg) * Thorsten Altenkirch (University of Nottingham) * José Espirito Santo (University of Minho) * Fredrik Nordvall Forsberg (University of Strathclyde) * Silvia Ghilezan (University of Novi Sad) * Hugo Herbelin (INRIA Paris-Rocquencourt) * Martin Hofmann (Ludwig Maximilian University of Munich) * Ambrus Kaposi (Eötvös Loránd University) (co-chair) * Tamás Kozsik (Eötvös Loránd University) (co-chair) * Assia Mahboubi (INRIA) * Alexandre Miquel (University of the Republic, Uruguay) * Leonardo de Moura (Microsoft Research, Redmond, USA) * Keiko Nakata (SAP, Potsdam) * Andrew Polonsky (University Paris Diderot) * Simona Ronchi Della Rocca (Università di Torino) * Aleksy Schubert (University of Warsaw) * Wouter Swierstra (Utrecht University) * Tarmo Uustalu (Tallinn University of Technology) CONTACT Email: info(a)types2017.elte.hu Organisers: Ambrus Kaposi, Tamás Kozsik, András Kovács and the Department of Programming Languages and Compilers at the Faculty of Informatics, Eötvös Loránd University, Budapest.

1 0

ANN: stego-uuid-1.0.0.0
by Dimitri DeFigueiredo 28 Apr '17

28 Apr '17

Hello All, I have published the first version of stego-uuid. https://hackage.haskell.org/package/stego-uuid-1.0.0.0 stego-uuid allows one to secretly mark 128-bit UUIDs. When created from a random 64-bit number, the whole 128-bit UUID will look random to everyone, except those who know the secret detection key. For more details and usage examples, please refer to the documentation on hackage. Regards, Dimitri -- 2E45 D376 A744 C671 5100 A261 210B 8461 0FB0 CA1F

1 0

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

28 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 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

Fwd: Getting ready for Summer of Haskell 2017
by Jasper Van der Jeugt 25 Apr '17

25 Apr '17

Hey all, The student applications for Summer of Haskell 2017 are now open! You can apply at: https://goo.gl/forms/OAfyD0Oen2KvKu6t2 The application period is open until the 6th of May, so that should give you plenty of time. At this time, we are also actively *seeking mentors*. In case you would like to mentor a project, please let us know: https://summer.haskell.org/contact.html Thanks to the generous donations of our sponsors, we will be able to sponsor around 10 students this year (depending on the applications we receive). Our sponsors are: - haskell.org kicked things off this year by funding a student and organizing the Summer of Haskell 2017 after a successful Summer of Haskell 2016 <https://mail.haskell.org/pipermail/haskell-cafe/2016-December/125702.html> . - Asahi Net <https://asahi-net.jp/en/> is a Japanese Internet service provider that has been running stable systems for over 25 years. They are a proud sponsor of the Summer of Haskell, and contribute to the Japanese Haskell community. - Awake Networks <http://www.awakenetworks.com/> is building a next generation network security and analytics platform. They are a proud sponsor of the Summer of Haskell and contribute broadly to the Haskell community. - CodeWorld <http://code.world/> is an educational project that blends mathematics and Haskell programming into a visual playground. Chris Smith has volunteered to fund two students to work on CodeWorld in particular. - Digital Asset <http://digitalasset.com/> provides Distributed Ledger solutions for financial institutions globally. They have developed a pure, typed, functional, domain specific language for writing contracts, called DAML. They are a proud sponsor of the Summer of Haskell and contribute broadly to the Haskell community. - Facebook <http://facebook.com/> uses Haskell in its anti-abuse infrastructure <https://code.facebook.com/posts/745068642270222/fighting-spam-with-haskell/> and as part of that effort we open-sourced the Haxl <https://github.com/facebook/Haxl> framework which is being used at scale in production to automatically parallelise data-fetching code. We're delighted to be able to support the Haskell community's efforts by sponsoring a student for this year's Summer of Haskell. - Fugue Inc. <http://fugue.co/> radically simplifies cloud operations with its software-defined system for dynamically orchestrating and enforcing cloud infrastructure at scale. Fugue uses Haskell in its product and is proud to sponsor a student to improve the ecosystem. - Galois <http://galois.com/> applies cutting-edge computer science and applied mathematics to solve difficult technological problems, delivering practical solutions tailored to our clients’ needs. Haskell and other functional programming languages are key tools we use in providing these solutions. - IOHK <https://iohk.io/> is a technology company committed to using peer-to-peer technologies to provide financial services to the three billion people who don't have them. We implement our first-principles cryptographic research in Haskell and we are committed to the development of the Haskell ecosystem. - Tweag I/O <http://tweag.io> is a network of software innovation labs across Europe. We develop novel solutions and products for our clients around the world. Haskell is key to delivering fast, correct and maintainable code. We have shipped Haskell in anything from tiny web services to large high-performance compute clusters with custom hardware. We're particularly keen to help the community grow Haskell into the strongest systems programming language and ecosystem out there. We're very proud to sponsor a student this summer to help make it happen. - Davean has volunteered to fund a student expressly to work on the Hadrian build system for GHC <http:///ideas.html#hadrian-ghc>. Best, Niki Vazou & Jasper Van der Jeugt for the Haskell.org Committee On Wed, Apr 5, 2017 at 3:17 PM, Niki Vazou <nikivazou(a)gmail.com> wrote: > We are happy to announce that Summer of Haskell 2017 will host at least 8 > students, funded from the Haskell community and corporate sponsors. > > You can find all information (including the timeline) at the Summer of > Haskell new webpage: > > https://summer.haskell.org/ > > Students can submit applications from April 25th until the May 6th. We > recommend that interested students start thinking about their proposals and > brainstorm with potential mentors. In case you would like to participate as > a student, but you have no idea what to work on, we have a page dedicated > to ideas here: > > https://summer.haskell.org/ideas.html > > Teachers of FP courses at universities around the world are strongly > encouraged to share this announcement with their students. > > Mentors, as well as everyone from the community, are encouraged to > contribute ideas by sending pull requests to the Summer of Haskell > repository (or contacting us): > > https://github.com/haskell-org/summer-of-haskell > > Sponsors are still welcome, as we can add more slots if the necessary > funds become available. Combining our current individual donations with > partial sponsors, we only need $2000 more to fund an additional student. > Please consider making a small donation towards that goal. If you would > like to contribute do not hesitate to contact us or donate directly: > > https://wiki.haskell.org/Donate_to_Haskell.org > > We’d like to thank our current sponsors for making this Summer of Haskell > possible: > > haskell.org kicked things off this year by funding a student and > organizing the Summer of Haskell 2017 after a successful Summer of > Haskell 2016 > <https://mail.haskell.org/pipermail/haskell-cafe/2016-December/125702.html> > . > > Asahi Net <http://asahinet.com/> is a Japanese Internet service provider > that has been running stable systems for over 25 years. They are a proud > sponsor of the Summer of Haskell, and contribute to the Japanese Haskell > community. > > Awake Networks <http://www.awakenetworks.com/> is building a next > generation network security and analytics platform. They are a proud > sponsor of the Summer of Haskell and contribute broadly to the Haskell > community. > > CodeWorld <http://code.world/> is an educational project that blends > mathematics and Haskell programming into a visual playground. Chris Smith > has volunteered to fund two students to work on CodeWorld in particular. > > Facebook <http://facebook.com/> uses Haskell in its anti-abuse > infrastructure > <https://code.facebook.com/posts/745068642270222/fighting-spam-with-haskell/>, > and as part of that effort we open-sourced the Haxl > <https://github.com/facebook/Haxl> framework which is being used at scale > in production to automatically parallelise data-fetching code. We're > delighted to be able to support the Haskell community's efforts by > sponsoring a student for this year's Summer of Haskell. > > Fugue Inc. <http://fugue.co/> radically simplifies cloud operations with > its software-defined system for dynamically orchestrating and enforcing > cloud infrastructure at scale. Fugue uses Haskell in its product and is > proud to sponsor a student to improve the ecosystem. > > Galois <http://galois.com/> applies cutting-edge computer science and > applied mathematics to solve difficult technological problems, delivering > practical solutions tailored to our clients’ needs. Haskell and other > functional programming languages are key tools we use in providing these > solutions. > > Tweag I/O <http://tweag.io/> is a network of software innovation labs > across Europe. We develop novel solutions and products for our clients > around the world. Haskell is key to delivering fast, correct and > maintainable code. We have shipped Haskell in anything from tiny web > services to large high-performance compute clusters with custom hardware. > We're particularly keen to help the community grow Haskell into the > strongest systems programming language and ecosystem out there. We're very > proud to sponsor a student this summer to help make it happen. > > Finally, Davean has volunteered to fund a student expressly to work on > the Hadrian build system for GHC > <https://haskell-org.github.io/summer-of-haskell/ideas.html#hadrian-ghc>. > > Feel free to contact us at (nvazou at cs.umd.edu and m at jaspervdj.be) > if want to help or if you have any ideas, questions, or concerns. > > Best, > > Niki Vazou & Jasper Van der Jeugt > > for the Haskell.org Committee > >

1 0

CUFP 2017 Call for Tutorials
by Runhang Li 25 Apr '17

25 Apr '17

Call for Tutorials Commercial Users of Functional Programming (CUFP) 2017 September 7th-9th, 2017, Oxford, United Kingdom Co-located with International Conference on Functional Programming (ICFP) Dear Haskell community, Commercial Users of Functional Programming (CUFP) 2017 is now seeking tutorials proposals. Co-located with International Conference on Functional Programming (ICFP), Commercial Users of Functional Programming (CUFP) will take place in Oxford, U.K. from 7th to 9th of September, 2017. CUFP is devoted to showcase the state of the art of functional programming in industrial settings. We are looking for tutors who would like to host half-day tutorial sessions of the following topics: * Introductions to functional programming languages, e.g., Haskell, OCaml, Scala, F#, Scheme, Erlang, Clojure. * Advanced programming languages, concepts, or applications, e.g., Agda, Idris, F*, Coq, Eff. * Applications of functional languages in particular areas, including web, high-performance computing, and finance. * Tools and techniques supporting state of the art functional programming, e.g., ReasonML, TypeScript, Elm, QuickCheck, FlowType. * Theory. Type theory, category theory, abstract algebra, ongoing or new research, or anything useful or interesting to functional programmers. **Proposal submission deadline is May 25th** Details can be found at: http://cufp.org/2017/call-for-tutorials.html <http://cufp.org/2017/call-for-tutorials.html> Kindly, Runhang Li, CUFP 2017 tutorials co-chair

1 0

Senior Lectureships in Computer Science at Chalmers and Gothenburg U
by Andreas Abel 25 Apr '17

25 Apr '17

We are hiring full-time permanent lecturers! http://www.chalmers.se/en/about-chalmers/vacancies/Pages/default.aspx?rmpag… http://www.gu.se/english/about_the_university/job-opportunities/vacancies-d… The positions are focusing on teaching, but some time will be available for research as well. Excerpt from the description: Major responsibilities The scientific area is Computer Science, interpreted broadly. The position is a full-time tenured appointment with focus on education and pedagogical development. You will teach a variety of topics in Computer Science; there may include courses such as programming, data structures, algorithms and databases. You will also supervise bachelor level projects and master’s theses. Besides teaching, you will keep up with the technical and pedagogical development in the areas of the position and introduce new methods in the curriculum. As a faculty member you will share the responsibility of the administration and management of the department and the educational programmes. You will collaborate with industrial, academic or governmental partners, and take part in the research conducted at the department. In addition, you are encouraged to apply for funding of further pedagogical advancement of our programmes, and for research funding. -- Andreas Abel <>< Du bist der geliebte Mensch. Department of Computer Science and Engineering Chalmers and Gothenburg University, Sweden andreas.abel(a)gu.se http://www.cse.chalmers.se/~abela/

1 0