From compscience.announcement at gmail.com Sat Jul 1 05:11:15 2017 From: compscience.announcement at gmail.com (Klaus Havelund) Date: Fri, 30 Jun 2017 22:11:15 -0700 Subject: [Haskell] RV-CuBES Deadline Extension Message-ID: RV-CuBESAn International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification ToolsHeld in conjunction with the 17th International Conference on Runtime Verification (RV 2017) http://rv2017.cs.manchester.ac.uk/rv-cubes/ The goal of this workshop is to provide a venue to discuss ongoing efforts to improve how we evaluate and compare tools for runtime verification. This workshop invites submissions that contribute to this discussion (see below). The workshop replaces the Runtime Verification Competition this year, giving an opportunity for reflection and planning for the future. *HIGHLIGHTS* - We invite two kinds of submissions: tool overview papers of *existing* tools and position papers - Attendance at the workshop *is not compulsory* for submission, but encouraged - The workshop will be integrated into RV 2017 to engage with the wider RV community *BACKGROUND* Over the last three years, beginning in 2014, the Competition on Runtime Verification (CRV) has compared 14 different runtime verification tools using over 100 different benchmarks. It has motivated the development of new tools and extensions of existing ones. Thanks to the time and effort of the various organisers and participants it has successfully provided a platform to discuss how we evaluate and compare our tools. However, we are aware that the competition has not served all members of the community and required significant effort from its participants and therefore we have decided not to run the competition in the same form in 2017. This workshop has two aims. - Firstly, to kickstart an online repository of tool descriptions that focus on usability, rather than implementation. Much effort within Runtime Verification is spent developing tools. The planned repository will help advertise these tools within and beyond the community and to document their existence. To this end, this workshop invites tool overview papers (details below) that present an opportunity to demonstrate the diverse range of available RV tools and to advertise their advanced features and capabilities. - Secondly, to provide a forum in which the future of the competition, and wider efforts to improve how we evaluate RV tools, can be discussed in a structured and informed way. There have been various informal discussions at the previous three RV conferences and in other settings. By inviting position papers (details below) this workshop aims to establish the issues and possible directions before holding a structured panel session during RV 2017. *RELATION TO RV 2017* There is no overlap in scope between this workshop and RV 2017. Any papers containing original technical developments should be submitted to RV 2017 rather than this workshop as the workshop focuses on tool reviews (containing existing work) and position statements. If there is any uncertainty please contact the workshop chairs. The workshop will be integrated into RV 2017. The workshop activities will include a poster presentation session and a panel decision, both of which will be scheduled within the main conference program. A consequence of this is that there will be no separate registration for the workshop. To attend the workshop activities it will be necessary to attend RV 2017. Although, attendance is not a requirement for submission. *SUBMISSIONS* We invite two forms of submission: Tool Overview papers and Position papers. All submissions will be subject to a lightweight review by the PC to ensure a reasonable standard and to provide constructive feedback to improve the quality of the submission. *Tool Overview Papers* These should describe an existing tool using a minimum of 5 pages. The paper should at least describe how to obtain the tool, the RV problem the tool is aiming to solve, the key defining features of the tool and relevant references. Additionally, we might expect it to include some of the following: - The history of the tool - High-level overviews of key aspect such as the input language or architecture from a user’s perspective - Usability details undocumented elsewhere - Examples demonstrating key features - Details of case studies or applications to real world problems - Discussion of features particular to the tool - Summaries (rather than detailed tables) of experimental results - Analysis of the kinds of problem the tool is suited for and those it is less-well suited for Ideally, the tool and related material (e.g. benchmarks) will be available online and linked to in the submission. The paper should not cover any significant new contributions (these can be submitted as tool papers to RV 2017) and should rely on previous research and tool papers to provide further details. Note that there is no upper page limit however the number of pages used should reflect the level of detail given. Submissions of 2 pages giving minimal details would be suitable in a situation where the tool is well documented elsewhere but an entry in the repository is still desired. All accepted submissions will be invited for presentation at a special Poster session during RV 2017. *Position papers* Initial submissions should use a minimum of 2 pages to explore a particular position related to the evaluation, comparison or standardisation of Runtime Verification tools (and benchmarks). Topics may include, but are not limited to: - What should a RV benchmark look like? - Can we have a common specification language for RV? If so, what should it look like? - Is execution time the most important performance criteria? What might be more important? - How can we evaluate hardware monitoring tools? - What are we doing wrong in evaluation? Can we fix this? - What can be borrowed form other communities? A selection of position papers will be used to structure a discussion panel to be held at RV 2017. Again, there is no upper page limit however the number of pages used should reflect the level of detail given. There will be an opportunity to update the paper based on discussions before inclusion in post-proceedings (see below). *Publishing and Submission* Contributions will be published as a post-proceedings volume in the Open-Access Scopus-Indexed EasyChair Kalpa Series. To be eligible for inclusion in the post-proceedings, papers should be at least 5 pages. Please see the relevant information for authors when preparing your paper. Please submit contributions to the following EasyChair page. https://easychair.org/conferences/?conf=rvcubes2017 *DATES* - Submission Deadline 1 July 2017 - Abstracts: 8 July 2017 - Final Submission: 15 July 2017 - Notification 1 August 2017 - Workshop at RV 2017 13-16 September 2017 - Post-proceedings deadline 14 October 2017 *ORGANISATION* For local and general organisation please see RV 2017. *Program Committee Chairs* Giles Reger, University of Manchester, UK Klaus Havelund, NASA Jet Propulsion Laboratory, USA *Program Committee* Ezio Bartocci, TU Wien, Austria Domenico Bianculli, SnT Centre – University of Luxembourg, Luxembourg Borzoo Bonakdarpour, McMaster University, Cananda Christian Colombo, University of Malta, Malta Ylies Falcone, Univ. Grenoble Alpes, Inria, Laboratoire d’Informatique de Grenoble, France Adrian Francalanza, University of Malta, Malta Sylvain Hallé, Université du Québec à Chicoutimi, Canada Felix Klaedtke, NEC Europe Ltd. Daniel Thoma, University of Lübeck, Germany Dmitriy Traytel, ETH Zürich, Switzerland Gordon Pace, University of Malta, Malta Cesar Sanchez, IMDEA Software Institute, Spain Leonardo Mariani, University of Milano Bicocca, Italy Julien Signoles, CEA LIST, France Tarmo Uustalu, Tallin University of Technology, Estonia -------------- next part -------------- An HTML attachment was scrubbed... URL: From rdgrande at site.uottawa.ca Sun Jul 2 20:07:28 2017 From: rdgrande at site.uottawa.ca (Robson De Grande) Date: Sun, 2 Jul 2017 16:07:28 -0400 Subject: [Haskell] CFP: ACM MobiWac 2017, Miami Beach, USA (Extended Deadline) Message-ID: ** 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: Juy 10th, 2017 (FIRM) ================================================================== 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: July 7th, 2017 (11:59PM EST) - Submission Deadline: July 10th, 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). -------------- next part -------------- An HTML attachment was scrubbed... URL: From rae at cs.brynmawr.edu Tue Jul 4 13:57:27 2017 From: rae at cs.brynmawr.edu (Richard Eisenberg) Date: Tue, 4 Jul 2017 09:57:27 -0400 Subject: [Haskell] Deadline in 2 days: Haskell Implementors' Workshop Call for Talks In-Reply-To: <89244F5C-058B-426D-84A4-4A4D62C2E880@cs.brynmawr.edu> References: <89244F5C-058B-426D-84A4-4A4D62C2E880@cs.brynmawr.edu> Message-ID: <306EAE31-D51E-465A-A521-69946C7639CE@cs.brynmawr.edu> Call for Contributions ACM SIGPLAN Haskell Implementors' Workshop http://icfp17.sigplan.org/track/hiw-2017 Oxford, UK, 9 September, 2017 Co-located with ICFP 2017 http://www.icfpconference.org/icfp2017/ Important dates --------------- Proposal Deadline: Thursday, 6 July, 2017 Notification: Thursday, 20 July, 2017 Workshop: Saturday, 9 September, 2017 The 9th Haskell Implementors' Workshop is to be held alongside ICFP 2017 this year in Oxford. It is a forum for people involved in the design and development of Haskell implementations, tools, libraries, and supporting infrastructure, to share their work and discuss future directions and collaborations with others. Talks and/or demos are proposed by submitting an abstract, and selected by a small program committee. There will be no published proceedings. The workshop will be informal and interactive, with open spaces in the timetable and room for ad-hoc discussion, demos, and impromptu short talks. Scope and target audience ------------------------- It is important to distinguish the Haskell Implementors' Workshop from the Haskell Symposium which is also co-located with ICFP 2017. The Haskell Symposium is for the publication of Haskell-related research. In contrast, the Haskell Implementors' Workshop will have no proceedings -- although we will aim to make talk videos, slides and presented data available with the consent of the speakers. The Implementors' Workshop is an ideal place to describe a Haskell extension, describe works-in-progress, demo a new Haskell-related tool, or even propose future lines of Haskell development. Members of the wider Haskell community encouraged to attend the workshop -- we need your feedback to keep the Haskell ecosystem thriving. Students working with Haskell are specially encouraged to share their work. The scope covers any of the following topics. There may be some topics that people feel we've missed, so by all means submit a proposal even if it doesn't fit exactly into one of these buckets: * Compilation techniques * Language features and extensions * Type system implementation * Concurrency and parallelism: language design and implementation * Performance, optimisation and benchmarking * Virtual machines and run-time systems * Libraries and tools for development or deployment Talks ----- We invite proposals from potential speakers for talks and demonstrations. We are aiming for 20-minute talks with 5 minutes for questions and changeovers. We want to hear from people writing compilers, tools, or libraries, people with cool ideas for directions in which we should take the platform, proposals for new features to be implemented, and half-baked crazy ideas. Please submit a talk title and abstract of no more than 300 words. Submissions should be made via HotCRP. The website is: https://icfp-hiw17.hotcrp.com/ We will also have a lightning talks session which will be organised on the day. These talks will be 5-10 minutes, depending on available time. Suggested topics for lightning talks are to present a single idea, a work-in-progress project, a problem to intrigue and perplex Haskell implementors, or simply to ask for feedback and collaborators. Program Committee ----------------- * Richard A. Eisenberg -- chair (Bryn Mawr College) * Adam Gundry (Well-Typed) * Bartosz Nitka (Facebook) * Wren Romano (X, formerly Google[x]) * Alejandro Serrano Mena (Utrecht University) * Jan Stolarek (University of Edinburgh) Contact ------- * Richard A. Eisenberg _______________________________________________ Haskell mailing list Haskell at haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell From kaposi.ambrus at gmail.com Thu Jul 6 13:18:51 2017 From: kaposi.ambrus at gmail.com (Ambrus Kaposi) Date: Thu, 6 Jul 2017 15:18:51 +0200 Subject: [Haskell] TYPES 2017 post-proceedings open call for papers Message-ID: Paper submission deadline 23 October 2017 Open call for papers Post-proceedings of the 23rd International Conference on Types for Proofs and Programs TYPES 2017 TYPES is a major forum for the presentation of research on all aspects of type theory and its applications. TYPES 2017 was held between 29 May and 1 June in Budapest, Hungary. The post-proceedings volume will be published in LIPIcs, Leibniz International Proceedings in Informatics, an open-access series of conference proceedings (http://www.dagstuhl.de/en/publications/lipics). Submission to this post-proceedings volume is open to everyone, also to those who did not participate in the conference. We would like to invite all researchers that study and apply type systems to share their results. In particular, we welcome submissions on the following topics: * Foundations of type theory and constructive mathematics; * Homotopy type theory; * 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; * Type theory in linguistics. IMPORTANT DATES * Abstract submission: 16 October 2017 * Paper submission: 23 October 2017 * Author notification: 26 March 2018 DETAILS * Papers have to be formatted with lipics.cls and adhere to the style requirements of LIPIcs. http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/ * The recommended length of a paper is 15-25 pages. Submissions significantly longer than 25 pages will not be considered. * Papers have to be submitted in pdf through EasyChair: https://easychair.org/conferences/?conf=types2017postproceed * Authors have the option to attach to their submission a zip or tgz file containing code (formalized proofs or programs), but reviewers are not obliged to take those attachments into account and they will not be published. * More information is available on http://types2017.elte.hu/#postproc * In case of questions, please contact one of the editors. EDITORS Andreas Abel andreas.abel at gu.se Gothenburg University, Sweden Fredrik Nordvall Forsberg fredrik.nordvall-forsberg at strath.ac.uk University of Strathclyde, United Kingdom Ambrus Kaposi akaposi at inf.elte.hu Eötvös Loránd University, Hungary From rdgrande at site.uottawa.ca Fri Jul 7 14:29:43 2017 From: rdgrande at site.uottawa.ca (Robson De Grande) Date: Fri, 7 Jul 2017 10:29:43 -0400 Subject: [Haskell] CFP (Last Call): ACM MobiWac 2017, Miami Beach, USA Message-ID: ** 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: Juy 10th, 2017 (FIRM) ================================================================== 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. - Submission Deadline: July 10th, 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). -------------- next part -------------- An HTML attachment was scrubbed... URL: From wolfgang-it at jeltsch.info Fri Jul 7 22:36:16 2017 From: wolfgang-it at jeltsch.info (Wolfgang Jeltsch) Date: Sat, 08 Jul 2017 01:36:16 +0300 Subject: [Haskell] Haskell in Leipzig 2017: 2nd call for papers Message-ID: <1499466976.2497.211.camel@jeltsch.info> Event:    Haskell in Leipzig 2017 Time:     October 26–28, 2017 Place:    HTWK Leipzig, Germany Homepage: https://hal2017.softbase.org/ About ===== Haskell is a modern functional programming language that allows rapid development of robust and correct software. It is renowned for its expressive type system, its unique approaches to concurrency and parallelism, and its excellent refactoring capabilities. Haskell is both the playing field of cutting-edge programming language research and a reliable base for commercial software development. The workshop series Haskell in Leipzig (HaL), now in its 12th year, brings together Haskell developers, Haskell researchers, Haskell enthusiasts, and Haskell beginners to listen to talks, take part in tutorials, join in interesting conversations, and hack together. To support the latter, HaL will include a one-day hackathon this year. The workshop will have a focus on functional reactive programming (FRP) this time, while continuing to be open to all aspects of Haskell. As in the previous year, the workshop will be in English. Contributions ============= Everything related to Haskell is on topic, whether it is about current research, practical applications, interesting ideas off the beaten track, education, or art, and topics may extend to functional programming in general and its connections to other programming paradigms. Contributions can take the form of   * talks (about 30 minutes),   * tutorials (about 90 minutes),   * demonstrations, artistic performances, or other extraordinary     things. Please submit an abstract that describes the content and form of your presentation, the intended audience, and required previous knowledge. We recommend a length of 2 pages, so that the program committee and the audience get a good idea of your contribution, but this is not a hard requirement. Please submit your abstract as a PDF document at     https://easychair.org/conferences/?conf=hal2017 until Friday, August 4, 2017. You will be notified by Friday, August 25, 2017. Hacking Projects ================ Projects for the hackathon can be presented during the workshop. A prior submission is not needed for this. Invited Speaker ===============   * Ivan Perez, University of Nottingham, UK Program Committee =================   * Edward Amsden, Plow Technologies, USA   * Heinrich Apfelmus, Germany   * Jurriaan Hage, Utrecht University, The Netherlands   * Petra Hofstedt, BTU Cottbus-Senftenberg, Germany   * Wolfgang Jeltsch, Tallinn University of Technology, Estonia (chair)   * Andres Löh, Well-Typed LLP, Germany   * Keiko Nakata, SAP SE, Germany   * Henrik Nilsson, University of Nottingham, UK   * Ertuğrul Söylemez, Intelego GmbH, Germany   * Henning Thielemann, Germany   * Niki Vazou, University of Maryland, USA   * Johannes Waldmann, HTWK Leipzig, Germany Questions ========= If you have any questions, please do not hesitate to contact Wolfgang Jeltsch at wolfgang-it at jeltsch.info. From daniel.berecz at gmail.com Mon Jul 10 08:22:09 2017 From: daniel.berecz at gmail.com (Daniel Berecz) Date: Mon, 10 Jul 2017 10:22:09 +0200 Subject: [Haskell] [ANN] [Reminder] Budapest Haskell Hackathon 2017, 29-30th July 2017 Message-ID: <1499674929.1773383.1035687160.75C53048@webmail.messagingengine.com> Hi everybody, Just a last reminder about our hackathon in Budapest at the end of July: Our local user group will hold a Haskell Hackathon in Budapest this year (this will be the second)! We will hold it from the 29th to the 30th of July (Saturday & Sunday). You can find out more on the following link: https://wiki.haskell.org/Budapest_Hackathon_2017 We will reguraly update the site with new information. If you decide to come, please fill out the following Google Form: https://goo.gl/forms/QjTNdXTD1aEOMEQU2 If you have a project, demo, or talk that you want to bring to the event please contact us, and we can talk about the details. You can find our contact info the events wiki site, or you can just contact me directly. The event will be open to people of all experience levels, from beginners to gurus. The only requisite is that you’re interested in the Haskell language, and want to hang out with us, and have a good time! Greetings from Daniel, and the other BP-HUG organizers. From sabel at ki.informatik.uni-frankfurt.de Mon Jul 10 08:50:38 2017 From: sabel at ki.informatik.uni-frankfurt.de (David Sabel) Date: Mon, 10 Jul 2017 10:50:38 +0200 Subject: [Haskell] Final Call for Papers: WPTE 2017 Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation Message-ID: ======================================================================================== Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation WPTE 2017 affiliated with FSCD 2017 8 September, 2017, Oxford, UK http://www.ki.informatik.uni-frankfurt.de/WPTE17 ======================================================================================== Important Dates =============== * Submission deadline (extended abstracts): July 14th, 2017 * Notification of acceptance: August 4th, 2017 * Deadline for participant proceedings: August 11th, 2017 * Workshop: September 8th, 2017 * Submission deadline for post proceedings (full-papers): October, 2017 (exact date to be announced) Aims and Scope ============== The aim of WPTE is to bring together the researchers working on program transformations, evaluation, and operationally-based programming language semantics, using rewriting methods, in order to share the techniques and recent developments and to exchange ideas to encourage further activation of research in this area. The previous WPTE were held in Vienna 2014, in Warsaw 2015, and in Porto 2016. Topics of interest in the scope of this workshop include: * Correctness of program transformations, optimizations and translations. * Program transformations for proving termination, confluence and other properties. * Correctness of evaluation strategies. * Operational semantics of programs, operationally-based program equivalences such as contextual equivalences and bisimulations. * Cost-models for reasoning about the optimizing power of transformations and the costs of evaluation. * Program transformations for verification and theorem proving purposes. * Translation, simulation, equivalence of programs with different formalisms, and evaluation strategies. * Program transformations for applying rewriting techniques to programs in specific programming languages. * Program transformations for program inversions and program synthesis. * Program transformation and evaluation for Haskell and Rewriting. The programming languages of interest include pure, deterministic, impure, nondeterministic, concurrent, parallel languages, and may employ programming paradigms such as functional, logical, typed, imperative, object-oriented, and higher-order. Invited Speaker =============== Joachim Breitner(University of Pennsylvania, USA) Paper Submissions ================= For the paper submission deadline an extended abstract of at most 10 pages is required to be submitted. The extended abstract may present original work or also work in progress. However, for the formal post-proceedings (see below) full papers must be submitted to the post-proceedings deadline. Based on the submissions the program committee will select the presentations for the workshop. All selected contributions will be included in the informal proceedings distributed to the workshop participants. One author of each accepted extended abstract is expected to present it at the workshop. Submissions must be prepared in LaTeX using the EPTCS macro package (http://style.eptcs.org/). Formal Post-Proceedings ======================= The WPTE post-proceedings will be published in Electronic Proceedings in Theoretical Computer Science (http://eptcs.org/). The authors of all presented contributions will have the opportunity (but no obligation) to submit a full paper for the formal post-proceedings. These full-papers must represent original work and should not be submitted to another conference at the same time. Full-papers should not exceed 15 pages. The submission deadline for these post-proceedings will be after the workshop in October 2017. There will be a second round of reviewing for selecting papers to be published in the formal proceedings. Weblinks ======== * EasyChair Submission Website https://easychair.org/conferences/?conf=wpte2017 * Homepage of WPTE 2017 http://www.ki.informatik.uni-frankfurt.de/WPTE17/ * FSCD 2017 http://www.cs.ox.ac.uk/conferences/fscd2017/ Program Committee ================= Beniamino Accattoli (INRIA) Martin Avanzini (University of Innsbruck) Yuki Chiba (JAIST) Horatiu Cirstea (LORIA, Université de Lorraine) -- chair Santiago Escobar (Universitat Politècnica de València) Maribel Fernandez (KCL) Delia Kesner (Université Paris-Diderot) Sergueï Lenglet (Université de Lorraine) Elena Machkasova (University of Minnesota, Morris) William Mansky (Princeton University) Joachim Niehren (INRIA Lille) Naoki Nishida (Nagoya University) David Sabel (Goethe-University Frankfurt am Main) -- chair Masahiko Sakai (Graduate School of Infomation Science, Nagoya University) Manfred Schmidt-Schauss (Goethe-University Frankfurt am Main) Janis Voigtländer (University of Nijmegen) Johannes Waldmann (HTWK Leipzig) Fer-Jan de Vries (University of Leicester) From grewe at st.informatik.tu-darmstadt.de Tue Jul 11 21:17:45 2017 From: grewe at st.informatik.tu-darmstadt.de (Sylvia Grewe) Date: Tue, 11 Jul 2017 23:17:45 +0200 Subject: [Haskell] 2018: 2nd Call for Papers Message-ID: <5c7a069f-8a60-b7ab-f6d7-6901059f33c8@st.informatik.tu-darmstadt.de> ------------------------------------------------------------------------------------ 2018 : The Art, Science, and Engineering of Programming Mon 9 - Thu 12 April 2018 Nice, France http://2018.programming-conference.org/ In 2017, we started a new conference and journal focused on everything to do with programming, including the experience of programming, called for short. The first edition of was a great success (seehttp://twitter.com/programmingconffor testimonies). Paper submissions and publications are handled by the journal. Accepted papers must be presented at the conference. ******************************************************** CALL FOR PAPERS ******************************************************** 2018 accept scholarly papers including essays that advance the knowledge of programming. Almost anything about programming is in scope, but in each case there should be a clear relevance to the act and experience of programming. PAPER SUBMISSIONS: August 1 2017 (Research Papers Second Submission Deadline) December 1 2017 (Research Papers Third Submission Deadline) We accept submissions covering several areas of expertise. These areas include, but are not limited to: • General-purpose programming • Distributed systems programming • Parallel and multi-core programming • Graphics and GPU programming • Security programming • User interface programming • Database programming • Visual and live programming • Data mining and machine learning programming • Interpreters, virtual machines and compilers • Modularity and separation of concerns • Model-based development • Metaprogramming and reflection • Testing and debugging • Program verification • Programming education • Programming environments • Social coding ******************************************************** IMPORTANT DATES ******************************************************** Research paper submissions: August 1 2017 (Research Papers Second Submission Deadline) December 1 2017 (Research Papers Third Submission Deadline) Research paper first notification (for second submission deadline): October 1 2017 Research paper final notification (for second submission deadline): November 7 2017 Research paper first notification (for third submission deadline): February 1 2018 Research paper final notification (for third submission deadline): March 7 2018 Workshop Proposals: October 1 2017 All important dates can also be found athttp://programming-journal.org/timeline/ ******************************************************** ORGANIZATION ******************************************************** General Chair: Manuel Serrano, INRIA France Local Organizing Chair: Tamara Rezk, INRIA France Organizing Committee: Stefan Marr (workshops), Johannes Kepler University Linz Jennifer B. Sartor (workshops), Software Languages Lab, Vrije Universiteit Brussel Belgium Philipp Haller (student research competition), KTH Royal Institute of Technology, Sweden Tobias Pape (web technology), HPI - University of Potsdam Sylvia Grewe (publicity), Technische Universität Darmstadt Germany Program Committee: Guido Salvaneschi (program chair), Technische Universität Darmstadt, Germany Davide Ancona, University of Genova, Italy Alberto Bacchelli, Delft University of Technology, Netherlands Shigeru Chiba, University of Tokyo, Japan Yvonne Coady, University of Victoria, Canada Susan Eisenbach, Imperial College London, UK Patrick Eugster, TU Darmstadt, Germany and Purdue University, United States Antonio Filieri, Imperial College London, UK Matthew Flatt, University of Utah, United States Lidia Fuentes, Universidad de Málaga, Spain Richard P. Gabriel, Dream Songs, Inc. & HPI, California Jeremy Gibbons, University of Oxford, UK Yossi Gil, Israel Institute of Technology Elisa Gonzalez Boix, Vrije Universiteit Brussel, Belgium Phlipp Haller, KTH Royal Institute of Technology, Sweden Matthew Hammer, University of Colorado, Boulder, United States Felienne Hermans, Delft University of Technology, Netherlands Robert Hirschfeld, Hasso Plattner Institute (HPI), Germany Roberto Ierusalimschy, Pontifical Catholic University of Rio de Janeiro, Brazil Jun Kato, National Institute of Advanced Industrial Science and Technology, Japan Jörg Kienzle, McGill University, Canada Neelakantan R. Krishnaswami, University of Cambridge, UK Ralf Lämmel, University of Koblenz-Landau, Germany Hidehiko Masuhara, Tokyo Institute of Technology, Japan Mira Mezini, Technische Universität Darmstadt, Germany Emerson Murphy-Hill, North Carolina State University, United States Mario Südholt, IMT Atlantique, Nantes, France Sam Tobin-Hochstadt, Indiana University, United States Eelco Visser, Delft University of Technology, Netherlands Tijs van der Storm, CWI & University of Groningen, Netherlands ******************************************************** 2018 is kindly supported by: ACM In-Cooperation SIGPLAN (In-cooperation) SIGSOFT (In-cooperation) INRIA France AOSA ******************************************************** -------------- next part -------------- An HTML attachment was scrubbed... URL: From francois.pottier at inria.fr Wed Jul 12 08:55:45 2017 From: francois.pottier at inria.fr (=?UTF-8?Q?Fran=c3=a7ois_Pottier?=) Date: Wed, 12 Jul 2017 10:55:45 +0200 Subject: [Haskell] Call for Participation: Higher-Order Programming with Effects, HOPE 2017 Message-ID: One-liner: the list of accepted talks for HOPE 2017 is now online! ------------------------------------------------------------------------------ CALL FOR PARTICIPATION HOPE 2017 The 6th ACM SIGPLAN Workshop on Higher-Order Programming with Effects September 3, 2017 Oxford, United Kingdom (the day before ICFP 2017) http://icfp17.sigplan.org/track/hope-2017-papers#event-overview ------------------------------------------------------------------------------ The HOPE workshop series are intended to bring together researchers interested in the design, semantics, implementation, and verification of higher-order effectful programs. They are informal, consisting of invited talks, contributed talks on work in progress, and open-ended discussion sessions. They are dedicated to John Reynolds, whose work is an inspiration to us all. The 6th ACM SIGPLAN Workshop on Higher-Order Programming with Effects will take place on Sunday, September 3, 2017, that is, the day before ICFP 2017, in Oxford, United Kingdom. # Goals of the Workshop A recurring theme in many papers at ICFP, and in the research of many ICFP attendees, is the interaction of higher-order programming with various kinds of effects: storage effects, I/O, control effects, concurrency, etc. While effects are of critical importance in many applications, they also make code harder to build, maintain, and reason about. Higher-order languages (both functional and object-oriented) provide a variety of abstraction mechanisms to help "tame" or "encapsulate" effects (e.g. monads, ADTs, ownership types, typestate, first-class events, transactions, Hoare Type Theory, session types, substructural and region-based type systems), and a number of different semantic models and verification technologies have been developed in order to codify and exploit the benefits of this encapsulation (e.g. bisimulations, step-indexed Kripke logical relations, higher-order separation logic, game semantics, various modal logics). But there remain many open problems, and the field is highly active. The goal of the HOPE workshop is to bring researchers from a variety of different backgrounds and perspectives together to exchange new and exciting ideas concerning the design, semantics, implementation, and verification of higher-order effectful programs. # Important Dates * Workshop: September 3, 2017 (Sunday) # Accepted Talks http://icfp17.sigplan.org/track/hope-2017-papers#event-overview # Workshop Organization Program Co-Chairs: François Pottier (Inria Paris) Aleks Nanevski (IMDEA Software Institute) Program Committee: Edwin Brady University of St Andrews Pierre-Évariste Dagand LIP6/CNRS Atsushi Igarashi Kyoto University Robbert Krebbers Delft University of Technology Vivek Nigam Federal University of Paraíba Matija Pretnar University of Ljubljana Azalea Raad Imperial College London Aseem Rastogi Microsoft Research Filip Sieczkowski University of Wrocław Niki Vazou University of Maryland From publicityifl at gmail.com Thu Jul 13 20:13:45 2017 From: publicityifl at gmail.com (publicityifl at gmail.com) Date: Thu, 13 Jul 2017 20:13:45 +0000 Subject: [Haskell] 2nd CfP: IFL 2017 (29th Symposium on Implementation and Application of Functional Languages) Message-ID: <001a114db40ce06e5b055438914a@google.com>
Hello,

Please, find below the second call for papers for IFL 2017.
Please forward these to anyone you think may be interested.
Apologies for any duplicates you may receive.

best regards,
Jurriaan Hage
Publicity Chair of IFL

---

IFL 2017 - CALL FOR PAPERS
==========================

29th SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES
========================================================================

University of Bristol, UK

In cooperation with ACM SIGPLAN

Wednesday 30 August - Friday 1 September, 2017

http://iflconference.org/

Scope
-----

The goal of the IFL symposia is to bring together researchers actively engaged
in the implementation and application of functional and function-based
programming languages. IFL 2017 will be a venue for researchers to present and
discuss new ideas and concepts, work in progress, and publication-ripe results
related to the implementation and application of functional languages and
function-based programming.

Peer-review
-----------

Following the IFL tradition, IFL 2017 will use a post-symposium review process
to produce the formal proceedings. All participants of IFL 2017 are invited to
submit either a draft paper or an extended abstract describing work to be
presented at the symposium. At no time may work submitted to IFL be
simultaneously submitted to other venues; submissions must adhere to ACM
SIGPLAN's republication policy:

http://www.sigplan.org/Resources/Policies/Republication

The submissions will be screened by the program committee chair to make sure
they are within the scope of IFL, and will appear in the draft proceedings
distributed at the symposium. Submissions appearing in the draft proceedings
are not peer-reviewed publications. Hence, publications that appear only in the
draft proceedings are not subject to the ACM SIGPLAN republication policy.
After the symposium, authors will be given the opportunity to incorporate the
feedback from discussions at the symposium and will be invited to submit a
revised full article for the formal review process. From the revised
submissions, the program committee will select papers for the formal
proceedings considering their correctness, novelty, originality, relevance,
significance, and clarity. The formal proceedings will appear in the
International Conference Proceedings Series of the ACM Digital Library.

Important dates
---------------

Mon 31 July     2017 : Submission deadline draft papers
Wed  2 August   2017 : Notification of acceptance for presentation
Fri  4 August   2017 : Early registration deadline
Fri 11 August   2017 : Late registration deadline
Mon 21 August   2017 : Submission deadline for pre-symposium proceedings
Wed 30 August   2017 - Fri 1 September 2017 : IFL Symposium
Mon  4 December 2017 : Submission deadline for post-symposium proceedings
Wed 31 January  2018 : Notification of acceptance for post-symposium proceedings
Mon 12 March    2018 : Camera-ready version for post-symposium proceedings

Submission details
------------------

Prospective authors are encouraged to submit papers or extended abstracts to be
published in the draft proceedings and to present them at the symposium. All
contributions must be written in English. Papers must use the new ACM two
columns conference format, which can be found at:

http://www.acm.org/publications/proceedings-template

For the pre-symposium proceedings we adopt a 'weak' page limit of 12 pages. For
the post-symposium proceedings the page limit of 12 pages is firm.

Authors submit through EasyChair:

https://easychair.org/conferences/?conf=ifl2017

Topics
------

IFL welcomes submissions describing practical and theoretical work as well as
submissions describing applications and tools in the context of functional
programming. If you are not sure whether your work is appropriate for IFL 2017,
please contact the PC chair at nicolas.wu at bristol.ac.uk. Topics of interest include,
but are not limited to:

- language concepts
- type systems, type checking, type inferencing
- compilation techniques
- staged compilation
- run-time function specialization
- run-time code generation
- partial evaluation
- (abstract) interpretation
- metaprogramming
- generic programming
- automatic program generation
- array processing
- concurrent/parallel programming
- concurrent/parallel program execution
- embedded systems
- web applications
- (embedded) domain specific languages
- security
- novel memory management techniques
- run-time profiling performance measurements
- debugging and tracing
- virtual/abstract machine architectures
- validation, verification of functional programs
- tools and programming techniques
- (industrial) applications

Peter Landin Prize
------------------

The Peter Landin Prize is awarded to the best paper presented at the symposium
every year. The honored article is selected by the program committee based on
the submissions received for the formal review process. The prize carries a
cash award equivalent to 150 Euros.

Programme committee
-------------------

Chair: Nicolas Wu, University of Bristol, UK

- Kenichi Asai, Ochanomizu University, Japan
- Sandrine Blazy, University of Rennes 1, France
- Carlos Camarao, Universidade Federal de Minas Gerais, Brazil
- Stephen Dolan, University of Cambridge, UK
- Jurriaan Hage, Utrecht University, Netherlands
- Yukiyoshi Kameyama, University of Tsukuba, Japan
- Benjamin Lerner, Brown University, USA
- Bas Lijnse, Radboud University, Netherlands
- Garrett Morris, University of Kansas, USA
- Miguel Pagano, Universidad Nacional de Córdoba, Argentina
- Tomas Petricek, Alan Turing Institute, UK
- Maciej Piróg, University of Wroclaw, Poland
- Exequiel Rivas, Universidad Nacional de Rosario, Argentina
- Neil Sculthorpe, Nottingham Trent University, UK
- Melinda Toth, Eotvos Lorand University, Hungary
- Phil Trinder, Glasgow University, UK
- Kanae Tsushima, National Institute of Informatics, Japan
- Marcos Viera, Universidad de la Republica, Uruguay
- Meng Wang, University of Kent, UK

Venue
-----

The IFL 2017 will be held in association with the Department of
Computer Science, University of Bristol, UK. Bristol is located in
South West England, and can be easily reached from Bristol Airport.
See the website for more information on the venue.

 

powered by GSM. Free mail merge and email marketing software for Gmail. -------------- next part -------------- An HTML attachment was scrubbed... URL: From sabel at ki.informatik.uni-frankfurt.de Fri Jul 14 07:03:36 2017 From: sabel at ki.informatik.uni-frankfurt.de (David Sabel) Date: Fri, 14 Jul 2017 09:03:36 +0200 Subject: [Haskell] Deadline extension: WPTE 2017 Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation Message-ID: <1110db28-aeea-fc10-18d5-2d2382e8cc0c@ki.informatik.uni-frankfurt.de> ======================================================================================== CALL FOR PAPERS Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation WPTE 2017 affiliated with FSCD 2017 8 September, 2017, Oxford, UK http://www.ki.informatik.uni-frankfurt.de/WPTE17 ======================================================================================== Aims and Scope ============== The aim of WPTE is to bring together the researchers working on program transformations, evaluation, and operationally-based programming language semantics, using rewriting methods, in order to share the techniques and recent developments and to exchange ideas to encourage further activation of research in this area. The previous WPTE were held in Vienna 2014, in Warsaw 2015, and in Porto 2016. Topics of interest in the scope of this workshop include: * Correctness of program transformations, optimizations and translations. * Program transformations for proving termination, confluence and other properties. * Correctness of evaluation strategies. * Operational semantics of programs, operationally-based program equivalences such as contextual equivalences and bisimulations. * Cost-models for reasoning about the optimizing power of transformations and the costs of evaluation. * Program transformations for verification and theorem proving purposes. * Translation, simulation, equivalence of programs with different formalisms, and evaluation strategies. * Program transformations for applying rewriting techniques to programs in specific programming languages. * Program transformations for program inversions and program synthesis. * Program transformation and evaluation for Haskell and Rewriting. The programming languages of interest include pure, deterministic, impure, nondeterministic, concurrent, parallel languages, and may employ programming paradigms such as functional, logical, typed, imperative, object-oriented, and higher-order. Invited Speaker =============== Joachim Breitner(University of Pennsylvania, USA) Paper Submissions ================= For the paper submission deadline an extended abstract of at most 10 pages is required to be submitted. The extended abstract may present original work or also work in progress. However, for the formal post-proceedings (see below) full papers must be submitted to the post-proceedings deadline. Based on the submissions the program committee will select the presentations for the workshop. All selected contributions will be included in the informal proceedings distributed to the workshop participants. One author of each accepted extended abstract is expected to present it at the workshop. Submissions must be prepared in LaTeX using the EPTCS macro package (http://style.eptcs.org/). Formal Post-Proceedings ======================= The WPTE post-proceedings will be published in Electronic Proceedings in Theoretical Computer Science (http://eptcs.org/). The authors of all presented contributions will have the opportunity (but no obligation) to submit a full paper for the formal post-proceedings. These full-papers must represent original work and should not be submitted to another conference at the same time. Full-papers should not exceed 15 pages. The submission deadline for these post-proceedings will be after the workshop in October 2017. There will be a second round of reviewing for selecting papers to be published in the formal proceedings. Important Dates =============== * Submission deadline (extended abstracts): July 21th, 2017 (Extended!) * Notification of acceptance: August 4th, 2017 * Deadline for participant proceedings: August 11th, 2017 * Workshop: September 8th, 2017 * Submission deadline for post proceedings (full-papers): October, 2017 (exact date to be announced) Weblinks ======== * EasyChair Submission Website https://easychair.org/conferences/?conf=wpte2017 * Homepage of WPTE 2017 http://www.ki.informatik.uni-frankfurt.de/WPTE17/ * FSCD 2017 http://www.cs.ox.ac.uk/conferences/fscd2017/ Program Committee ================= Beniamino Accattoli (INRIA) Martin Avanzini (University of Innsbruck) Yuki Chiba (JAIST) Horatiu Cirstea (LORIA, Université de Lorraine) -- chair Santiago Escobar (Universitat Politècnica de València) Maribel Fernandez (KCL) Delia Kesner (Université Paris-Diderot) Sergueï Lenglet (Université de Lorraine) Elena Machkasova (University of Minnesota, Morris) William Mansky (Princeton University) Joachim Niehren (INRIA Lille) Naoki Nishida (Nagoya University) David Sabel (Goethe-University Frankfurt am Main) -- chair Masahiko Sakai (Graduate School of Infomation Science, Nagoya University) Manfred Schmidt-Schauss (Goethe-University Frankfurt am Main) Janis Voigtländer (University of Nijmegen) Johannes Waldmann (HTWK Leipzig) Fer-Jan de Vries (University of Leicester) From icfp.publicity at googlemail.com Tue Jul 18 21:34:01 2017 From: icfp.publicity at googlemail.com (Lindsey Kuper) Date: Tue, 18 Jul 2017 14:34:01 -0700 Subject: [Haskell] Call for Participation: ICFP 2017 Message-ID: <596e7ec915e7b_602d3fdee4455be86922e@landin.local.mail> [ Early registration ends 4 August. ] ===================================================================== Call for Participation ICFP 2017 22nd ACM SIGPLAN International Conference on Functional Programming and affiliated events September 3 - September 9, 2017 Oxford, UK http://icfp17.sigplan.org/ ===================================================================== ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. The conference covers the entire spectrum of work, from practice to theory, including its peripheries. A full week dedicated to functional programming: ICFP, 2 co-hosted conferences, 1 co-hosted symposium, workshops, tutorials, programming contest results, student research competition, and mentoring workshop * Overview and affiliated events: http://icfp17.sigplan.org/home * Program: http://icfp17.sigplan.org/program/program-icfp-2017 * Accepted papers: http://icfp17.sigplan.org/track/icfp-2017-papers * Registration is available via: https://regmaster4.com/2017conf/ICFP17/register.php Early registration is due 4 August, 2016. * Programming contest, 4-7 August, 2016: http://2017.icfpcontest.org * Student Research Competition: http://icfp17.sigplan.org/track/icfp-2017-Student-Research-Competition * Follow @icfp_conference on twitter for the latest news: http://twitter.com/icfp_conference There are several events affiliated with ICFP: Sunday, September 3 Workshop on Higher-order Programming with Effects Workshop on Type-Driven Development Scheme and Functional Programming Workshop Programming Languages Mentoring Workshop ICFP Tutorials Monday, September 4 – Wednesday, September 6 ICFP FSCD - Days 1-3 Thursday, September 7 Haskell Symposium – Day 1 ML Family Workshop Workshop on Functional High-Performance Computing Commercial Users of Functional Programming – Day 1 FSCD - Day 4 Friday, September 8 Haskell Symposium – Day 2 OCaml Workshop Erlang Workshop Commercial Users of Functional Programming – Day 2 Saturday, September 9 Commercial Users of Functional Programming – Day 3 Haskell Implementors Workshop Functional Art, Music, Modeling and Design Conference Organizers: General Chair: Jeremy Gibbons (University of Oxford, UK) Program Chair: Mark Jones (Portland State University, USA) Artifact Evaluation Co-Chair: Matthew Flatt (University of Utah, USA) Artifact Evaluation Co-Chair: Ryan R. Newton (Indiana University, USA) Industrial Relations Chair: Ryan Trinkle (Obsidian Systems LLC, USA) PLMW Co-Chair: Neelakantan R. Krishnawami (University of Cambridge, UK) PLMW Co-Chair: Dan Licata (Wesleyan University, USA) PLMW Co-Chair: Brigitte Pientka (McGill University, Canada) Programming Contest Organiser: Sam Lindley (University of Edinburgh, UK) Publicity and Web Chair: Lindsey Kuper (Intel Labs, USA) Student Research Competition Chair: Ilya Sergey (University College London, UK) Student Volunteer Co-Captain: Yosuke Fukuda (Kyoto University, Japan) Student Volunteer Co-Captain: Yuki Nishida (Kyoto University, Japan) Student Volunteer Co-Captain: Jakub Zalewski (University of Edinburgh, UK) Video Chair: Jose Calderon (Galois, Inc., USA) Workshops Co-Chair: Andres Löh (Well-Typed LLP, UK) Workshops Co-Chair: David Christiansen (Indiana University, USA) Sponsors and industrial partners: Platinum partners Ahrefs Jane Street Capital Gold partners Bloomberg X Silver partners Galois Oracle Bronze partners Obsidian Systems Portland State University Well-Typed From compscience.announcement at gmail.com Thu Jul 20 00:50:36 2017 From: compscience.announcement at gmail.com (Klaus Havelund) Date: Wed, 19 Jul 2017 17:50:36 -0700 Subject: [Haskell] RV 2017 - 1st Call for Participation Message-ID: CALL FOR PARTICIPATION RV’17 - RUNTIME VERIFICATION 2017 The 17th International Conference on Runtime Verification September 13-16 2017, Seattle, WA, USA http://rv2017.cs.manchester.ac.uk Affiliated Event: RV-CuBES - An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools === OVERVIEW === Runtime verification is concerned with the monitoring and analysis of the runtime behaviour of software and hardware systems. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing, and are generally more practical than exhaustive formal verification. Runtime verification can be used prior to deployment, for testing, verification, and debugging purposes, and after deployment for ensuring reliability, safety, and security and for providing fault containment and recovery as well as online system repair. Topics of interest to the conference include: specification languages monitor construction techniques program instrumentation logging, recording, and replay combination of static and dynamic analysis specification mining and machine learning over runtime traces monitoring techniques for concurrent and distributed systems runtime checking of privacy and security policies statistical model checking metrics and statistical information gathering program/system execution visualization fault localization, containment, recovery and repair integrated vehicle health management (IVHM) Application areas of runtime verification include cyber-physical systems, safety/mission-critical systems, enterprise and systems software, autonomous and reactive control systems, health management and diagnosis systems, and system security and privacy. === INVITED TALKS === Rodrigo Fonseca, Brown University, USA: “The Design and Applications for a Tracing Plane for Distributed Systems” Vlad Levin and Jakob Lichtenberg, Microsoft, USA: “Windows Driver Verification Platform” Andreas Zeller, Saarland University, Germany: “Learning Input Languages for Runtime Verification” === TUTORIALS === Ankush Desai and Shaz Qadeer, UC Berkeley and Microsoft Research, USA: “P : Modular and Safe Asynchronous Programming” Madhusudan Parthasarathy, University of Illinois at Urbana-Champaign, USA: “Machine-learning State Properties” Adrian Francalanza, University of Malta, Malta: “Foundations For Runtime Monitoring” === ACCEPTED PAPERS === === Regular Papers Bernhard K. Aichernig and Martin Tappler. “Probabilistic Black-Box Reachability Checking” Minjun Seo and Roman Lysecky. “Hierarchical Non-Intrusive In-Situ Requirements Monitoring for Embedded Systems” David Basin, Srđan Krstić and Dmitriy Traytel. “Almost Event-Rate Independent Monitoring of Metric Dynamic Logic” Kostyantyn Vorobyov, Nikolai Kosmatov, Julien Signoles and Arvid Jakobsson. “Runtime Detection of Temporal Memory Errors” Katarína Kejstová, Petr Ročkai and Jiri Barnat. “From Model Checking to Runtime Verification and Back” Zachary Benavides, Rajiv Gupta and Xiangyu Zhang. “Annotation Guided Collection of Context-Sensitive Parallel Execution Profiles” Oliviero Riganelli, Daniela Micucci, Leonardo Mariani and Yliès Falcone. “Verifying Policy Enforcers” Ankush Desai, Tommaso Dreossi and Sanjit A. Seshia. “Combining Model Checking and Runtime Verification for Safe Robotics” Vidhya Tekken Valapil, Sorrachai Yingchareonthawornchai, Sandeep Kulkarni, Eric Torng and Murat Demirbas. “Monitoring Partially Synchronous Distributed Systems using SMT Solvers” Chaoqiang Deng and Kedar Namjoshi. “Witnessing Network Transformations” Teng Zhang, John Wiegley, Insup Lee and Oleg Sokolsky. “Monitoring Time Intervals” Bjorn Andersson, Sagar Chaki and Dionisio De Niz. “Combining Symbolic Runtime Enforcers for Cyber-Physical Systems” Babak Yadegari and Saumya Debray. “Control Dependencies in Interpretive Systems” Himanshu Chauhan and Vijay Garg. “Space Efficient Breadth-First and Level Traversals of Consistent Global States of Parallel Programs” Giuseppe Bombara and Calin Belta. “Signal Clustering using Temporal Logics” Susmit Jha, Ashish Tiwari, Sanjit A. Seshia, Natarajan Shankar and Tuhin Sahai. “TeLEx: Passive STL Learning Using Only Positive Examples” Florian-Michael Adolf, Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer and Christoph Torens. “Stream Runtime Monitoring on UAVs” Bernd Finkbeiner, Christopher Hahn, Marvin Stenger and Leander Tentrup. “Monitoring Hyperproperties” === Tool Papers Hassan Salehe Matar and Serdar Tasiran. “EmbedSanitizer: Runtime Race Detection Tool for 32-bit Embedded ARM” Prashanth Nayak, Mike Hibler, David Johnson and Eric Eide. “A Wingman for Virtual Appliances” Shuo Chen. “SVAuth – A Single-Sign-On Integration Solution with Runtime Verification” Raphael Khoury, Sebastien Gaboury and Sylvain Hallé. “Event Stream Processing with Multiple Threads” Daisuke Ishii and Alexandre Goldsztejn. “HySIA: Tool for Simulating and Monitoring Hybrid Automata Based on Interval Analysis” === Short Papers Kim Völlinger. “Verifying the Output of a Distributed Algorithm using Certification” Chafik Meniar, Florence Opalvens and Sylvain Hallé. “Runtime Verification of User Interface Guidelines in Mobile Devices” Aaron Paulos, Partha Pal, Shane Clark, Kyle Usbeck and Patrick Hurley. “Trusted Mission Operation – Concept and Implementation” Jun Inoue and Yoriyuki Yamagata. “Operational Semantics of Process Monitors” === VENUE === The 17th International Conference on Runtime Verification will be held in the Sheraton Seattle Hotelsituated in downtown Seattle. The venue is within walking distance of the famous Pike Place Market, Seattle Art Museum, Seattle Aquarium, and the Historic Seattle Waterfront. The weather in September still permits many open-air opportunities to shop, eat, and even sail in the Elliott Bay. Exceptionally well organized, Seattle’s public transport connects the conference venue with the Seattle Center, which is the home of popular attractions like the Space Needle, EMP Museum, and Chihuly Garden and Glass. === REGISTRATION === Registration is now available using the web-based registration form, with online payment on a secure website. Please use one form per attendee. Early registration means on or before August 13, 2017. Late registration means after August 13, 2017. Different possibilities of registration are available: Tutorial Day Only (13th September): 210 USD Conference including tutorial day and RV-CuBES (13-16th September) Full Registration Early: 680 USD, Late (after 13 August): 780 USD Student Registration Early: 480 USD, Late (after 13 August): 580 USD === CHAIRS AND ORGANIZERS === General Chair Klaus Havelund, NASA Jet Propulsion Laboratory, USA Program Chairs Shuvendu Lahiri, Microsoft Research, USA Giles Reger, University of Manchester, UK Finance Chair Oleg Sokolsky, University of Pennsylvania, USA Publicity Chair Ayoub Nouri, University of Grenoble Alpes, France Local Organisation Chairs Grigory Fedyukovich, University of Washington, USA Rahul Kumar, Microsoft Research, USA RV-CuBES, PC chairs Giles Reger, University of Manchester, UK Klaus Havelund, NASA Jet Propulsion Laboratory, USA === SPONSORS === Microsoft Springer --- end -- -------------- next part -------------- An HTML attachment was scrubbed... URL: From nk480 at cl.cam.ac.uk Mon Jul 24 16:12:36 2017 From: nk480 at cl.cam.ac.uk (Neel Krishnaswami) Date: Mon, 24 Jul 2017 17:12:36 +0100 Subject: [Haskell] PLMW@ICFP: CALL FOR SCHOLARSHIP APPLICATIONS and PARTICIPATION (deadline July 31!) Message-ID: <211aa536-00f0-74f3-b6a8-d8dbfa83cced@cl.cam.ac.uk> CALL FOR SCHOLARSHIP APPLICATIONS and PARTICIPATION (deadline July 31!) ACM SIGPLAN Programming Languages Mentoring Workshop, Oxford, UK Co-located with ICFP'17 PLMW web page: http://icfp17.sigplan.org/manageTrack/PLMW-ICFP-2017 ### The purpose of this mentoring workshop is to encourage graduate students and senior undergraduate students to pursue careers in programming language research. This workshop will provide technical sessions on cutting-edge research in programming languages, and mentoring sessions on how to prepare for a research career. We will bring together leaders in programming language research from academia and industry to give talks on their research areas. The workshop will engage students in a process of imagining how they might contribute to our research community. So far, we have the following speakers and panelists confirmed for the workshop: - Amal Ahmed (Northeastern University) - Nada Amin (University of Cambridge) - Derek Dreyer (Max Planck Institute for Software Systems) - Richard Eisenberg (Bryn Mawr College) - Ron Garcia (University of British Columbia) - Chris Martens (North Caroline State University) - Conor McBride (Strathclyde University) - Sam Staton (Oxford) We especially encourage women and underrepresented minority students to attend PLMW. This workshop is part of the activities surrounding ICFP, the International Conference on Functional Programming, and takes place the day before the main conference. One goal of the workshop is to make ICFP conference more accessible to newcomers. We hope that participants will stay through the entire conference. ## Travel Scholarship Applications (Due 31 July) Please fill out [this form](https://goo.gl/forms/qDYTkvNndApNc91N2) by 31 July to apply for travel funding. These scholarships will provide funds towards airfare, hotel, and registration fees for attendance at both the workshop and ICFP, but are limited. We welcome students with alternative sources of travel funding to attend PLMW as well. Selected participants will be notified by 2 August and will need to pre-register and commit to attending the workshop by August 4. Applicants who apply after July 31 may be eligible to receive funding, if funds remain. The workshop registration is open to all. Students with alternative sources of funding are welcome. -- Neel Krishnaswami nk480 at cl.cam.ac.uk From nk480 at cl.cam.ac.uk Mon Jul 24 16:26:21 2017 From: nk480 at cl.cam.ac.uk (Neel Krishnaswami) Date: Mon, 24 Jul 2017 17:26:21 +0100 Subject: [Haskell] PLMW@ICFP: CALL FOR SCHOLARSHIP APPLICATIONS and PARTICIPATION (deadline July 31!) Message-ID: [Apologies for the double-post; I had an incorrect URL in the first message.] CALL FOR SCHOLARSHIP APPLICATIONS and PARTICIPATION (deadline July 31!) ACM SIGPLAN Programming Languages Mentoring Workshop, Oxford, UK Co-located with ICFP'17 PLMW web page: http://icfp17.sigplan.org/track/PLMW-ICFP-2017 ### The purpose of this mentoring workshop is to encourage graduate students and senior undergraduate students to pursue careers in programming language research. This workshop will provide technical sessions on cutting-edge research in programming languages, and mentoring sessions on how to prepare for a research career. We will bring together leaders in programming language research from academia and industry to give talks on their research areas. The workshop will engage students in a process of imagining how they might contribute to our research community. So far, we have the following speakers and panelists confirmed for the workshop: - Amal Ahmed (Northeastern University) - Nada Amin (University of Cambridge) - Derek Dreyer (Max Planck Institute for Software Systems) - Richard Eisenberg (Bryn Mawr College) - Ron Garcia (University of British Columbia) - Chris Martens (North Caroline State University) - Conor McBride (Strathclyde University) - Sam Staton (Oxford) We especially encourage women and underrepresented minority students to attend PLMW. This workshop is part of the activities surrounding ICFP, the International Conference on Functional Programming, and takes place the day before the main conference. One goal of the workshop is to make ICFP conference more accessible to newcomers. We hope that participants will stay through the entire conference. ## Travel Scholarship Applications (Due 31 July) Please fill out [this form](https://goo.gl/forms/qDYTkvNndApNc91N2) by 31 July to apply for travel funding. These scholarships will provide funds towards airfare, hotel, and registration fees for attendance at both the workshop and ICFP, but are limited. We welcome students with alternative sources of travel funding to attend PLMW as well. Selected participants will be notified by 2 August and will need to pre-register and commit to attending the workshop by August 4. Applicants who apply after July 31 may be eligible to receive funding, if funds remain. The workshop registration is open to all. Students with alternative sources of funding are welcome. -- Neel Krishnaswami nk480 at cl.cam.ac.uk From dons00 at gmail.com Wed Jul 26 10:11:08 2017 From: dons00 at gmail.com (Don Stewart) Date: Wed, 26 Jul 2017 11:11:08 +0100 Subject: [Haskell] Static analysis engineering at Facebook (Clang/OCaml) Message-ID: The Infer static analysis team at Facebook is hiring. We have a functional programming engineering role in London to work on the open source Clang/C++ frontend to Infer. Infer is a static analysis suite for C++, Java and Objective C used by thousands of engineers at Facebook and elsewhere to find bugs. The role is a "compiler" role - working on the Clang AST to OCaml, and intermediate phases of Infer to improve our C++ analysis capabilities. Good FP engineering skills (e.g. Haskell or OCaml) are desirable. You should have a working knowledge of C++ semantics, language or compiler design or experience in a range of C++ projects. Infer: http://fbinfer.com/ Apply via: https://www.facebook.com/careers/jobs/a0I1200000LT8aA -------------- next part -------------- An HTML attachment was scrubbed... URL: From dons00 at gmail.com Thu Jul 27 12:57:48 2017 From: dons00 at gmail.com (Don Stewart) Date: Thu, 27 Jul 2017 13:57:48 +0100 Subject: [Haskell] [Haskell-cafe] Static analysis engineering at Facebook (Clang/OCaml) In-Reply-To: References: Message-ID: Link moved, apply here: https://www.facebook.com/careers/jobs/a0I1200000LT8aAEAT On Thu, Jul 27, 2017 at 12:39 PM, Shannon Sequeira < shannonsequeira at gmail.com> wrote: > Hi Don, the job link appears to be broken. > > Best, > Shannon Sequeira > > On 26 July 2017 at 13:11, Don Stewart wrote: > >> The Infer static analysis team at Facebook is hiring. We have a >> functional programming engineering role in London to work on the open >> source Clang/C++ frontend to Infer. >> >> Infer is a static analysis suite for C++, Java and Objective C used by >> thousands of engineers at Facebook and elsewhere to find bugs. >> >> The role is a "compiler" role - working on the Clang AST to OCaml, and >> intermediate phases of Infer to improve our C++ analysis capabilities. Good >> FP engineering skills (e.g. Haskell or OCaml) are desirable. >> >> You should have a working knowledge of C++ semantics, language or >> compiler design or experience in a range of C++ projects. >> >> Infer: >> >> http://fbinfer.com/ >> >> Apply via: >> >> https://www.facebook.com/careers/jobs/a0I1200000LT8aA >> >> _______________________________________________ >> Haskell-Cafe mailing list >> To (un)subscribe, modify options or view archives go to: >> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe >> Only members subscribed via the mailman list are allowed to post. >> > > -------------- next part -------------- An HTML attachment was scrubbed... URL: From ben at well-typed.com Thu Jul 27 14:29:08 2017 From: ben at well-typed.com (Ben Gamari) Date: Thu, 27 Jul 2017 10:29:08 -0400 Subject: [Haskell] [ANNOUNCE] GHC 8.2.1 available References: <87bmobrh1b.fsf@ben-laptop.smart-cactus.org> Message-ID: <871sp2oswb.fsf@ben-laptop.smart-cactus.org> =============================================== The Glasgow Haskell Compiler -- version 8.2.1 =============================================== The GHC developers are very happy to announce the long-awaited 8.2.1 release of Glasgow Haskell Compiler. Binary and source distributions can be found at https://downloads.haskell.org/~ghc/8.2.1/ This is the second release in the 8.0 series. As such, the focus of this release is performance, stability, and consolidation. Consequently numerous cleanups can be seen throughout the compiler including, * Significant improvements in compiler performance * More robust support for levity polymorphism * Reliable DWARF debugging information * Improved runtime system performance on NUMA systems * Retooling of the cost-center profiler, including support for live streaming of profile data via the GHC event log * Interface file determinism * More robust treatment of join points, enabling significantly better code generation in many cases * Numerous improvements in robustness on Windows * and the resolution of over 500 other tickets In addition, there are a number of new features, * A new, more type-safe type reflection mechanism * The long-awaited Backpack module system * Deriving strategies to disambiguate between GHC's various instance deriving mechanisms * Unboxed sum types, for efficient unpacked representation of sum data types * Compact regions, allowing better control over garbage collection in the presence of large heaps containing many long-lived objects. * Colorful messages and caret diagnostics for more legible errors A more thorough list of the changes in this release can be found in the release notes, https://haskell.org/ghc/docs/8.2.1/docs/html/users_guide/8.2.1-notes.html There are a few changes in release-engineering that should be noted, * Binary distributions for 32-bit CentOS 6.7 have been dropped. Moreover, there are no dedicated CentOS 7.0 distributions as CentOS 7 can use can use Debian 8 binaries. If you would like us to continue to produce 32-bit CentOS 6.7 distributions please let us know. * GHC HQ now builds FreeBSD and OpenBSD distributions for amd64; this comes after many years of these distributions being faithfully provided by Karel Gardas and Pali Gabor Janos, who we should heartily thank for their contributions. GHC HQ building these distributions ourselves will allow us to more quickly ship distributions to users by eliminating the need for a long lag time between source release availability and having all binary distributions available. * There is a technology-preview of an AArch64 Linux binary distribution, as well as an ARM Linux build. AArch64 support is quite preliminary but should be stable in 8.4 thanks to further linker fixes by Moritz Angerman. ARM should be stable. * GHC now tries to use the gold and lld linkers by default. These linkers are significantly faster than the BFD linker implementation that most Linux distributions use by default. If gold or lld are not available GHC will use the system's default linker. GHC can be forced to use the default linker by passing --disable-ld-override to configure. This release has been the result of over a year of hard work by over 150 code contributors. Thanks to everyone who has helped in writing patches, testing, reporting bugs, and offering feedback over the last year. This release cycle was admittedly quite drawn out, significantly longer than expected or desired. While we are confident that the result is worth the wait, we have been steadily working on infrastructure which should help shrink future release cycles and give us better testing between releases. More details on this coming soon. As always, let us know if you encounter trouble. How to get it ~~~~~~~~~~~~~ The easy way is to go to the web page, which should be self-explanatory: http://www.haskell.org/ghc/ We supply binary builds in the native package format for many platforms, and the source distribution is available from the same place. Packages will appear as they are built - if the package for your system isn't available yet, please try again later. Background ~~~~~~~~~~ Haskell is a standard lazy functional programming language. GHC is a state-of-the-art programming suite for Haskell. Included is an optimising compiler generating efficient code for a variety of platforms, together with an interactive system for convenient, quick development. The distribution includes space and time profiling facilities, a large collection of libraries, and support for various language extensions, including concurrency, exceptions, and foreign language interfaces. GHC is distributed under a BSD-style open source license. A wide variety of Haskell related resources (tutorials, libraries, specifications, documentation, compilers, interpreters, references, contact information, links to research groups) are available from the Haskell home page (see below). On-line GHC-related resources ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Relevant URLs on the World-Wide Web: GHC home page http://www.haskell.org/ghc/ GHC developers' home page http://ghc.haskell.org/trac/ghc/ Haskell home page http://www.haskell.org/ Supported Platforms ~~~~~~~~~~~~~~~~~~~ The list of platforms we support, and the people responsible for them, is here: http://ghc.haskell.org/trac/ghc/wiki/Contributors Ports to other platforms are possible with varying degrees of difficulty. The Building Guide describes how to go about porting to a new platform: http://ghc.haskell.org/trac/ghc/wiki/Building Developers ~~~~~~~~~~ We welcome new contributors. Instructions on accessing our source code repository, and getting started with hacking on GHC, are available from the GHC's developer's site run by Trac: http://ghc.haskell.org/trac/ghc/ Mailing lists ~~~~~~~~~~~~~ We run mailing lists for GHC users and bug reports; to subscribe, use the web interfaces at http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-tickets There are several other haskell and ghc-related mailing lists on www.haskell.org; for the full list, see https://mail.haskell.org/cgi-bin/mailman/listinfo Some GHC developers hang out on #haskell on IRC, too: http://www.haskell.org/haskellwiki/IRC_channel Please report bugs using our bug tracking system. Instructions on reporting bugs can be found here: http://www.haskell.org/ghc/reportabug -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 487 bytes Desc: not available URL: