From rdgrande at site.uottawa.ca Tue Apr 3 02:06:36 2018 From: rdgrande at site.uottawa.ca (Robson De Grande) Date: Mon, 2 Apr 2018 22:06:36 -0400 Subject: [Haskell] CFP: IEEE DS-RT 2018 (October 15-17, 2018 - Madrid, Spain) Message-ID: ------------------------------------------------------------------------------------ Please accept our apologies if you have received multiple copies. ------------------------------------------------------------------------------------ Call for Papers - DS-RT 2018 22nd IEEE/ACM* International Symposium on Distributed Simulation and Real Time Applications http://ds-rt.com/ October 15-17, 2018 - Madrid, Spain *IEEE/ACM Pending Upon Approval ----------------------------------------------------------------------- IMPORTANT: Submission deadline: May 20th, 2018 *** The Symposium *** The 2018 IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2018) promises to be a grand affair and will take place in Madrid, Spain. DS-RT 2018 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 2018 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 2018 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 enlivened. The scope of the symposium includes, but is not limited to: Paradigms, Methodology, Algorithms 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 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) Advances in Modelling and Simulation Studies and Technologies (Reuse of Models, New Modelling Languages, Agent-based M&S, Spatial M&S, Cognitive Modelling, Neural Network Models, Artificial Intelligence in Simulation, Discrete Events, Continuous Simulation, Service-oriented Computing and Simulation, Web-based Modelling and Simulation, Simulation of Multimedia Applications and Systems, etc.) Pervasive and Ubiquitous Computing Architectures and Applications that involve Simulations and/or adhere to Real-Time Constraints 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 Simulation Studies at Large and Very Large Scale (e.g. Industrial, Commercial, Ecological and Environmental, Societal, Power and Energy) 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, Traffic Modelling, World Stock Markets, Food Supply Chains, Megacities, Smart Cities, Smart Networks, Disaster Planning, etc.) Performance and Validation of Large-Scale and Distributed Simulations (e.g., benchmarking and analytical results, empirical studies DIS, HLA/RTI studies) Visual Interactive Simulation Environments (e.g., Generic Animation, Visual Interactive Modelling, Interactive Computer Based Training and Learning, Scientific Visualization, High-End Computer Graphics) 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 Design Issues, Interaction Designs, Human Computer Interaction Issues raised by Large Scale DS-RT Systems Serious Gaming and Massive Multiplayer Online Games (MMOG) applications, architectures and scalability issues Technologies for Living Labs (e.g. Mirror World Simulation, Interoperability, Large Scale Multi-Sensor Networks, Global Wireless Communication, Multi-Stakeholder Understanding and Innovation) Innovative Styles of Interactions with Large Scale DS-RT Systems (e.g. Implicit, Situative and Attentive Interaction, Tangible Interaction, Embedded Interaction, etc.) Media Convergence (e.g. New Technologies, Media Theory, Real-Time considerations of Multi-Modality, etc.) *** Important Dates *** Paper Submission Deadline: May 20th, 2018 Notification of Acceptance: July 1st, 2018 Camera Ready version due: July 31st, 2018 Symposium presentation: October 15-17, 2018 *** Submission *** High-quality original papers are solicited. Papers must be unpublished and must not be submitted for publication elsewhere. All papers will be reviewed by Technical Program Committee members and other experts active in the field to ensure high quality and relevance to the conference. Accepted papers will appear in the conference proceedings to be published by IEEE-CS press. Authors of selected papers will be invited to submit extended versions of their papers to the Journal of Simulation. General information regarding submission can be found at http://ds-rt.com/2018/. Questions from authors may be directed to the Program Co-Chairs. IMPORTANT: CONFERENCE ATTENDANCE BY AT LEAST ONE AUTHOR OF ACCEPTED PAPERS IS MANDATORY *** ORGANIZING COMMITTEE*** General Chair José Luis Risco Martín, Complutense University of Madrid, Spain Program Co-Chairs Eva Besada, Complutense University of Madrid, Spain Floriano De Rango, University of Calabria, Italy Posters Chair Peppino Fazio, University of Calabria, Italy Demo Chair Amilcare F. Santamaria, University of Calabria, Italy Special Sessions Chair Robson De Grande, Brock University, Canada Publicity Chair Lucas Potter, Old Dominion University, VA, USA Finance Chair Guillermo Botella, Complutense University of Madrid, Spain -------------- next part -------------- An HTML attachment was scrubbed... URL: From publicityifl at gmail.com Tue Apr 3 07:11:03 2018 From: publicityifl at gmail.com (Jurriaan Hage) Date: Tue, 3 Apr 2018 09:11:03 +0200 Subject: [Haskell] 2nd CfP: IFL 2018 (30th Symposium on Implementation and Application of Functional Languages) Message-ID: Hello, Please, find below the second call for papers for IFL 2018. 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 2018 30th Symposium on Implementation and Application of Functional Languages University of Massachusetts Lowell, MA, USA September 5th-7th, 2018 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 2018 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. Topics of interest to IFL 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 ### Keynote Speakers * Adam Chlipala, Massachusetts Institute of Technology CSAIL * Arjun Guha, University of Massachusetts Amherst ### Submissions and peer-review Differently from previous editions of IFL, IFL 2018 solicits two kinds of submissions: * Regular papers (12 pages including references) * Draft papers for presentations ('weak' limit between 8 and 15 pages) Regular papers will undergo a rigorous review by the program committee, and will be evaluated according to their correctness, novelty, originality, relevance, significance, and clarity. A set of regular papers will be conditionally accepted for publication. Authors of conditionally accepted papers will be provided with committee reviews along with a set of mandatory revisions. Regular papers not accepted for publication will be considered as draft papers, at the request of the author. Draft papers will be screened to make sure that they are within the scope of IFL, and will be accepted for presentation or rejected accordingly. Prior to the symposium: Authors of conditionally accepted papers and accepted presentations will submit a pre-proceedings version of their work that will appear in the draft proceedings distributed at the symposium. The draft proceedings does not constitute a formal publication. We require that at least one of the authors present the work at IFL 2018. After the symposium: Authors of conditionally accepted papers will submit a revised versions of their paper for the formal post-proceedings. The program committee will assess whether the mandatory revisions have been adequately addressed by the authors and thereby determines the final accept/reject status of the paper. Our interest is to ultimately accept all conditionally accepted papers. If you are an author of a conditionally accepted paper, please make sure that you address all the concerns of the reviewers. Authors of accepted presentations 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 post-proceedings. The program committee will evaluate these submissions according to their correctness, novelty, originality, relevance, significance, and clarity, and will thereby determine whether the paper is accepted or rejected. ### Publication The formal proceedings will appear in the International Conference Proceedings Series of the ACM Digital Library. 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 ### Important dates Submission of regular papers: May 25, 2018 Submission of draft papers: July 17, 2018 Regular and draft papers notification: July 20, 2018 Deadline for early registration: August 8, 2018 Submission of pre-proceedings version: August 29, 2018 IFL Symposium: September 5-7, 2018 Submission of papers for post-proceedings: November 7, 2018 Notification of acceptance: December 22, 2018 Camera-ready version: February 10, 2019 ### Submission details All contributions must be written in English. Papers must use the ACM two columns conference format, which can be found at: http://www.acm.org/publications/proceedings-template Authors submit through EasyChair: https://easychair.org/conferences/?conf=ifl2018 ### 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. ### Organization and Program committee Chairs: Jay McCarthy & Matteo Cimini, University of Massachusetts Lowell, USA Program Committee: * Arthur Chargueraud, Inria, FR * Ben Delaware, Purdue University, USA * Christos Dimoulas, Northwestern University, USA * David Darais, University of Vermont, USA * Dominic Orchard, University of Kent, UK * Ekaterina Komendantskaya, Heriot-Watt University, UK * Garrett Morris, University of Kansas, USA * Heather Miller, EPFL & Northeastern University, CH & USA * Jeremy Yallop, University of Cambridge, UK * Keiko Nakata, SAP Innovation Center Potsdam, DE * Laura Castro, University of A Coruna, ESP * Magnus Myreen, Chalmers University of Technology, SWE * Natalia Chechina, Bournemouth University, UK * Peter Achten, Radboud Universiteit Nijmegen, NL * Peter-Michael Osera, Grinnell College, USA * Richard Eisenberg, Bryn Mawr College, USA * Trevor McDonell, University of New South Wales, AUS * Yukiyoshi Kameyama, University of Tsukuba, JAP ### Venue The 30th IFL is organized by the University of Massachusetts Lowell. The City of Lowell is located at the heart of the Merrimack Valley just 30 miles northwest of Boston. Lowell can be easily reached by train or taxi. See the website for more information on the venue. ### Acknowledgments This call-for-papers is an adaptation and evolution of content from previous instances of IFL. We are grateful to prior organizers for their work, which is reused here. A part of IFL 2018 format and CFP language that describes conditionally accepted papers has been adapted from call-for-papers of OOPSLA conferences. -------------- next part -------------- An HTML attachment was scrubbed... URL: From brucker at spamfence.net Wed Apr 4 13:59:00 2018 From: brucker at spamfence.net (Achim D. Brucker) Date: Wed, 4 Apr 2018 14:59:00 +0100 Subject: [Haskell] ThEdu'18: Second Call for Extended Abstracts & Demonstrations Message-ID: <20180404135900.m462nvbika4l3l47@kandagawa.home.brucker.ch> (Apologies for duplicates) 2nd Call for Extended Abstracts & Demonstrations ************************************************************************** ThEdu'18 Theorem proving components for Educational software 18 July 2018 http://www.uc.pt/en/congressos/thedu/thedu18 ************************************************************************** affiliated to IJCAR 2018 July 14-17, 2018 Oxford, United Kingdom http://www.ijcar2018.org/ (part of FLoC 2018) ************************************************************************** THedu'18 Scope: Computer Theorem Proving is becoming a paradigm as well as a technological base for a new generation of educational software in science, technology, engineering and mathematics. The workshop brings together experts in automated deduction with experts in education in order to further clarify the shape of the new software generation and to discuss existing systems. Invited Talk Julien Narboux, University of Strasbourg, France Important Dates * Extended Abstracts: 15th April 2018 * Author Notification: 15th May 2018 * Workshop Day: 18 July 2018 Topics of interest include: * methods of automated deduction applied to checking students' input; * methods of automated deduction applied to prove post-conditions for particular problem solutions; * combinations of deduction and computation enabling systems to propose next steps; * automated provers specific for dynamic geometry systems; * proof and proving in mathematics education. Submission We welcome submission of extended abstracts and demonstration proposals presenting original unpublished work which is not been submitted for publication elsewhere. All accepted extended abstracts and demonstrations will be presented at the workshop. The extended abstracts will be made available online. Extended abstracts and demonstration proposals should be submitted via easychair, https://easychair.org/conferences/?conf=thedu18 formatted according to http://www.easychair.org/publications/easychair.zip Extended abstracts and demonstration proposals should be approximately 5 pages in length and are to be submitted in PDF format. At least one author of each accepted extended abstract/demonstration proposal is expected to attend THedu'18 and presents his/her extended abstract/demonstration. Program Committee Francisco Botana, University of Vigo at Pontevedra, Spain Roman Hašek, University of South Bohemia, Czech Republic Filip Maric, University of Belgrade, Serbia Walther Neuper, Graz University of Technology, Austria (co-chair) Pavel Pech, University of South Bohemia, Czech Republic Pedro Quaresma, University of Coimbra, Portugal (co-chair) Vanda Santos, CISUC, Portugal Wolfgang Schreiner, Johannes Kepler University, Austria Burkhart Wolff, University Paris-Sud, France Proceedings The extended abstracts and system descriptions will be available in ThEdu'18 Web-page. After presentation at the conference, selected authors will be invited to submit a substantially revised version, extended to 14--20 pages, for publication by the Electronic Proceedings in Theoretical Computer Science (EPTCS). -- Dr. Achim D. Brucker | Software Assurance & Security | University of Sheffield https://www.brucker.ch | https://logicalhacking.com/blog @adbrucker | @logicalhacking From travis at anduril.com Thu Apr 5 05:01:58 2018 From: travis at anduril.com (Travis Whitaker) Date: Wed, 4 Apr 2018 22:01:58 -0700 Subject: [Haskell] [Haskell, FP] Anduril Industries is Hiring Message-ID: Anduril Industries (https://www.anduril.com) is hiring. TL;DR: Come write Haskell, Rust, and Nix (and some C++ when necessary) to make autonomous robots and drones go! We're a team of software and hardware engineers from various backgrounds (game development, computer graphics, financial technology, government intelligence, biotechnology) working to improve the state of defense technology. Our strategy involves focusing on product development instead of traditional governmental processes. By funding product development ourselves instead of relying on government funds, we're able to create more focused products faster and with significantly fewer resources. By leveraging hardware and techniques that have only recently become feasible to deploy at scale (e.g. GPGPU computing), we can significantly advance the state of the defense technology market. We're searching for generally competent, mathematically inclined software engineers, and we're especially interested in those with experience in computer vision (first principles techniques and machine learning), sensor fusion, detection and tracking, and statistical parameter estimation. Our team is increasingly applying functional programming and related technologies; we run Haskell and Rust code in production and use Nix to achieve reproducible build environments and keep deployment, CI, and cross-compilation sane. If you like functional programming, interfacing with hardware, and solving problems in detection, tracking, and autonomous vehicle control (land and air), drop me a line at travis at anduril.com -------------- next part -------------- An HTML attachment was scrubbed... URL: From ivan.miljenovic at gmail.com Thu Apr 5 05:33:28 2018 From: ivan.miljenovic at gmail.com (Ivan Lazar Miljenovic) Date: Thu, 5 Apr 2018 15:33:28 +1000 Subject: [Haskell] [Haskell, FP] Anduril Industries is Hiring In-Reply-To: References: Message-ID: Hi Travis, It would be helpful if you said a) where this was and b) if remote work is possible. On 5 April 2018 at 15:01, Travis Whitaker wrote: > Anduril Industries (https://www.anduril.com) is hiring. TL;DR: Come write > Haskell, Rust, and Nix (and some C++ when necessary) to make autonomous > robots and drones go! > > We're a team of software and hardware engineers from various backgrounds > (game development, computer graphics, financial technology, government > intelligence, biotechnology) working to improve the state of defense > technology. Our strategy involves focusing on product development instead of > traditional governmental processes. By funding product development ourselves > instead of relying on government funds, we're able to create more focused > products faster and with significantly fewer resources. By leveraging > hardware and techniques that have only recently become feasible to deploy at > scale (e.g. GPGPU computing), we can significantly advance the state of the > defense technology market. > > We're searching for generally competent, mathematically inclined software > engineers, and we're especially interested in those with experience in > computer vision (first principles techniques and machine learning), sensor > fusion, detection and tracking, and statistical parameter estimation. Our > team is increasingly applying functional programming and related > technologies; we run Haskell and Rust code in production and use Nix to > achieve reproducible build environments and keep deployment, CI, and > cross-compilation sane. > > If you like functional programming, interfacing with hardware, and solving > problems in detection, tracking, and autonomous vehicle control (land and > air), drop me a line at travis at anduril.com > > > _______________________________________________ > Haskell mailing list > Haskell at haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell > -- Ivan Lazar Miljenovic Ivan.Miljenovic at gmail.com http://IvanMiljenovic.wordpress.com From heather.miller at epfl.ch Sun Apr 8 22:08:35 2018 From: heather.miller at epfl.ch (Heather Miller) Date: Sun, 8 Apr 2018 18:08:35 -0400 Subject: [Haskell] TFPIE 2018: First Call for Papers Message-ID: ====================================================================== TFPIE 2018: First Call for Papers ====================================================================== Trends in Functional Programming in Education Gothenburg, Sweden, 14 June 2018 http://www.ccs.neu.edu/home/heather/tfpie2018/ (co-located with TFP 2018) http://www.cse.chalmers.se/~myreen/tfp2018/ ====================================================================== The goal of TFPIE is to gather researchers, teachers and professionals that use, or are interested in the use of, functional programming in education. TFPIE aims to be a venue where novel ideas, classroom-tested ideas and work-in-progress on the use of functional programming in education are discussed. The one-day workshop will foster a spirit of open discussion by having a review process for publication after the workshop. The program chair of TFPIE 2018 will screen submissions to ensure that all presentations are within scope and are of interest to participants. After the workshop, presenters will be invited to submit revised versions of their articles for publication in the journal Electronic Proceedings in Theoretical Computer Science (EPTCS). Scope ===== TFPIE 2018 welcomes submissions describing techniques used in the classroom, tools used in and/or developed for the classroom and any creative use of functional programming (FP) to aid education in or outside Computer Science. Topics of interest include, but are not limited to: - FP and beginning CS students - FP and Computational Thinking - FP and Artificial Intelligence - FP in Robotics - FP and Music - Advanced FP for undergraduates - FP in graduate education - Engaging students in research using FP - FP in Programming Languages - FP in the high school curriculum - FP as a stepping stone to other CS topics - FP and Philosophy - The pedagogy of teaching FP - FP and e-learning: MOOCs, automated assessment etc. - Best Lectures – more details below In addition to papers, we are requesting best lecture presentations. What’s your best lecture topic in an FP related course? Do you have a fun way to present FP concepts to novices or perhaps an especially interesting presentation of a difficult topic? In either case, please consider sharing it. Best lecture topics will be selected for presentation based on a short abstract describing the lecture and its interest to TFPIE attendees. Submissions =========== Potential presenters are invited to submit an extended abstract (4-6 pages) or a draft paper (up to 16 pages) in EPTCS style. The authors of accepted presentations will have their preprints and their slides made available on the workshop's website. Papers and abstracts can be submitted via EasyChair at the link below. After the workshop, presenters will be invited to submit (a revised version of) their article for review. The PC will select the best articles for publication in the journal Electronic Proceedings in Theoretical Computer Science (EPTCS). Articles rejected for presentation and extended abstracts will not be formally reviewed by the PC. Submission page: https://easychair.org/conferences/?conf=tfpie2018 Important dates =============== - Submission deadline: May 15th, Anywhere on Earth. - Notification: May 21st - Workshop: June 14th - Submission for formal review: August 17th - Notification of full article: October 5th - Camera ready: November 2nd -- Heather Miller EPFL, Scala Center Executive Director, Research Scientist http://people.epfl.ch/heather.miller +41 21 693 64 83 +41 78 625 20 23 From david.baelde at gmail.com Mon Apr 9 09:09:07 2018 From: david.baelde at gmail.com (David Baelde) Date: Mon, 9 Apr 2018 11:09:07 +0200 Subject: [Haskell] EPIT 2018 Software Verification Spring School, last call Message-ID: EPIT 2018 Software Verification Spring School Last call for participation : ** Pre-registration closes on April 13th. ** Please pre-register now (it takes 1 mn), ** validate and pay later. ** Full program announced. ===================================================================== When: May 7-11, 2018 Where: Centre Paul-Langevin in Aussois, France Web: https://projects.lsv.fr/epit18/ ===================================================================== EPIT (École de Printemps en Informatique Théorique) is a long series of Spring schools in theoretical computer science, initiated by Maurice Nivat in 1973. Since then, it has covered various fields of computer science, and has been a key event where young researchers meet. The theme of the 2018 school is software verification. The need for software verification in our information society has been recognized as early as in the ’70s and it is an ever-more-important concern today. Over the past decades, it has driven exciting research in various fields of theoretical computer science such as logic, automata, type systems, algorithms and complexity. Recently, verification techniques have seen rapid development and industrial adoptions, notably following the SMT revolution. The school will cover several fundamental aspects of software verification through four lectures (6h each): – SMT solvers, by Pascal Fontaine (LORIA) – Program verification with F*, by Cătălin Hriţcu (Inria Paris) – Bounded model-checking, by Gennaro Parlato (Uni. of Southampton) – Concurrent program logics, by Viktor Vafeiadis (MPI Kaiserslautern) and four research talks (1h each): – SMT, String and Security, by Philipp Rümmer (Uppsala University) – Verification of invariants for convergent replicated data types, by Gustavo Petri (Université Paris Diderot) – Traces, interpolants, and automata : Ultimate Automizer's approach to software verification, by Matthias Heizmann (University of Freiburg) – F* and security, by Antoine Delignat-Lavaud (Microsoft Research Cambridge) Please find more information, e.g. regarding the venue and registration, on our website: . Pre-register immediately, and spread the word! — The organizers, David Baelde (LSV, ENS Paris-Saclay & Inria Paris) Constantin Enea (IRIF, Université Paris Diderot) -------------- next part -------------- An HTML attachment was scrubbed... URL: From russo at chalmers.se Tue Apr 10 01:15:43 2018 From: russo at chalmers.se (Alejandro Russo) Date: Tue, 10 Apr 2018 03:15:43 +0200 Subject: [Haskell] 9 PhD positions at Chalmers for web security and secure programing of IoT devices Message-ID: <47fe5d18-d2ac-233d-abee-1084c7c087fa@chalmers.se> Dear all, We are starting two big projects on security at Chalmers. Both of them apply programming languages technology to solve security problems. One of them is based on Haskell. Details below. Best, /Alejandro ** Apologies for multiple copies ** The Computer Science and Engineering Department, Chalmers University of Technology is hiring: 4 PhD students in web application security 5 PhD students in secure programming of IoT devices * Important dates: April 27- Deadline for first round of selection (we encourage all candidates to apply early, especially those who need visa for visiting Sweden) May 21 - Deadline for second round of selection June 1, 4 or 5 - Tentative dates for interviews * Expected starting date: preferably around September 2018. For details, including employment conditions and how to apply, see: 4 PhD students in web application security ------------------------------------------ The PhD students will join an ambitios framework project: WebSec: Securing Web-driven Systems, conducted jointly with Uppsala University. WebSec sets out to develop a principled security platform for the web. WebSec will break away from temporary patches and short-term mitigations and tackle the challenge of web security at scale. WebSec will result in: -Comprehensive framework for detection, mitigation, and prevention of cross-site scripting (XSS) attacks, encompassing (i) Crawling 2.0 and advanced string constraint solving for XSS detection, (ii) flexible Content Security Policy (CSP) for XSS mitigation, and (iii) a server-side template framework separating data from code for XSS prevention. -JavaScript program analysis platform for monitoring and symbolically executing JavaScript, the web's main programming language. -Principled framework for system-wide security, enabling confinement, tainting, and information-flow control mechanisms across web component boundaries, building on our work on JSFlow http://www.jsflow.net/ -Mechanisms for confinement and compartmentalization on the web, including extensions to the recently proposed COWL W3C standard (https://www.w3.org/TR/COWL/) and the multi-app web framework Hails (https://hackage.haskell.org/package/hails). -Framework for privacy on the web, addressing user tracking while enabling privacy-preserving web analytics. The PhD students will join a high-profile group of researchers on software security. Software is often the root cause of vulnerabilities in modern computing systems. By focusing on securing the software, we target principled security mechanisms that provide robust protection against large classes of attacks. We have a track record of successful projects with top international partners in academia and industry, including a European project WebSand on web application sandboxing: https://www.websand.eu/ Promotional video of Chalmers research on securing web applications: https://vimeo.com/82206652 5 PhD students in secure programming of IoT devices --------------------------------------------------- The PhD positions are within the recently granted project Octopi: Secure Programming for the Internet of Things (IoT). Octopi is dedicated to contribute and further research on (i) utilizing high-level languages to program constraint devices, (ii) finding suitable programming models for IoT, and (iii) developing security mechanisms to obtain system-wide guarantees. The programming language of the project is Haskell (https://www.haskell.org/). Applicants work is expected to range from establishing new theoretical foundations to building mature prototypes. Octopi presents many research tracks dedicated to tackle ambitious challenges: - Programming model This track focuses on developing programming models which capture the common coding patterns (and architecture) of IoT applications. - Compilation and runtime Programs written in high-level languages often run in tandem with fat runtime responsible to provide valuable services (e.g., safe memory management). Having such runtime in constraint IoT devices is simply not possible. This task explores mechanisms to predict resource consumption behavior of programs so that certain runtime services are not needed, thus reducing their size. - Locality of data In data-driven IoT systems, users must be able to express and control easily is the choice of whether to migrate data to functions or functions to data. This task focus on finding ways to provide such control without giving up the benefits of programming in a high-level language. - Hardware support This task is aimed at the end points of IoT system. It plans on creating a processor aimed specifically at executing functional languages directly and efficiently. This entails both creating an efficient graph reduction engine as well as built-in support for garbage collection. - Penetration testing High-level languages prevent developers from introducing a wide class of security-related bugs that plague low-level ones. Nevertheless, programs written in a high-level language interacts, via bindings, with the underlying OS. The binding code is responsible to bridge the semantic gap across both languages, which constitutes a door for security bugs. This task plans to provide a smart fuzzing tool to test such binding code for vulnerabilities. PhD students will join high-profile groups of researchers on security and functional programming with a rich network of collaborators and visibility across several research communities. Octopi's faculty members have a strong tradition in successfully applying the functional programming Haskell to different domains: protection of privacy of data (https://hackage.haskell.org/package/lio), testing (https://hackage.haskell.org/package/QuickCheck), SAT-solving and theorem proving (https://github.com/nick8325/equinox), and digital signal processing (https://hackage.haskell.org/package/feldspar-language). From sabel at ki.informatik.uni-frankfurt.de Tue Apr 10 07:26:53 2018 From: sabel at ki.informatik.uni-frankfurt.de (David Sabel) Date: Tue, 10 Apr 2018 09:26:53 +0200 Subject: [Haskell] PPDP 2018: Second Call for Papers Message-ID: (Apologies if you receive multiple copies of this CFP. Please circulate.) ====================================================================== PPDP 2018: Second Call for Papers ====================================================================== 20th International Symposium on Principles and Practice of Declarative Programming Frankfurt am Main, Germany, 3-5 September 2018 http://ppdp-lopstr-18.cs.uni-frankfurt.de/ppdp18.html (co-located with LOPSTR 2018 and WFLP 2018) http://ppdp-lopstr-18.cs.uni-frankfurt.de ====================================================================== Invited Talks (NEW!) ==================== - Philippa Gardner, Imperial College: Testing and Verification for JavaScript (joint with LOPSTR) - Jorge Navas, SRI International: Constrained Horn Clauses for Verification (joint with LOPSTR) - Chung-Chieh Shan, University of Indiana: Calculating Distributions Scope ===== The PPDP 2018 symposium brings together researchers from the declarative programming communities, including those working in the functional, logic, answer-set, and constraint handling programming paradigms. The goal is to stimulate research in the use of logical formalisms and methods for analyzing, performing, specifying, and reasoning about computations, including mechanisms for concurrency, security, static analysis, and verification. Submissions are invited on all topics related to declarative programming, from principles to practice, from foundations to applications. Topics of interest include, but are not limited to - Language Design: domain-specific languages; interoperability; concurrency, parallelism, and distribution; modules; probabilistic languages; reactive languages; database languages; knowledge representation languages; languages with objects; language extensions for tabulation; metaprogramming. - Implementations: abstract machines; interpreters; compilation; compile-time and run-time optimization; memory management. - Foundations: types; logical frameworks; monads and effects; semantics. - Analysis and Transformation: partial evaluation; abstract interpretation; control flow; data flow; information flow; termination analysis; resource analysis; type inference and type checking; verification; validation; debugging; testing. - Tools and Applications: programming and proof environments; verification tools; case studies in proof assistants or interactive theorem provers; certification; novel applications of declarative programming inside and outside of CS; declarative programming pearls; practical experience reports and industrial application; education. The PC chair will be happy to advise on the appropriateness of a topic. PPDP will be co-located with the 28th Int'l Symp. on Logic-Based Program Synthesis and Transformation (LOPSTR 2018). Submission Categories ===================== Submissions can be made in three categories: regular Research Papers, System Descriptions, and Experience Reports. Submissions of Research Papers must present original research which is unpublished and not submitted elsewhere. They must not exceed 12 pages ACM style 2-column (including figures, but excluding bibliography). Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Research papers will be judged on originality, significance, correctness, clarity, and readability. Submission of System Descriptions must describe a working system whose description has not been published or submitted elsewhere. They must not exceed 10 pages and should contain a link to a working system. System Descriptions must be marked as such at the time of submission and will be judged on originality, significance, usefulness, clarity, and readability. Submissions of Experience Reports are meant to help create a body of published, refereed, citable evidence where declarative programming such as functional, logic, answer-set, constraint programming, etc., is used in practice. They must not exceed 5 pages **including references**. Experience Reports must be marked as such at the time of submission and need not report original research results. They will be judged on significance, usefulness, clarity, and readability. Possible topics for an Experience Report include, but are not limited to: insights gained from real-world projects using declarative programming comparison of declarative programming with conventional programming in the context of an industrial project or a university curriculum curricular issues encountered when using declarative programming in education real-world constraints that created special challenges for an implementation of a declarative language or for declarative programming in general novel use of declarative programming in the classroom programming pearl that illustrates a nifty new data structure or programming technique. Supplementary material may be provided in a clearly marked appendix beyond the above-mentioned page limits. Reviewers are not required to study any material beyond the respective page limit. Format of a submission ====================== For each paper category, you must use the most recent version of the "Current ACM Master Template" which is available at . The most recent version at the time of writing is 1.48. You must use the LaTeX sigconf proceedings template as the conference organizers are unable to process final submissions in other formats. In case of problems with the templates, contact [ACM'€™s TeX support team at Aptara](mailto:acmtexsupport at aptaracorp.com). Authors should note [ACM's statement on author's rights](http://authors.acm.org/) which apply to final papers. Submitted papers should meet the requirements of [ACM's plagiarism policy](http://www.acm.org/publications/policies/plagiarism_policy). Requirements for publication ============================ At least one author of each accepted submission will be expected to attend and present the work at the conference. The pc chair may retract a paper that is not presented. The pc chair may also retract a paper if complaints about the paper's correctness are raised which cannot be resolved by the final paper deadline. Important dates =============== - 23.04.2018 paper submission - 14.06.2018 rebuttal period (48 hours) - 25.06.2018 notification - 16.07.2018 final papers - 03.09.2018 conference starts From thiemann at informatik.uni-freiburg.de Tue Apr 10 14:52:06 2018 From: thiemann at informatik.uni-freiburg.de (Peter Thiemann) Date: Tue, 10 Apr 2018 16:52:06 +0200 Subject: [Haskell] Phd/PostDoc position on linear types and session types Message-ID: <032261B7-DFA1-4B3A-9203-83289A1ABA0F@informatik.uni-freiburg.de> The programming languages group at University of Freiburg, Germany, has an opening for a research assistant to work on a DFG-funded project to create a version of OCaml with linear types and session types to start on July 1, 2018. The project entails work on the theory and on an implementation with the weighting adjusted according to the candidate’s profile, which would ideally complement the current group members. The position can be filled with a PhD student or with a PostDoc and we welcome applications of either kind. I am looking for strong candidates with PL background, preferably with demonstrated experience in functional programming and types. Background with OCaml and/or proof assistants (Coq, Agda) is an additional bonus. JOB DETAILS AND APPLICATION The salary is according to the TV-L E13 scale of German public service. The university of Freiburg aims at increasing the number of female employees and thus especially welcomes applications of female candidates. Applications of disabled candidates will be given priority, depending on their suitability. Applications in PDF format or informal enquiries by email are welcome. Applications will be considered until the position is filled. The starting date is negotiable. Check our research webpage http://proglang.informatik.uni-freiburg.de/research/ or the DBLP publication profile http://dblp.dagstuhl.de/pers/hd/t/Thiemann:Peter for more information. Best regards -Peter Thiemann From wim.ectors at uhasselt.be Wed Apr 11 07:06:51 2018 From: wim.ectors at uhasselt.be (Wim Ectors) Date: Wed, 11 Apr 2018 00:06:51 -0700 Subject: [Haskell] [FNC-2018] FINAL submission deadline: April 20. Conference on Future Networks and Communications. Gran Canaria, Spain (August 13-15, 2018) Message-ID: ------------------------------------------------------------------------ The 13th International Conference on Future Networks and Communications August 13-15, 2018 Gran Canaria, Spain http://cs-conferences.acadiau.ca/fnc-18/ ------------------------------------------------------------------------ Future Networks and Communications (FNC) research effort will help achieving a major promise of the emerging technologies such as, ubiquitous access to broadband, supporting vital applications in our daily lives such as health, energy consumption, environment transport, entertainment or education. The scope of FNC is the development of energy-efficient future network infrastructures that support the convergence and interoperability of heterogeneous mobile, wired and wireless broadband network technologies as enablers of the future Internet. This includes but not limited to ubiquitous fast broadband access and ultra-high speed end-to-end optical connectivity, supporting open services and innovative ambient applications. Scope also embraces novel and evolutionary approaches to tackle network architectures, taking due consideration of users and societal needs for success. Important Dates ---------------- - Workshop Proposal Due: February 10, 2018 - Paper Submission Due: April 20, 2018 (FINAL) - Acceptance Notification: May 15, 2018 - Final Manuscript Due: June 15, 2018 Publication ------------ All FNC 2018 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus ( www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/). All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com). This includes EI Compendex (www.ei.org/compendex). Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/). The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the following special issues: - International Journal of Ambient Intelligence and Humanized Computing (IF: 1.588), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics (IF: 0.504), ( http://www.cai.sk/ojs/index.php/cai/index) - IEEE Intelligent Transportation Systems Magazine (IF: 3.654), by IEEE ( http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5117645) FNC 2018 will be held in conjunction with the 15th International Conference on Mobile Systems and Pervasive Computing (MobiSPC http://cs-conferences.acadiau.ca/mobispc-18/). FNC 2018 is co-organized & co-hosted by the University of University of Las Palmas de Gran Canaria, Spain. FNC 2018 will be held in Gran Canaria, Spain. Gran Canaria originally meaning "Great [Island] of Dogs" is the second most populous island of the Canary Islands, an African archipelago which is part of Spain, with a population of 847,830 (in 2015) that constitutes approximately 40% of the population of the archipelago. Located in the Atlantic Ocean about 150 kilometres (93 mi) off the northwestern coast of Africa and about 1,350 km (840 mi) from Europe. With an area of 1,560 km2 (602 sq. mi) and an altitude of 1,956 m (6,417 ft) at the Pico de las Nieves, Gran Canaria is the third largest island of the archipelago in both area and altitude. COMMITTEES: ----------- General Chair Ladislav Hluchy, Institute of Informatics, Slovak Academy of Sciences, Slovakia Program Chairs Hossam Hassanein, Queens University, Canada Ansar-Ul-Haque Yasar, IMOB Ð Hasselt University, Belgium Local Chair Javier Sanchez Medina, University of Las Palmas de Gran Canaria, Spain Advisory Committee Soumaya Cherkaoui, Sherbrooke University, Canada Erol Gelenbe, Imperial College, UK Roch Glitho, Concordia University, Canada Zygmunt J. Haas, Cornell University, USA Philippe Martins, Telecom Paris Tech, France Peter Sloot, Universiteit van Amsterdam, Netherlands Ralf Steinmetz, Technische Universitaet Darmstadt, Germany David Taniar, Monash University, Australia Mohamed Younis, University of Maryland Baltimore County, USA Workshops Chair Haroon Malik, Marshall University, USA International Journals Chair Salvatore Cuomo, University of Naples Federico II, Italy Publicity Chairs Wim Ectors, Hasselt University, Belgium Monika Davidekova, Comenius University, Slovak Republic Technical Program Committee http://cs-conferences.acadiau.ca/fnc-18/#programCommittees -------------- next part -------------- An HTML attachment was scrubbed... URL: From wim.ectors at uhasselt.be Wed Apr 11 07:09:17 2018 From: wim.ectors at uhasselt.be (Wim Ectors) Date: Wed, 11 Apr 2018 00:09:17 -0700 Subject: [Haskell] [MobiSPC-2018] FINAL submission deadline: April 20. Conference on Mobile Systems and Pervasive Computing. Gran Canaria, Spain (July 13-15, 2018) Message-ID: ------------------------------------------------------------------------ The 15th International Conference on Mobile Systems and Pervasive Computing August 13-15, 2018 Gran Canaria, Spain http://cs-conferences.acadiau.ca/mobispc-18/ ------------------------------------------------------------------------ Mobile Systems and Pervasive Computing (MobiSPC) have evolved into an active area of research and development. This is due to the tremendous advances in a broad spectrum of technologies and topics, including wireless networking, mobile and distributed computing, sensor systems, RFID technology, and the ubiquitous mobile phone. MobiSPC-2018 solicits papers that focus on the theory, systems, practices and challenges of providing users with a successful mobile or wireless experience. This includes how mobile computing changes how people pervasively use their computers, computing resources and applications, as well the systems, services and technologies enabling those applications. MobiSPC-2018 will provide a leading edge, scholarly forum for researchers, engineers, and students alike to share their state-of-the art research and developmental work in the broad areas of pervasive computing and mobile systems. Important Dates ---------------- - Workshop Proposal Due: February 10, 2018 - Paper Submission Due: April 20, 2018 (FINAL) - Acceptance Notification: May 15, 2018 - Final Manuscript Due: June 15, 2018 Publication ------------ All MobiSPC 2018 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus ( www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/). All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com). This includes EI Compendex (www.ei.org/compendex). Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/). The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the following special issues: - International Journal of Ambient Intelligence and Humanized Computing (IF: 1.588), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics (IF: 0.504), ( http://www.cai.sk/ojs/index.php/cai/index) - IEEE Intelligent Transportation Systems Magazine (IF: 3.654), by IEEE ( http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5117645) MobiSPC 2018 will be held in conjunction with the 13th International Conference on Future Networks and Communications (FNC, http://cs-conferences.acadiau.ca/fnc-18/). . MobiSPC 2018 is co-organized & co-hosted by the University of University of Las Palmas de Gran Canaria, Spain. MobiSPC 2018 will be held in Gran Canaria, Spain. Gran Canaria originally meaning "Great [Island] of Dogs" is the second most populous island of the Canary Islands, an African archipelago which is part of Spain, with a population of 847,830 (in 2015) that constitutes approximately 40% of the population of the archipelago. Located in the Atlantic Ocean about 150 kilometres (93 mi) off the northwestern coast of Africa and about 1,350 km (840 mi) from Europe. With an area of 1,560 km2 (602 sq. mi) and an altitude of 1,956 m (6,417 ft) at the Pico de las Nieves, Gran Canaria is the third largest island of the archipelago in both area and altitude. COMMITTEES: ----------- General Chair Boris Magnusson, Lund University, Sweden Program Chair StŽphane Galland, UniversitŽ de Technologie de Belfort-MontbŽliard, France Elhadi Shakshuki, Acadia University, Canada Local Chair Javier Sanchez Medina, University of Las Palmas de Gran Canaria, Spain Advisory Committee Nirwan Ansari, New Jersey Institute of Technology, USA Abdelfettah Belghith, University of Manouba, Tunisia Flavien Balbo, Ecole Nationale SupŽrieure des Mines de Saint Etienne, France Erol Gelenbe, Imperial College, UK Vincenzo Loia, University of Salerno, Italy No‘l de Palma, UniversitŽ de Grenoble, France Ralf Steinmetz, Technische Universitaet Darmstadt, Germany Mohamed Younis, University of Maryland Baltimore County, USA Workshops Chair Haroon Malik, Marshall University, USA Tracks Chairs Habib M. Ammari, Fordham University, USA Longbiao Chen, Xiamen University, China Mohamed Guerroumi, USTHB University, Algeria Danny Hughes, K. U. Leuven, Belgium Francesco Piccialli, University of Naples, Federico II, Italy Zahoor Khan, HCT, UAE Prashant Kumar, University of Surrey, UK Marc Kšrner, TUB Berlin, Germany Christian Poellabauer, University of Notre Dame, USA Kashif Akhtar Saleem, KSA Michael Sheng, University of Adelaide, Australia David S. L. Wei, Fordham University, USA International Journals Chair Salvatore Cuomo, University of Naples Federico II, Italy Publicity Chairs Wim Ectors, Hasselt University, Belgium Monika Davidekova, Comenius University, Slovak Republic Technical Program Committee http://cs-conferences.acadiau.ca/mobispc-18/#programCommittees -------------- next part -------------- An HTML attachment was scrubbed... URL: From gershomb at gmail.com Thu Apr 12 07:41:33 2018 From: gershomb at gmail.com (Gershom B) Date: Thu, 12 Apr 2018 09:41:33 +0200 Subject: [Haskell] Unplanned Hackage Downtime Message-ID: I made a terrible administrative snafu, and we need to take some time to restore Hackage. Luckily we have better mirroring in place now, so cabal-install should be able to fall back automatically to mirrors. If this does not work, you can use http://objects-us-west-1.dream.io/hackage-mirror/ or http://hackage.fpcomplete.com/ manually. Best (and sincere apologies), Gershom -------------- next part -------------- An HTML attachment was scrubbed... URL: From oana.piciorus at tezos.com Sat Apr 14 09:26:04 2018 From: oana.piciorus at tezos.com (careers) Date: Sat, 14 Apr 2018 11:26:04 +0200 Subject: [Haskell] Tezos recrute! / Tezos is recruiting! Message-ID: Tezos est une blockchain et une plateforme de contrats intelligents écrite en OCaml. En outre, Tezos est dotée d'un mécanisme d'auto-gestion lui permettant d'évoluer de manière décentralisée. Le développement s'articule autour de plusieurs thèmes dont les systèmes distribués, les réseaux pairs à pairs, la théorie des langages de programmation, la cryptographie, et les méthodes formelles. Tezos compte 40 postes ouverts dans le monde dont environ 25 en France. Nous recherchons des profils variés, avec une préférence pour les détenteurs de doctorats. Possibilité de thèse CIFRE pour les étudiants en master. Est fortement préférée la maîtrise d'un langage fonctionnel tel que OCaml, Haskell, Clojure ou équivalent et des compétences dans l'un des domaines suivants: algorithmique, compilateurs, conception de langages de programmation, cryptographie, p2p, programmation web / UI en OCaml, SAT/SMT ou vérification formelle. Rémunération très attractive. Si vous êtes intéressé(e)s, envoyez votre CV à careers at tezos.com! ******************* Tezos is a self-governing blockchain and smart-contract platform written in OCaml. Tezos' self-governance allows it to evolve in a decentralised manner by enabling collective decision making. The development of the project is centred around different areas, such as distributed systems, peer to peer systems, theory of programming languages, cryptography and formal methods. We are currently filling 40 open positions world-wide, including 25 in France and are looking for a range of profiles, with a preference towards PhD holders. Possibility of PhD funding for Master students in France. Mastering of a functional language such as OCaml, Haskell or Closure is particularly desirable, as are proven skills in one or more of the following topics: algorithmics, compilers, design of programming languages, cryptography, p2p, web programming / UI in OCaml, SAT / SMT, or formal verification. Attractive compensation. If you are interested, please send your CV (resumé) to careers at tezos.com! -------------- next part -------------- An HTML attachment was scrubbed... URL: From carlos.camarao at gmail.com Sun Apr 15 22:50:54 2018 From: carlos.camarao at gmail.com (Carlos Camarao) Date: Sun, 15 Apr 2018 19:50:54 -0300 Subject: [Haskell] SBLP 2018 last call for papers Message-ID: SBLP 2018 last call for papers ________________________________________________________________________________ Universidade de São Paulo - ICMC/USP São Carlos, Brazil, September 20-21, 2018 Conference website http://www.sbc.org.br/cbsoft2018 Submission link https://easychair.org/conferences/?conf=sblp2018 There are only 3 weeks left for the deadline of paper submission to SBLP 2018, the 22nd edition of the Brazilian Symposium on Programming Languages. The symposium is promoted by the Brazilian Computer Society (SBC) and provides a forum for researchers, students and professionals to present and discuss ideas and innovations in the design, definition, analysis, implementation and practical use of programming languages. Since 2010, it is part of CBSoft, the Brazilian Conference on Software: Theory and Practice (http://cbsoft.org/cbsoft2018/). Submission Guidelines ________________________________________________________________________________ Papers can be written in Portuguese or English. Submission in English is strongly encouraged since the symposium proceedings are indexed in the ACM Digital Library. The acceptance of a paper implies that at least one of its authors will register for the symposium to present it. Papers must be original and not simultaneously submitted to another journal or conference. Papers must be submitted electronically (in PDF format) via the Easychair System: http://www.easychair.org/conferences/?conf=sblp2018 The following paper categories are welcome (page limits include figures, references and appendices): Full papers: up to 8 pages long in ACM 2-column conference format, available at http://www.acm.org/publications/proceedings-template Short papers: up to 3 pages in the same format, can discuss new ideas which are at an early stage of development or can report partial results of on-going dissertations or theses. List of Topics (related but not limited to the following) ________________________________________________________________________________ • Programming paradigms and styles, scripting and domain-specific languages and support for real-time, service-oriented, multi-threaded, parallel, and distributed programming • Program generation and transformation • Formal semantics and theoretical foundations: denotational, operational, algebraic and categorical • Program analysis and verification, type systems, static analysis and abstract interpretation • Programming language design and implementation, programming language environments, compilation and interpretation techniques Publication ________________________________________________________________________________ SBLP proceedings will be published in ACM's digital library. As in previous editions, after the conference authors of selected regular papers will be invited to submit an extended version of their work to be considered for publication in a journal's special issue. Since 2009, selected papers of each SBLP edition are being published in a special issue of Science of Computer Programming, by Elsevier. Important dates ________________________________________________________________________________ Abstract submission: April 29th 2018 Paper submission: May 6th 2018 Author notification: June 22nd 2018 Camera ready deadline: July 8th 2018 Program Committee ________________________________________________________________________________ Mariza Bigonha Universidade Federal de Minas Gerais Roberto Bigonha Universidade Federal de Minas Gerais Andre R. Du Bois Universidade Federal de Pelotas Christiano Braga Universidade Federal Fluminense Carlos Camarão Universidade Federal de Minas Gerais (chair) Fernando Castor Universidade Federal de Pernambuco Renato Cerqueira IBM Research, Brazil João Fernandes Universidade de Coimbra João Ferreira Teesside University Lucília Figueiredo Universidade Federal de Ouro Preto Ismael Figueroa Pontifícia Universidad Católica de Valparaiso Alex Garcia Instituto Militar de Engenharia Francisco Heron Universidade Federal do Ceará Roberto Ierusalimschy Pontifícia Universidade Católica do Rio de Janeiro Yu David Liu State University of New York at Binghamton Hans-Wolfgang Loidl Heriot-Watt University Marcelo Maia Universidade Federal de Uberlândia André M. Maidl Pontifícia Universidade Católica do Paraná Manuel A. Martins Universidade de Aveiro Fábio Mascarenhas Universidade Federal do Rio de Janeiro Sérgio Medeiros Universidade Federal do Rio Grande do Norte Victor Miraldo University of Utrecht Álvaro Moreira Universidade Federal do Rio Grande do Sul Anamaria M. Moreira Universidade Federal do Rio de Janeiro Peter Mosses Swansea University Martin Musicante Universidade Federal do Rio Grande do Norte Alberto Pardo Universidad de la República Fernando Pereira Universidade Federal de Minas Gerais Gustavo Pinto Universidade Federal do Pará Louis-Noel Pouchet Ohio State University Zongyan Qiu Peking University Henrique Rêbelo Universidade Federal de Pernambuco Leonardo Reis Universidade Federal de Ouro Preto Rodrigo Ribeiro Universidade Federal de Ouro Preto Noemi Rodriguez Pontifícia Universidade Católica do Rio de Janeiro Francisco Sant'Anna Universidade Estadual do Rio de Janeiro João Saraiva Universidade do Minho Martin Sulzmann Hochschule Karlsruhe - Technik und Wirtschaft (chair) Leopoldo Teixeira Universidade Federal de Pernambuco Simon Thompson University of Kent Cristiano Vasconcellos Universidade do Estado de Santa Catarina Varmo Vene University of Tartu Invited Speaker ________________________________________________________________________________ Martin Sulzmann, Hochschule Karlsruhe - Technik und Wirtschaft, Germany Contact ________________________________________________________________________________ All questions about submissions should be emailed to Carlos Camarão (camarao at dcc.ufmg.br) -------------- next part -------------- An HTML attachment was scrubbed... URL: From aleks.nanevski at imdea.org Mon Apr 16 09:31:40 2018 From: aleks.nanevski at imdea.org (Aleksandar Nanevski) Date: Mon, 16 Apr 2018 11:31:40 +0200 Subject: [Haskell] Postdoc and PhD positions in verification at IMDEA, Madrid Message-ID: Applications are invited for postdoc and PhD positions at the IMDEA Software Institute, Madrid, Spain. The successful candidates will work under the supervision of Aleks Nanevski (http://software.imdea.org/~aleks/). The topic of the research, to be determined based on the common interests of the candidate and the supervisor, will be in the areas of software verification of concurrent programs, separation logic, and language-based security. The research will be funded by Aleks' ERC Consolidator grant "MATHADOR: Type and Proof Structures for Concurrent Software Verification", which aims to investigate the type-theoretic foundations for concurrency. PhD candidates should have an excellent MSc or BSc degree in computer science or a related subject, with an interest in the above areas, and a strong commitment to research. An MSc or a BSc thesis is a plus. PhD positions are for four years. Postdoc candidates should have, or expect shortly to obtain, a PhD in computer science. The ideal candidate will have expertise in program semantics and program logics, concurrent or distributed computing, type theory or interactive theorem proving, as they apply to the above areas. Postdoc positions are initially for one year, with possibilities for extension (depending on performance). The positions require good teamwork and communication skills, including excellent spoken and written English. Salaries at IMDEA Software Institute are internationally competitive. Interested applicants should contact Aleks directly (aleks dot nanevski at imdea dot org). Formal applications should be submitted online at  https://careers.imdea.org/software/ and mention this announcement in the submitted materials. Review of applications will begin immediately. From W.S.Swierstra at uu.nl Mon Apr 16 12:59:06 2018 From: W.S.Swierstra at uu.nl (Swierstra, W.S. (Wouter)) Date: Mon, 16 Apr 2018 12:59:06 +0000 Subject: [Haskell] Call for Participation: AFP Summer School in Utrecht Message-ID: # Call for Participation SUMMER SCHOOL ON ADVANCED FUNCTIONAL PROGRAMMING Utrecht, the Netherlands, 27-31 August 2018 http://www.afp.school ## ABOUT The Advanced Functional Programming summer school has been running for more than ten years. We aim to educate aspiring Haskell programmers beyond the basic material covered by many textbooks. The lectures will cover several more advanced topics regarding the theory and practice of Haskell programming, including topics such as: * lambda calculus; * monads and monad transformers; * lazy evaluation; * generalized algebraic data types; * type families and type-level programming; * concurrency and parallelism. The summer school consists of a mix of lectures, labs, and a busy social program. ## LECTURERS Utrecht staff: * Johan Jeuring * Alejandro Serrano Mena * Doaitse Swierstra * Wouter Swierstra Guest lectures: * Manuel Chakravarty * Koen Claessen * Gabriele Keller ## PREREQUISITES We expect students to have a basic familiarity with Haskell already. You should be able to write recursive functions over algebraic data types, such as lists and trees. There is a great deal of material readily available that covers this material. If you’ve already started learning Haskell and are looking to take your functional programming skills to the next level, this is the course for you. ## DATES Registration deadline: 1 August, 2017 School: 27-31 August ## COSTS €1700 - Housing and registration €1500 - Registration only We offer a €1000 discount for students and staff members affiliated with a university. ## SCHOLARSHIPS If you’re struggling to finance your trip to Utrecht, please let us know. We have a limited number of scholarships or discounts available for students that would not be able to attend otherwise, especially for women and under represented minorities. ## FURTHER INFORMATION Further information, including instructions on how to register, is available on our website: http://www.afp.school From P.Achten at cs.ru.nl Mon Apr 16 13:06:50 2018 From: P.Achten at cs.ru.nl (Peter Achten) Date: Mon, 16 Apr 2018 15:06:50 +0200 Subject: [Haskell] 2nd call for papers: Trends in Functional Programming, 11-13 june 2018, Chalmers Campus Johanneberg, Gothenburg Message-ID: <64f18b41-6b37-f026-048b-28a8090aa219@cs.ru.nl>                -------------------------------------                2 N D   C A L L   F O R   P A P E R S                -------------------------------------                     ======== TFP 2018 ===========           19th Symposium on Trends in Functional Programming                            11-13 June, 2018                      Chalmers Campus Johanneberg, Gothenburg            http://www.cse.chalmers.se/~myreen/tfp2018/index.html The symposium on Trends in Functional Programming (TFP) is an international forum for researchers with interests in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions (see below at scope). Please be aware that TFP uses two distinct rounds of submissions (see below at submission details). TFP 2018 will be the main event of a pair of functional programming events. TFP 2018 will be accompanied by the International Workshop on Trends in Functional Programming in Education (TFPIE), which will take place on June 14. == SCOPE == The symposium recognizes that new trends may arise through various routes. As part of the Symposium's focus on trends we therefore identify the following five article categories. High-quality articles are solicited in any of these categories: Research Articles:     Leading-edge, previously unpublished research work Position Articles:     On what new trends should or should not be Project Articles:     Descriptions of recently started new projects Evaluation Articles:     What lessons can be drawn from a finished project Overview Articles:     Summarizing work with respect to a trendy subject. Articles must be original and not simultaneously submitted for publication to any other forum. They may consider any aspect of functional programming: theoretical, implementation-oriented, or experience-oriented. Applications of functional programming techniques to other languages are also within the scope of the symposium. Topics suitable for the symposium include, but are not limited to:     Functional programming and multicore/manycore computing     Functional programming in the cloud     High performance functional computing     Extra-functional (behavioural) properties of functional programs     Dependently typed functional programming     Validation and verification of functional programs     Debugging and profiling for functional languages     Functional programming in different application areas:     security, mobility, telecommunications applications, embedded     systems, global computing, grids, etc.     Interoperability with imperative programming languages     Novel memory management techniques     Program analysis and transformation techniques     Empirical performance studies     Abstract/virtual machines and compilers for functional languages     (Embedded) domain specific languages     New implementation strategies     Any new emerging trend in the functional programming area If you are in doubt on whether your article is within the scope of TFP, please contact the TFP 2018 program chairs, Michał Pałka and Magnus Myreen. == Best Paper Awards == To reward excellent contributions, TFP awards a prize for the best paper accepted for the formal proceedings. TFP traditionally pays special attention to research students, acknowledging that students are almost by definition part of new subject trends. A student paper is one for which the authors state that the paper is mainly the work of students, the students are listed as first authors, and a student would present the paper. A prize for the best student paper is awarded each year. In both cases, it is the PC of TFP that awards the prize. In case the best paper happens to be a student paper, that paper will then receive both prizes. == Paper Submissions == We use EasyChair for the refereeing process. The link to the submission page is: https://easychair.org/conferences/?conf=tfp2018 Authors of papers have the choice of having their contributions formally reviewed either before or after the Symposium. == Pre-symposium formal review == Papers to be formally reviewed before the symposium should be submitted before an early deadline and receive their reviews and notification of acceptance for both presentation and publication before the symposium. A paper that has been rejected in this process may still be accepted for presentation at the symposium, but will not be considered for the post-symposium formal review. == Post-symposium formal review == Draft papers will receive minimal reviews and notification of acceptance for presentation at the symposium. Authors of draft papers will be invited to submit revised papers based on the feedback receive at the symposium. A post-symposium refereeing process will then select a subset of these articles for formal publication. == Paper categories == Draft papers and papers submitted for formal review are submitted as extended abstracts (4 to 10 pages in length) or full papers (20 pages). The submission must clearly indicate which category it belongs to: research, position, project, evaluation, or overview paper. It should also indicate which authors are research students, and whether the main author(s) are students. A draft paper for which all authors are students will receive additional feedback by one of the PC members shortly after the symposium has taken place. == Format == Papers must be written in English, and written using the LNCS style. For more information about formatting please consult the Springer LNCS web site. == Important Dates == Submission (pre-symposium review):                   March 26, 2018  -- passed -- Submission (draft, post-symposium review):           April 26, 2018  --  open  -- Notification (pre- and post-symposium review):       May    3, 2018 Registration:                                        June   3, 2018 TFP Symposium:                                       June 11-13, 2018 TFPIE Workshop:                                      June   14, 2018 Student papers feedback:                             June   21, 2018 Submission (post-symposium review):                  August 14, 2018 Notification (post-symposium review):                September 20, 2018 Camera-ready paper (pre- and post-symposium review): November 30, 2018 == Program Committee == Program Co-chairs Michał Pałka,    Chalmers University of Technology (SE) Magnus Myreen,    Chalmers University of Technology (SE) Program Committee Soichiro Hidaka,        Hosei University (JP) Meng Wang,              University of Bristol (UK) Sam Tobin-Hochstadt,    Indiana University Bloomington (US) Tiark Rompf,            Purdue University (US) Patricia Johann,        Appalachian State University (US) Neil Sculthorpe,        Nottingham Trent University (UK) Andres Löh,             Well-Typed LLP (UK) Tarmo Uustalu,          Tallinn University of Technology (EE) Cosmin E. Oancea,       University of Copenhagen (DK) Mauro Jaskelioff,       Universidad Nacional de Rosario (AR) Peter Achten,           Radboud University (NL) Dimitrios Vytiniotis,   Microsoft Research (UK) Alberto Pardo,          Universidad de la República (UY) Natalia Chechina,       University of Glasgow (UK) Peter Sestoft,          IT University of Copenhagen (DK) Scott Owens,            University of Kent (UK) From joachim.niehren at inria.fr Tue Apr 17 00:30:34 2018 From: joachim.niehren at inria.fr (Joachim Niehren) Date: Tue, 17 Apr 2018 02:30:34 +0200 Subject: [Haskell] WPTE 2018: Deadline extension to April 29, 2018 Message-ID: WPTE 2018 (Deadline Extended) Fifth International Workshop on Rewriting Techniques for Program Transformations and Evaluation Affiliated with FLoC 2018 and FSCD 2018 in Oxford, July 8. http://researchers.lille.inria.fr/niehren/WPTE-2018/main.html Please consider an abstract for presenting your work at the workshop even if in an early stage. About WPTE 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. Topics of Interest 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 arguing 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. Steering Committee Yuki Chiba, JAIST Horatiu Cirstea, LORIA, Université de Lorraine, France Santiago Escobar, Universitat Politècnica de València Naoki Nishida, Nagoya University David Sabel, Goethe-University, Frankfurt am Main Manfred Schmidt-Schauß, Goethe-University, Frankfurt am Main Previous Editions WPTE 2017 in Oxford was affiliated with FSCD 2017, WPTE 2016 in Porto was affiliated with FSCD 2016, WPTE 2015 in Warsaw was affiliated with RDP 2015, and WPTE 2014 in Vienna was affiliated with RTA/TLCA 2014. Program Committee Joachim Niehren (Chair), Inria, Lille. David Sabel (Co-chair), Goethe University, Frankfurt. Noaki Nishida, Nagoya University. Joachim Breitner, University of Pennsylvania. Giulio Guerrieri, Oxford University. Manfred Schmidt-Schauß, Goethe-University, Frankfurt. Vivek Nigam, Universidade Federal da Paraíba. Adam Barwell, University of St Andrews. Maribel Fernandez, King's College London. Paper Selection and Proceedings Contributions to WPTE'2018 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. 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/). Extended abstract submission to WPTE'2018 is handled by easychair at https://easychair.org/conferences/?conf=wpte2018. Formal Proceedings As in previous years, we intend to publish WPTE post-proceedings of selected papers by the Electronic Proceedings in Theoretical Computer Science. For this, full papers must be submitted until the post-proceedings deadline. The authors of all presented contributions will have the opportunity (but no obligation) to submit a full paper for the formal post-proceedings. These 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 September 2018. There will be a second round of reviewing for selecting papers to be published in the formal proceedings. Important Dates Submission of extended abstracts: April 15 extended to April 29, 2018 Notification of acceptance: May 15, 2018 Final version for proceedings deadline: May 30, 2018 Workshop: July 8, 2018 Submission to postproceedings: September 2018 From wim.ectors at uhasselt.be Wed Apr 18 08:26:55 2018 From: wim.ectors at uhasselt.be (Wim Ectors) Date: Wed, 18 Apr 2018 01:26:55 -0700 Subject: [Haskell] [MobiSPC-2018] FINAL submission deadline: April 20! Conference on Mobile Systems and Pervasive Computing. Gran Canaria, Spain (July 13-15, 2018) Message-ID: ------------------------------------------------------------------------ The 15th International Conference on Mobile Systems and Pervasive Computing August 13-15, 2018 Gran Canaria, Spain http://cs-conferences.acadiau.ca/mobispc-18/ ------------------------------------------------------------------------ Mobile Systems and Pervasive Computing (MobiSPC) have evolved into an active area of research and development. This is due to the tremendous advances in a broad spectrum of technologies and topics, including wireless networking, mobile and distributed computing, sensor systems, RFID technology, and the ubiquitous mobile phone. MobiSPC-2018 solicits papers that focus on the theory, systems, practices and challenges of providing users with a successful mobile or wireless experience. This includes how mobile computing changes how people pervasively use their computers, computing resources and applications, as well the systems, services and technologies enabling those applications. MobiSPC-2018 will provide a leading edge, scholarly forum for researchers, engineers, and students alike to share their state-of-the art research and developmental work in the broad areas of pervasive computing and mobile systems. Important Dates ---------------- - Workshop Proposal Due: February 10, 2018 - Paper Submission Due: April 20, 2018 (FINAL) - Acceptance Notification: May 15, 2018 - Final Manuscript Due: June 15, 2018 Publication ------------ All MobiSPC 2018 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus ( www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/). All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com). This includes EI Compendex (www.ei.org/compendex). Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/). The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the following special issues: - International Journal of Ambient Intelligence and Humanized Computing (IF: 1.588), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics (IF: 0.504), ( http://www.cai.sk/ojs/index.php/cai/index) - IEEE Intelligent Transportation Systems Magazine (IF: 3.654), by IEEE ( http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5117645) MobiSPC 2018 will be held in conjunction with the 13th International Conference on Future Networks and Communications (FNC, http://cs-conferences.acadiau.ca/fnc-18/). . MobiSPC 2018 is co-organized & co-hosted by the University of University of Las Palmas de Gran Canaria, Spain. MobiSPC 2018 will be held in Gran Canaria, Spain. Gran Canaria originally meaning "Great [Island] of Dogs" is the second most populous island of the Canary Islands, an African archipelago which is part of Spain, with a population of 847,830 (in 2015) that constitutes approximately 40% of the population of the archipelago. Located in the Atlantic Ocean about 150 kilometres (93 mi) off the northwestern coast of Africa and about 1,350 km (840 mi) from Europe. With an area of 1,560 km2 (602 sq. mi) and an altitude of 1,956 m (6,417 ft) at the Pico de las Nieves, Gran Canaria is the third largest island of the archipelago in both area and altitude. COMMITTEES: ----------- General Chair Boris Magnusson, Lund University, Sweden Program Chair StŽphane Galland, UniversitŽ de Technologie de Belfort-MontbŽliard, France Elhadi Shakshuki, Acadia University, Canada Local Chair Javier Sanchez Medina, University of Las Palmas de Gran Canaria, Spain Advisory Committee Nirwan Ansari, New Jersey Institute of Technology, USA Abdelfettah Belghith, University of Manouba, Tunisia Flavien Balbo, Ecole Nationale SupŽrieure des Mines de Saint Etienne, France Erol Gelenbe, Imperial College, UK Vincenzo Loia, University of Salerno, Italy No‘l de Palma, UniversitŽ de Grenoble, France Ralf Steinmetz, Technische Universitaet Darmstadt, Germany Mohamed Younis, University of Maryland Baltimore County, USA Workshops Chair Haroon Malik, Marshall University, USA Tracks Chairs Habib M. Ammari, Fordham University, USA Longbiao Chen, Xiamen University, China Mohamed Guerroumi, USTHB University, Algeria Danny Hughes, K. U. Leuven, Belgium Francesco Piccialli, University of Naples, Federico II, Italy Zahoor Khan, HCT, UAE Prashant Kumar, University of Surrey, UK Marc Kšrner, TUB Berlin, Germany Christian Poellabauer, University of Notre Dame, USA Kashif Akhtar Saleem, KSA Michael Sheng, University of Adelaide, Australia David S. L. Wei, Fordham University, USA International Journals Chair Salvatore Cuomo, University of Naples Federico II, Italy Publicity Chairs Wim Ectors, Hasselt University, Belgium Monika Davidekova, Comenius University, Slovak Republic Technical Program Committee http://cs-conferences.acadiau.ca/mobispc-18/#programCommittees -------------- next part -------------- An HTML attachment was scrubbed... URL: From wim.ectors at uhasselt.be Wed Apr 18 08:28:08 2018 From: wim.ectors at uhasselt.be (Wim Ectors) Date: Wed, 18 Apr 2018 01:28:08 -0700 Subject: [Haskell] [FNC-2018] FINAL submission deadline: April 20! Conference on Future Networks and Communications. Gran Canaria, Spain (August 13-15, 2018) Message-ID: ------------------------------------------------------------------------ The 13th International Conference on Future Networks and Communications August 13-15, 2018 Gran Canaria, Spain http://cs-conferences.acadiau.ca/fnc-18/ ------------------------------------------------------------------------ Future Networks and Communications (FNC) research effort will help achieving a major promise of the emerging technologies such as, ubiquitous access to broadband, supporting vital applications in our daily lives such as health, energy consumption, environment transport, entertainment or education. The scope of FNC is the development of energy-efficient future network infrastructures that support the convergence and interoperability of heterogeneous mobile, wired and wireless broadband network technologies as enablers of the future Internet. This includes but not limited to ubiquitous fast broadband access and ultra-high speed end-to-end optical connectivity, supporting open services and innovative ambient applications. Scope also embraces novel and evolutionary approaches to tackle network architectures, taking due consideration of users and societal needs for success. Important Dates ---------------- - Workshop Proposal Due: February 10, 2018 - Paper Submission Due: April 20, 2018 (FINAL) - Acceptance Notification: May 15, 2018 - Final Manuscript Due: June 15, 2018 Publication ------------ All FNC 2018 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus ( www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/). All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com). This includes EI Compendex (www.ei.org/compendex). Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/). The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the following special issues: - International Journal of Ambient Intelligence and Humanized Computing (IF: 1.588), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics (IF: 0.504), ( http://www.cai.sk/ojs/index.php/cai/index) - IEEE Intelligent Transportation Systems Magazine (IF: 3.654), by IEEE ( http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5117645) FNC 2018 will be held in conjunction with the 15th International Conference on Mobile Systems and Pervasive Computing (MobiSPC http://cs-conferences.acadiau.ca/mobispc-18/). FNC 2018 is co-organized & co-hosted by the University of University of Las Palmas de Gran Canaria, Spain. FNC 2018 will be held in Gran Canaria, Spain. Gran Canaria originally meaning "Great [Island] of Dogs" is the second most populous island of the Canary Islands, an African archipelago which is part of Spain, with a population of 847,830 (in 2015) that constitutes approximately 40% of the population of the archipelago. Located in the Atlantic Ocean about 150 kilometres (93 mi) off the northwestern coast of Africa and about 1,350 km (840 mi) from Europe. With an area of 1,560 km2 (602 sq. mi) and an altitude of 1,956 m (6,417 ft) at the Pico de las Nieves, Gran Canaria is the third largest island of the archipelago in both area and altitude. COMMITTEES: ----------- General Chair Ladislav Hluchy, Institute of Informatics, Slovak Academy of Sciences, Slovakia Program Chairs Hossam Hassanein, Queens University, Canada Ansar-Ul-Haque Yasar, IMOB Ð Hasselt University, Belgium Local Chair Javier Sanchez Medina, University of Las Palmas de Gran Canaria, Spain Advisory Committee Soumaya Cherkaoui, Sherbrooke University, Canada Erol Gelenbe, Imperial College, UK Roch Glitho, Concordia University, Canada Zygmunt J. Haas, Cornell University, USA Philippe Martins, Telecom Paris Tech, France Peter Sloot, Universiteit van Amsterdam, Netherlands Ralf Steinmetz, Technische Universitaet Darmstadt, Germany David Taniar, Monash University, Australia Mohamed Younis, University of Maryland Baltimore County, USA Workshops Chair Haroon Malik, Marshall University, USA International Journals Chair Salvatore Cuomo, University of Naples Federico II, Italy Publicity Chairs Wim Ectors, Hasselt University, Belgium Monika Davidekova, Comenius University, Slovak Republic Technical Program Committee http://cs-conferences.acadiau.ca/fnc-18/#programCommittees -------------- next part -------------- An HTML attachment was scrubbed... URL: From wim.ectors at uhasselt.be Thu Apr 19 07:44:13 2018 From: wim.ectors at uhasselt.be (Wim Ectors) Date: Thu, 19 Apr 2018 02:44:13 -0500 Subject: [Haskell] [ICTH-2018] Conference on Current and Future Trends of Information and Communication Technologies in Healthcare. Leuven, Belgium (Nov. 5-8, 2018) Message-ID: Conference: The 8th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare Date: November 5-8, 2018 Location: Leuven, Belgium Website: http://cs-conferences.acadiau.ca/icth-18/ ********************************************************************************** Important Dates ------------------ - Workshop Proposals: May 28, 2018 - Paper Submission Due: Jun 13, 2018 - Author Notification: August 8, 2018 - Final Manuscript Due: September 8, 2018 Publication ------------- All ICTH 2018 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus ( www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/). All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com). This includes EI Compendex (www.ei.org/compendex). Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/). The papers will contain linked references, XML versions and citable DOI numbers. Selected papers will be invited for publication, in the special issues of: - International Journal of Ambient Intelligence and Humanized Computing (IF: 1.588), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics (IF: 0.504), ( http://www.cai.sk/ojs/index.php/cai/index) - IEEE Intelligent Transportation Systems Magazine (IF: 3.654), by IEEE ( http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5117645) ICTH 2018 will be held in conjunction with the 9th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSN: http://cs-conferences.acadiau.ca/euspn-18/). Papers on either completed or ongoing research are invited in the following and related tracks: http://cs-conferences.acadiau.ca/icth-18/call-for-papers.html ICTH 2018 will be held in the city of Leuven. Leuven is the capital of the province of Flemish Brabant in Belgium. It is located about 25 kilometres (16 miles) east of Brussels. It is the 10th largest municipality in Belgium and the fourth in Flanders. Leuven is home to the Katholieke Universiteit Leuven, the largest and oldest university of the Low Countries and the oldest Catholic university still in existence. The related university hospital of UZ Leuven, is one of the largest hospitals of Europe. The city is also known for being the headquarters of Anheuser-Busch InBev, the world's largest brewer and one of the five largest consumer-goods companies in the world. The conference venue will be at Park Inn (by Radisson) Hotel (Leuven), which is located right in the heart of the Leuven city. The hotel is less than 2 mins walk from the Leuven train station. All you have to do is to get off the train (or the taxi or the bus) and take the elevator to the bridge connecting the hotel with the rest of the city. Leuven city is directly connected with the Brussels International airport with a 13 min connection via train, 45 mins via bus or a 20 min by taxi (or Uber). Topics of interest include, but are not limited to: ------------------------------------------------------ - Ambient Assisted Living for Elderly Care - Ambient Intelligence and Intelligent Service Systems - Analysis and Evaluation of Healthcare Systems - Clinical Data and Knowledge Management - Cloud Computing for Healthcare - Collaboration Technologies for Healthcare - Context-aware Applications for Patient Monitoring and Care - Data mining Techniques and Data Warehouses in Healthcare - Data Visualization - Decision Support Systems in Healthcare - Design and Development Methodologies for Healthcare Systems - Diagnostic and Therapeutic Technologies in Healthcare - Digital Hospitals - Drug Information Systems - E-health & m-health - Electronic Health Records (EHR) & Personal Health Records (PHR) - Evidence Based Medicine (EBM) - Healthgrids - Health Portals - Information and Knowledge Processing in Healthcare Environments - Middleware Support for Smart Homes and Intelligent Applications - Quantified Self for Pervasive Healthcare - Privacy, Confidentiality and Security Issues in Healthcare Systems - Related Real World Experimentations and Case Studies in Healthcare - RFID Solutions for Healthcare - Smart Homes and Home Care Intelligent Environments - Telemedicine and Health Telematics - Ubiquitous and Pervasive Computing in Healthcare - Usability & Socio Technical studies - User Interface Design for Healthcare Applications - Virtual and Augmented Reality in Healthcare - Virtual Environments for Healthcare Committees ------------- General Chair Heiko Gewald, The Neu-Ulm University of Applied, Germany Joel J. P. C. Rodrigues, National Institute of Telecommunications (Inatel), Brazil Program Chairs Haroon Malik, Marshall University, USA Ansar-Ul-Haque Yasar, IMOB, Hasselt University, Belgium Workshops Chair Wael M. El-Medany, University of Bahrain, Bahrain Publicity Chairs Wim Ectors, IMOB, Hasselt University, Belgium Al-Sakib Khan Pathan,Southeast University, Bangladesh Technical Program Committee http://cs-conferences.acadiau.ca/icth-18/program-committees.html Steering Committee Chair Elhadi Shakshuki, Acadia University, Canada Advisory Committee Sergio Camorlinga, Head eHealth Research, TRLabs, Canada Kevin Daimi, University of Detroit Mercy, USA Finn Kensing, University of Copenhagen, Denmark Francesco Princiroli, Politecnico di Milano, Italy Abdul Roudsari, University of Victoria, Canada -------------- next part -------------- An HTML attachment was scrubbed... URL: From ben at well-typed.com Fri Apr 20 00:01:22 2018 From: ben at well-typed.com (Ben Gamari) Date: Thu, 19 Apr 2018 20:01:22 -0400 Subject: [Haskell] [ANNOUNCE] GHC 8.4.2 released Message-ID: <87in8md9v9.fsf@smart-cactus.org> Hello everyone, The GHC team is pleased to announce the availability of GHC 8.4.2. The source distribution, binary distributions, and documentation for this release are available at https://downloads.haskell.org/~ghc/8.4.2 This release is a bug-fix release, fixing numerous regressions and bugs present in GHC 8.4.1. These include: * A regression resulting in some uses of `Control.Exception.evaluate` to be inappropriately optimised away (see #13930) * A regression resulting in segmentation faults of programs compiled with profiling (#14705) * A bug causing runtime system panics while running programs with retainer profiling (#14947) * The configure scripts now accepts a `--disable-dtrace` option, again allowing GHC to be bootstrapped on FreeBSD (#15040) * The version number of the `base` package has been bumped to 4.11.1.0 to reflect the addition of the `GHC.IO.FixIOException` type. This interface was added in 8.4.1 but the version bump was missed due to an oversight. * Support for DWARF debug information has been significantly improved (#14894, #14779) A more thorough list of the changes in this release can be found in the release notes, https://downloads.haskell.org/~ghc/8.4.2/docs/html/users_guide/8.4.2-notes.html Thanks to everyone who has contributed to developing, documenting, and testing this release! 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: From dominic at steinitz.org Sun Apr 22 14:25:18 2018 From: dominic at steinitz.org (dominic at steinitz.org) Date: Sun, 22 Apr 2018 15:25:18 +0100 Subject: [Haskell] New Version of hmatrix (more ODE solvers) Message-ID: <2AC8F7D0-05AA-4DB7-8311-E7B664A893DF@steinitz.org> I am pleased to announce a new version of hmatrix: 0.19.0.0. This is not intended to be a breaking change but a lot of modules have been modified to ensure that continuous integration (which has now been set up) is green. Support for SUNDIALS has been added. It should be possible to replace Numeric.GSL.ODE with Numeric.Sundials.ARKode.ODE and have your program work as before bearing in mind that the methods and error control might differ (even for those with the same names!). The packages that comprise hmatrix are: hmatrix hmatrix-gsl hmatrix-special hmatrix-sparse hmatrix-glpk hmatrix-tests hmatrix-sundials I am planning to split these up into separate projects to make it easier for contributors. To this end, I have created an hmatrix organisation in github. Please contact me if you wish to become a member. I strongly recommend anyone solving ODEs to look as hmatrix-sundials as the underlying package provides many more methods, more documentation and more diagnostic information (great when your 200 variable model fails). It is a truism that any sufficiently sophisticated ODE solver package is a domain specific language (I include the ODE solving part of GSL here). The current interface both to GSL and to SUNDIALS is somewhat rudimentary but will hopefully evovle to a nicer DSL (something at which Haskell excels). Dominic Steinitz dominic at steinitz.org http://idontgetoutmuch.wordpress.com Twitter: @idontgetoutmuch -------------- next part -------------- An HTML attachment was scrubbed... URL: From sabel at ki.informatik.uni-frankfurt.de Tue Apr 24 13:35:11 2018 From: sabel at ki.informatik.uni-frankfurt.de (David Sabel) Date: Tue, 24 Apr 2018 15:35:11 +0200 Subject: [Haskell] PPDP 2018: Deadline Extension! Message-ID: <084f366f-2ff6-4517-d429-d89a6a4511b1@ki.informatik.uni-frankfurt.de> News: The submission deadline is extended until Monday, May 8, 23:59 AoE! ======================================================================                 PPDP 2018: Deadline Extension ======================================================================                  20th International Symposium on         Principles and Practice of Declarative Programming          Frankfurt am Main, Germany, 3-5 September 2018         http://ppdp-lopstr-18.cs.uni-frankfurt.de/ppdp18.html             (co-located with LOPSTR 2018 and WFLP 2018)              http://ppdp-lopstr-18.cs.uni-frankfurt.de ====================================================================== Invited Talks ============= -   Philippa Gardner, Imperial College: Testing and Verification for     JavaScript (joint with LOPSTR) -   Jorge Navas, SRI International: Constrained Horn Clauses for     Verification (joint with LOPSTR) -   Chung-Chieh Shan, University of Indiana: Calculating Distributions Scope ===== The PPDP 2018 symposium brings together researchers from the declarative programming communities, including those working in the functional, logic, answer-set, and constraint handling programming paradigms. The goal is to stimulate research in the use of logical formalisms and methods for analyzing, performing, specifying, and reasoning about computations, including mechanisms for concurrency, security, static analysis, and verification. Submissions are invited on all topics related to declarative programming, from principles to practice, from foundations to applications. Topics of interest include, but are not limited to -   Language Design: domain-specific languages; interoperability;     concurrency, parallelism, and distribution; modules; probabilistic     languages; reactive languages; database languages; knowledge     representation languages; languages with objects; language     extensions for tabulation; metaprogramming. -   Implementations: abstract machines; interpreters; compilation;     compile-time and run-time optimization; memory management. -   Foundations: types; logical frameworks; monads and effects;     semantics. -   Analysis and Transformation: partial evaluation; abstract     interpretation; control flow; data flow; information flow;     termination analysis; resource analysis; type inference and type     checking; verification; validation; debugging; testing. -   Tools and Applications: programming and proof environments;     verification tools; case studies in proof assistants or interactive     theorem provers; certification; novel applications of declarative     programming inside and outside of CS; declarative programming     pearls; practical experience reports and industrial application;     education. The PC chair will be happy to advise on the appropriateness of a topic. PPDP will be co-located with the 28th Int'l Symp. on Logic-Based Program Synthesis and Transformation (LOPSTR 2018). Submission Categories ===================== Submissions can be made in three categories: regular Research Papers, System Descriptions, and Experience Reports. Submissions of Research Papers must present original research which is unpublished and not submitted elsewhere. They must not exceed 12 pages ACM style 2-column (including figures, but excluding bibliography). Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Research papers will be judged on originality, significance, correctness, clarity, and readability. Submission of System Descriptions must describe a working system whose description has not been published or submitted elsewhere. They must not exceed 10 pages and should contain a link to a working system. System Descriptions must be marked as such at the time of submission and will be judged on originality, significance, usefulness, clarity, and readability. Submissions of Experience Reports are meant to help create a body of published, refereed, citable evidence where declarative programming such as functional, logic, answer-set, constraint programming, etc., is used in practice. They must not exceed 5 pages **including references**. Experience Reports must be marked as such at the time of submission and need not report original research results. They will be judged on significance, usefulness, clarity, and readability. Possible topics for an Experience Report include, but are not limited to: insights gained from real-world projects using declarative programming comparison of declarative programming with conventional programming in the context of an industrial project or a university curriculum curricular issues encountered when using declarative programming in education real-world constraints that created special challenges for an implementation of a declarative language or for declarative programming in general novel use of declarative programming in the classroom programming pearl that illustrates a nifty new data structure or programming technique. Supplementary material may be provided in a clearly marked appendix beyond the above-mentioned page limits. Reviewers are not required to study any material beyond the respective page limit. Format of a submission ====================== For each paper category, you must use the most recent version of the "Current ACM Master Template" which is available at . The most recent version at the time of writing is 1.48. You must use the LaTeX sigconf proceedings template as the conference organizers are unable to process final submissions in other formats. In case of problems with the templates, contact [ACM's TeX support team at Aptara](mailto:acmtexsupport at aptaracorp.com). Authors should note [ACM's statement on author's rights](http://authors.acm.org/) which apply to final papers. Submitted papers should meet the requirements of [ACM's plagiarism policy](http://www.acm.org/publications/policies/plagiarism_policy). Requirements for publication ============================ At least one author of each accepted submission will be expected to attend and present the work at the conference. The pc chair may retract a paper that is not presented. The pc chair may also retract a paper if complaints about the paper's correctness are raised which cannot be resolved by the final paper deadline. Important dates =============== -   08.05.2018 AOE: paper submission -   14.06.2018 rebuttal period (48 hours) -   25.06.2018 notification -   16.07.2018 final papers -   03.09.2018 conference starts From rdgrande at site.uottawa.ca Tue Apr 24 21:24:19 2018 From: rdgrande at site.uottawa.ca (Robson De Grande) Date: Tue, 24 Apr 2018 17:24:19 -0400 Subject: [Haskell] CFP: IEEE DS-RT 2018 (October 15-17, 2018 - Madrid, Spain) Message-ID: ------------------------------------------------------------ ------------------------ Please accept our apologies if you have received multiple copies. ------------------------------------------------------------ ------------------------ Call for Papers - DS-RT 2018 22nd IEEE/ACM* International Symposium on Distributed Simulation and Real Time Applications http://ds-rt.com/ October 15-17, 2018 - Madrid, Spain *IEEE/ACM Pending Upon Approval ----------------------------------------------------------------------- IMPORTANT: Submission deadline: May 20th, 2018 *** The Symposium *** The 2018 IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2018) promises to be a grand affair and will take place in Madrid, Spain. DS-RT 2018 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 2018 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 2018 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 enlivened. The scope of the symposium includes, but is not limited to: Paradigms, Methodology, Algorithms 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 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) Advances in Modelling and Simulation Studies and Technologies (Reuse of Models, New Modelling Languages, Agent-based M&S, Spatial M&S, Cognitive Modelling, Neural Network Models, Artificial Intelligence in Simulation, Discrete Events, Continuous Simulation, Service-oriented Computing and Simulation, Web-based Modelling and Simulation, Simulation of Multimedia Applications and Systems, etc.) Pervasive and Ubiquitous Computing Architectures and Applications that involve Simulations and/or adhere to Real-Time Constraints 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 Simulation Studies at Large and Very Large Scale (e.g. Industrial, Commercial, Ecological and Environmental, Societal, Power and Energy) 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, Traffic Modelling, World Stock Markets, Food Supply Chains, Megacities, Smart Cities, Smart Networks, Disaster Planning, etc.) Performance and Validation of Large-Scale and Distributed Simulations (e.g., benchmarking and analytical results, empirical studies DIS, HLA/RTI studies) Visual Interactive Simulation Environments (e.g., Generic Animation, Visual Interactive Modelling, Interactive Computer Based Training and Learning, Scientific Visualization, High-End Computer Graphics) 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 Design Issues, Interaction Designs, Human Computer Interaction Issues raised by Large Scale DS-RT Systems Serious Gaming and Massive Multiplayer Online Games (MMOG) applications, architectures and scalability issues Technologies for Living Labs (e.g. Mirror World Simulation, Interoperability, Large Scale Multi-Sensor Networks, Global Wireless Communication, Multi-Stakeholder Understanding and Innovation) Innovative Styles of Interactions with Large Scale DS-RT Systems (e.g. Implicit, Situative and Attentive Interaction, Tangible Interaction, Embedded Interaction, etc.) Media Convergence (e.g. New Technologies, Media Theory, Real-Time considerations of Multi-Modality, etc.) *** Important Dates *** Paper Submission Deadline: May 20th, 2018 Notification of Acceptance: July 1st, 2018 Camera Ready version due: July 31st, 2018 Symposium presentation: October 15-17, 2018 *** Submission *** High-quality original papers are solicited. Papers must be unpublished and must not be submitted for publication elsewhere. All papers will be reviewed by Technical Program Committee members and other experts active in the field to ensure high quality and relevance to the conference. Accepted papers will appear in the conference proceedings to be published by IEEE-CS press. Authors of selected papers will be invited to submit extended versions of their papers to the Journal of Simulation. General information regarding submission can be found at http://ds-rt.com/2018/. Questions from authors may be directed to the Program Co-Chairs. IMPORTANT: CONFERENCE ATTENDANCE BY AT LEAST ONE AUTHOR OF ACCEPTED PAPERS IS MANDATORY *** ORGANIZING COMMITTEE*** General Chair José Luis Risco Martín, Complutense University of Madrid, Spain Program Co-Chairs Eva Besada, Complutense University of Madrid, Spain Floriano De Rango, University of Calabria, Italy Posters Chair Peppino Fazio, University of Calabria, Italy Demo Chair Amilcare F. Santamaria, University of Calabria, Italy Special Sessions Chair Robson De Grande, Brock University, Canada Publicity Chair Lucas Potter, Old Dominion University, VA, USA Finance Chair Guillermo Botella, Complutense University of Madrid, Spain -------------- next part -------------- An HTML attachment was scrubbed... URL: From a.pelenitsyn at gmail.com Wed Apr 25 09:03:47 2018 From: a.pelenitsyn at gmail.com (Artem Pelenitsyn) Date: Wed, 25 Apr 2018 09:03:47 +0000 Subject: [Haskell] ML4PL '18, 1st Call for Submissions In-Reply-To: References: Message-ID: ******************************************************************************** | | | The 2nd International Workshop on Machine Learning Techniques | | for Programming Languages (ML4PL '18) | | | | July 18th 2018, Amsterdam, Netherlands | | Collocated with ECOOP & ISSTA | | | ******************************************************************************** A workshop on machine learning techniques applied to programming language-related research and development. This workshop puts an emphasis on identifying open problem rather than presenting solution, and encourages discussion amongst the participants. Attendance will be limited to ensure that meeting retains an interactive character. Workshop web-site: https://conf.researchr.org/track/ecoop-issta-2018/ML4PL-2018-papers Submission web-site: https://ml4pl18.hotcrp.com/ ********************************** SCOPE *********************************** Over the last years, we have seen a rapid growth in the use of machine-learning technologies in programming languages and systems. This growth is driven by the need to design programming languages to analyze, detect patterns, and make sense of Big Data, along with the increasing complexity of programming language tools, including analyzers and compilers, and computer architectures. The scale of complexity in available unstructured data and system tools has reached a stage where simple heuristics and solutions are no longer feasible or do not deliver adequate performance. At the same time, statistical and machine learning techniques have become mainstream. This workshop is a broad forum to bring together researchers with interests in the intersection of programming languages and system tools with machine learning. Topics of interest include (but are not limited to): * Program analysis + machine learning * Programming languages + machine learning * Compiler optimizations + machine learning * Computer architecture + machine learning * Probabilistic programming languages * Design space exploration Submissions should take the form of talk abstract or 2-page problem statements. Materials of accepted talks will be published in ACM DL. --------------- IMPORTANT DATES --------------- Submission deadline: Wednesday, May 18th, 2018, AOE Notification (tentative): Monday, June 1st, 2018 ML4PL Workshop: Wednesday, July 18th, 2018 ----------------- PROGRAM COMMITTEE ----------------- * Miltiadis Allamanis (Microsoft Research, Cambridge, United Kingdom) * Lasse Blaauwbroek (Czech Institute for Informatics Robotics and Cybernetics, Czech Republic) * Yoav Goldberg (Bar Ilan University, Israel) * Georgy Lukyanov (Newcastle University, United Kingdom) * Alex Polozov (Microsoft Research, United States) * Mark Santolucito (Yale University, United States) * Meital Zilberstein (Technion, Israel) ------------------------------ ORGANIZING COMMITTEE & CONTACT ------------------------------ * Hila Peleg (Technion, Israel) * Artem Pelenitsyn (Czech Technical University in Prague, Czech Republic) Please, address any questions to Artem (a.pelenitsyn at gmail.com) -------------- next part -------------- An HTML attachment was scrubbed... URL: From splash.publicity at gmail.com Wed Apr 25 15:37:59 2018 From: splash.publicity at gmail.com (SPLASH Publicity) Date: Wed, 25 Apr 2018 11:37:59 -0400 Subject: [Haskell] SPLASH 2018: Combined Call for Workshop Submissions Message-ID: SPLASH 2018 Combined Call for Workshop Submissions =================================================== Following its long-standing tradition, SPLASH 2018 will host a variety of high-quality workshops, allowing their participants to meet and discuss research questions with peers, to mature new and exciting ideas, and to build up communities and start new collaborations. SPLASH workshops complement the main tracks of the conference and provide meetings in a smaller and more specialized setting. Workshops cultivate new ideas and concepts for the future, optionally recorded in formal proceedings. The paper submission deadline for all workshops in Aug 17 2018 AoE. The following workshops are co-located with SPLASH 2018. AGERE! - Programming based on Actors, Agents, and Decentralized Control ----------------------------------------------------------------------- https://2018.splashcon.org/track/agere-2018-papers The AGERE! workshop focuses on programming systems, languages and applications based on actors, active/concurrent objects, agents and–more generally–on high-level programming paradigms promoting a mindset of decentralized control in solving problems and developing software. The workshop is intended to cover both the theory and the practice of design and programming, bringing together researchers working on models, languages and technologies, with practitioners developing real-world systems and applications. AI-SEPS - AI and Empirical Methods for Software Engineering and Parallel Computing Systems ------------------------------------------------------------------------------------------ https://2018.splashcon.org/track/seps-2018-papers The goal of the workshop is to present a stimulating environment where ideas, experiences and topics relevant to parallel software engineering and software analytics can be shared/exchanged among researchers and practitioners in the fields of systems, programming, languages and software. The intention of the workshop is to initiate collaborations focused on solving challenges introduced by ongoing research in these topics. Through Q&A sessions, presenters have the opportunity to receive feedback and opinions of other domain experts as well as to discuss obstacles and promising approaches in current research. Both authors and attendees can discover new ideas and new directions for parallel programming research. BLOCKS+ ------- https://2018.splashcon.org/track/blocks%2B-2018-papers Blocks programming, in which program syntax trees are represented as visual blocks, is popular in programming environments targeted at beginner programmers and casual programmers (artists, scientists, hobbyists, etc.-for word count, get rid of the parenthetical). The goal of this workshop is to bring together language designers, educators, and researchers to (1) discuss the state of the art of these environments, (2) assess the usability and effectiveness of these environments and their associated pedagogies, and (3) brainstorm about future directions. This workshop will not be a mini-conference. The focus will instead be on engaging participants in discussions. There will be three kinds of sessions: DSLDI - Domain-Specific Language Design and Implementation ---------------------------------------------------------- https://2018.splashcon.org/track/dsldi-2018-talks Well-designed and implemented domain-specific languages (DSLs) can achieve both usability and performance benefits over general-purpose programming languages. By raising the level of abstraction and exploiting domain knowledge, DSLs can make programming more accessible, increase programmer productivity, and support domain-specific optimizations. The goal of the DSLDI workshop is to bring together researchers and practitioners interested in sharing ideas on how DSLs should be designed, implemented, supported by tools, and applied in realistic application contexts. We encourage talks on any aspect of this process, from soliciting domain knowledge from experts, through the design and implementation of the language, to evaluating whether and how a DSL is successful. GRACE ----- https://2018.splashcon.org/track/grace-2018-papers The Grace Object-Oriented Educational Programming Language design project was started at ECOOP 2010 in Slovenia, with the goal of designing a new OO language for teaching and research. Since then, the language design has progressed to the point where Grace has been used for teaching at two universities for a total of 10 courses, and has been the foundation for at least two PhD theses. There are also at least 5 implementations in various stages of completion, including an executable semantic definition. This workshop will allow those with experience using or implementing Grace to share these experiences with the community. The workshop will also provide a forum in which the Grace project can receive feedback on the current design and implementation, and to plan for the future. HILT - High Integrity Language Technology for Cybersecurity in Real-Time and Safety-Critical Systems ---------------------------------------------------------------------------------------------------- https://2018.splashcon.org/track/hilt-2018-papers This is the fifth in the HILT series of conferences and workshops focused on the use of High Integrity Language Technology to address challenging issues in the engineering of software-intensive critical systems. HILT 2018 will focus on addressing cybersecurity and cyber-resilience issues that arise in real-time, embedded, and/or safety-critical systems. Submissions are encouraged describing theoretical and practical efforts related to the use of safe languages, formal methods, model-based development, and advanced static analysis to identify and mitigate cybersecurity vulnerabilities in software-intensive systems. The workshop will bring together academic, industrial, and government researchers and practitioners focused on the use of these advanced language technology and tools, with a particular focus on addressing the growing cybersecurity threats. LIVE ---- https://2018.splashcon.org/track/live-2018-papers The LIVE Programming Workshop invites submissions of new ideas for improving the immediacy, usability, and learnability of programming. Live programming gives the programmer immediate feedback on the behavior of a program as it is edited, replacing the edit compile-debug cycle with a fluid programming experience. The best-known example of live programming is the spreadsheet. The LIVE workshop is a forum for research on live programming as well as work on fundamentally improving the usability of programming, whether through language design or assistive environments and tools. This year we are reaching out to the CS Education community to include ideas on making programming more learnable and teachable. META - Meta-Programming Techniques and Reflection ------------------------------------------------- https://2018.splashcon.org/track/meta-2018 The Meta’18 workshop aims to bring together researchers working on metaprogramming and reflection, as well as users building applications, language extensions, or software tools using them. The changing hardware and software landscape, and the increased heterogeneity of systems make metaprogramming once more an important research topic to handle the associate complexity. Contributions to the workshop are welcome on a wide range of topics related to the design, implementation, and application of metaprogramming techniques, as well as empirical studies on typing models for such systems and languages NJR - Normalized Java Resource ------------------------------ https://2018.splashcon.org/track/njr-2018-papers We are working on creating a Normalized Java Resource (NJR) that will speed up innovation in the area of software tools. Those tools include security enhancers, bug finders, and code synthesizers, all of which can benefit greatly from access to Big Code. Our vision is a diverse collection of 100,000 normalized Java projects that is executable, scriptable, and searchable. The Java projects stem from the Sourcerer collection and we normalize their representation to enable large-scale processing with reproducible results. Such processing includes execution, static and dynamic analysis, scriptable interaction, and search for projects with specific dynamic characteristics. For each search of the collection, NJR returns both a file with Java projects and a container for a cloud service such as Amazon EC2. Thus, a researcher can run tools on those projects both locally and on a cloud service. Researchers will be both beneficiaries and contributors to NJR. They benefit from searching for Java projects that fit their need, and once their tools run on NJR, they contribute to an ever-increasing collection of measurements. Notice the powerful network effect: the more people run tools on NJR, the more data we get for search, and the more data we get for search, the more people will want to search and run on NJR. NOOL - New Object-Oriented Languages ------------------------------------ https://2018.splashcon.org/track/nool-2018-papers The NOOL workshop series is a platform for discussing new research, novel ideas and experimental designs in object-oriented languages and systems. Previous NOOLs (2017–2015) have included talks on a variety of topics, such as novel languages and language features, type systems, OO fundamentals, tools and environments, as well as discussions on language security. NOOL is discussion-oriented, rather than publication-oriented, and presentations will be selected with an aim of fostering interesting discussions. Work-in-progress submissions, provocative ideas that may not be ready for formal publications, and work adapting old ideas to new purposes are welcome. See the CfP for submission details. OCAP - Object-Capability Languages, Systems, and Applications ------------------------------------------------------------- https://2018.splashcon.org/track/ocap-2018-papers The OCAP workshop seeks to bring together those interested in capability languages, systems, and applications. Object-capabilities offer a distinct approach to building robust, distributed systems that pose many interesting research and practical challenges. The workshop is designed to explore the latest developments in the theory and practice of the object-capability approach, and provide a forum for knowledge exchange and collaboration. Researchers working on object-capability and related methods, models, languages, and tools, as well as practitioners developing real-world systems and applications are welcome. PLATEAU - Evaluation and Usability of Programming Languages and Tools --------------------------------------------------------------------- https://2018.splashcon.org/track/plateau-2018-papers Programming languages exist to enable programmers to develop software effectively. But programmer efficiency depends on the usability of the languages and tools with which they develop software. The aim of this workshop is to discuss methods, metrics and techniques for evaluating the usability of languages and language tools. The supposed benefits of such languages and tools cover a large space, including making programs easier to read, write, and maintain; allowing programmers to write more flexible and powerful programs; and restricting programs to make them more safe and secure. PLATEAU gathers the intersection of researchers in the programming language, programming tool, and human-computer interaction communities to share their research and discuss the future of evaluation and usability of programming languages and tools. REBLS - Reactive and Event-based Languages & Systems ---------------------------------------------------- https://2018.splashcon.org/track/rebls-2018-papers Reactive programming and event-based programming are two closely related programming styles that are becoming ever more important with the advent of advanced HPC technology and the ever increasing requirement for our applications to run on the web or on collaborating mobile devices. A number of publications on middleware and language design — so-called reactive and event-based languages and systems (REBLS) — have already seen the light, but the field still raises several questions. For example, the interaction with mainstream language concepts is poorly understood, implementation technology is in its infancy and modularity mechanisms are almost totally lacking. Moreover, large applications are still to be developed and patterns and tools for developing reactive applications is an area that is vastly unexplored. SLEBoK - Software Language Engineering Body of Knowledge -------------------------------------------------------- https://2018.splashcon.org/track/slebok-2018 The field of software language engineering (SLE) has emerged based on a strong motivation to connect and integrate different research disciplines such as compiler construction, reverse engineering, software transformation, model-driven engineering, and ontologies. SLE is defined as the application of systematic, disciplined, and measurable approaches to the development, deployment, use, and maintenance of software languages. The Software Language Engineering Body of Knowledge (SLEBoK) is a community-wide effort to provide a unique and comprehensive description of the concepts, tools and methods developed by the SLE community. It features artifacts, definitions, methods, techniques, best practices, open challenges, case studies, teaching material, and other components that would help students, researchers, teachers, and practitioners to learn from, to better leverage, to better contribute to, and to better disseminate the intellectual contributions and practical tools and techniques coming from the SLE field. TURBO - Tutorial on Language Runtimes Built With Eclipse OMR ------------------------------------------------------------ https://2018.splashcon.org/track/turbo-2018-tutorial As software demands evolve and grow, new programming languages emerge and rise to popularity. However, supporting more advanced language runtime features such as just-in-time (JIT) compilation and garbage collection (GC) for a new language is no easy feat. Writing your own full-featured JIT and GC usually requires reading profusely on the subjects and implementing everything from scratch over a long period of time, or poring over hundreds of thousands of lines of code. The open-source Eclipse OMR runtime toolkit is striving to make this process much simpler for language runtime developers and researchers. This workshop will introduce the Eclipse OMR framework, present ongoing research projects leveraging OMR technologies, deliver a hands-on tutorial using an educational virtual machine (VM) called base9 to demonstrate how OMR components can easily be integrated into an existing runtime, and conclude with a discussion on the needs and challenges facing language runtimes development and research communities. VMIL - Virtual Machines and Language Implementations ---------------------------------------------------- https://2018.splashcon.org/track/vmil-2018 The concept of virtual machines is pervasive in the design and implementation of programming systems. Virtual machines and the languages they implement are crucial in the specification, implementation and/or user-facing deployment of most programming technologies. The VMIL workshop is a forum for researchers and cutting-edge practitioners in language virtual machines, the intermediate languages they use, and related issues. From jaspervdj at gmail.com Wed Apr 25 17:11:31 2018 From: jaspervdj at gmail.com (Jasper Van der Jeugt) Date: Wed, 25 Apr 2018 19:11:31 +0200 Subject: [Haskell] [GSoC] 17 students have been accepted for Haskell.org Message-ID: <20180425171131.GB2085@colony6.localdomain> Hey all, We are happy to announce the 17 projects that have been accepted to participate in Google Summer of Code 2018 for the Haskell.org project. We would like to thank Google for organizing the program, all students who applied for the quality proposals of course the mentors for volunteering to guide the projects! Without further ado, here are the accepted projects: - Visual Tools and Bindings for Debugging in Code World - Help Hadrian - Add support for deprecating exports - Hi Haddock - Improving the GHC code generator - Crucible: A Library for In-Memory Data Analysis in Haskell - Dependently Typed Core Replacement in GHC - Benchmarking graph libraries and optimising algebraic graphs - Improvements to GHC's compilation for conditional constructs. - Support for Multiple Public Libraries in a .cabal package - Functional test framework for the Haskell IDE Engine and Language Server Protocol Library - Native-Metaprogramming Reloaded - Format-Preserving YAML - Enhancing the Haskell Image Processing Library with State of the Art Algorithms - Making GHC Tooling friendly - Helping cabal new-build become just cabal build - Parallel Automatic Differentiation # Visual Tools and Bindings for Debugging in Code World Student: Krystal Maughan Mentors: Chris Smith, Gabriel Gonzalez Visual Debugging tools that will allow various ages to interact with and learn visually while tracing their bugs in Haskell. # Help Hadrian Student: Chitrak Raj Gupta Mentors: Andrey Mokhov, Moritz Angermann Current build systems such as `make` have a very complex structure and are difficult to understand or modify. Hadrian uses functional programming to implement abstractions to make codebase much more comprehensible. Build Rules are defined using Shake Library, and the results produced are much faster and scalable than current make based system. But the in-use implementation of Hadrian is still in development phase and not completely ready to be deployed. I believe that Hadrian will serve a huge assistance in increasing the productivity of Haskell developers. Therefore, the aim of my project will be to push Hadrian a few steps closer to deployment, so that the Haskell community can code with a bit more efficiency. A recent Pull Request by Alp Mestanogullary has implemented a basic rule for binary distribution. Also, I have been able to figure out multiple sources of errors causing validation failures, and my Pull Request has brought the number of failures down significantly. Hence, the major goals of my project will be to: 1. Achieve ghc-quake milestone that is listed in Hadrian. 2. Implement missing features in Hadrian. 3. Build a more comprehensive documentation of Hadrian. # Add support for deprecating exports Student: alanas Mentors: Matthew Pickering, Erik de Castro Lopo Add support of deprecation pragmas within module exports. This would ease the transition between different versions of the software by warning the developers that the functions/types/classes/constructors/modules that they are using are deprecated. # Hi Haddock Student: Simon Jakobi Mentors: Herbert Valerio Riedel, Alex Biehl A long-standing issue with Haskell's documentation tool Haddock is that it needs to effectively re-perform a large part of the parse/template-haskell/typecheck compilation pipeline in order to extract the necessary information from Haskell source for generating rendered Haddock documentation. This makes Haddock generation a costly operation, and makes for a poor developer experience. An equally long-standing suggestion to address this issue is to have GHC include enough information in the generated `.hi` interface files in order to avoid Haddock having to duplicate that work. This would pave the way for following use-cases and/or have the following benefits: 1. Significantly speed up Haddock generation by avoiding redundant work. 2. On-the-fly/lazy after-the-fact Haddock generation in cabal new-haddock and stack haddock for already built/installed Cabal library packages. 3. Add native support for a :doc command in GHCi's REPL and editor tooling (ghc-mod/HIE) similar to the one available in other languages (c.f. the Idris REPL or the Python REPL) 4. Allow downstream tooling like Hoogle or Hayoo! to index documentation right from interface files. 5. Simplify Haddock's code base. # Improving the GHC code generator Student: Abhiroop Sarkar Mentors: Carter Schonwald, Ben Gamari This project attempts to improve the native code generator of GHC by adding support for Intel AVX and SSE SIMD instructions. This support would enable GHC to expose a bunch of vector primitive operations, which can be utilized to by various high performance and scientific computing libraries of the Haskell ecosystem to parallelize their code for free. # Crucible: A Library for In-Memory Data Analysis in Haskell Student: Gagandeep Bhatia Mentors: Marco Zocca, Andika D. Riyandi Note: this project was slightly adjusted from its proposed form after some discussion with the mentors and it will have a stronger focus on improving existing libraries. A typical workflow in interactive data analysis consists of: - Loading data (e.g. a CSV on disk) - Transforming the data - Various data processing stages - Storing the result in some form (e.g. in a database). The goal of this project is to provide a unified and idiomatic Haskell way of carrying out these tasks. Informally, you can think of "dplyr"/"tidyr" from the R ecosystem, but type safe. This project aims to provide a library with the following features: - An efficient data structure for possibly larger-than-memory tabular data. The Frames library is notable prior work, and this project may build on top of it (namely, by extending its functionality for generating types from stored data). - A set of functions to "tidy"/clean the data to bring it to a form fit for further analysis, e.g. splitting one column to multiple columns ("spread") or vice versa ("gather"). - A DSL for performing a representative set of relational operations e.g. filtering/aggregation. # Dependently Typed Core Replacement in GHC Student: Ningning Xie Mentors: Richard Eisenberg In recent years, several works (Weirich et al., 2017; Eisenberg, 2016; Gundry, 2013) have proposed to integrate dependent types into Haskell. However, compatibility with existing GHC features makes adding full-fledged dependent types into GHC very difficult. Fortunately, GHC has many phases underneath so it is possible to change one intermediate language without affecting the user experience, as steps towards dependent Haskell. The goal of this proposal is the replacement of GHC's core language with a dependently-typed variant. # Benchmarking graph libraries and optimising algebraic graphs Student: Alexandre Moine Mentors: Andrey Mokhov, Alois Cochard A graph represents a key structure in computer science and they are known to be difficult to work with in functional programming languages. Several libraries are being implemented to create and process graphs in Haskell, each of them using different graph representation: Data.Graph from containers, fgl, hash-graph and alga. Due to their differences and the lack of a common benchmark, it is not easy for a new user to select the one that will best fit their project. The new approach of alga seems particularly interesting since the way it deals with graphs is based on tangible mathematical results. Still, it is not very user friendly and it lacks some important features like widely-used algorithms or edge labels. Therefore, I propose to develop a benchmarking suite that will establish a reference benchmark for these libraries, as well as to enhance alga's capabilities. # Improvements to GHC's compilation for conditional constructs. Student: Andreas Klebinger Mentors: José Calderón, Joachim Breitner, Ben Gamari While GHC is state of the art in many respects compilation of conditional constructs has fallen behind projects like Clang/GCC. I intend to rectify this by working on the following tasks: - Implement cmov support for Cmm - Use cmov to improve simple branching code - Use lookup tables over jump tables for value selection when useful. - Enable expression of three way branching on values in Cmm code. - Improve placement of stack adjustments and checks. # Support for Multiple Public Libraries in a .cabal package Student: Francesco Gazzetta (@fgaz) Mentors: Mikhail Glushenkov, Edward Yang Large scale haskell projects tend to have a problem with lockstep distribution of packages (especially backpack projects, being extremely granular). The unit of distribution (package) coincides with the buildable unit of code (library), and consequently each library of such an ecosystem (ex. amazonka) requires duplicate package metadata (and tests, benchmarks...). This project aims to separate these two units by introducing multiple libraries in a single cabal package. This proposal is based on by ezyang. # Functional test framework for the Haskell IDE Engine and Language # Server Protocol Library Student: Luke Lau Mentors: Alan Zimmerman The Haskell IDE Engine is a Haskell backend for IDEs, which utilises the Language Server Protocol to communicate between clients and servers. This projects aims to create a test framework that can describe a scenario between an LSP client and server from start to finish, so that functional tests may be written for the IDE engine. If time permits, this may be expanded to be language agnostic or provide a set of compliance tests against the LSP specification. # Native-Metaprogramming Reloaded Student: Shayan Najd Mentors: Ben Gamari, Alan Zimmerman The goal is to continue on an ongoing work, utilising the Trees that Grow technique, to introduce native-metaprogramming in GHC. Native-metaprogramming is a form of metaprogramming where a metalanguage's own infrastructure is directly employed to generate and manipulate object programs. It begins by creating a single abstract syntax tree (AST) which can serve a purpose similar to what is currently served by Template Haskell (TH), and the front-end AST inside GHC (HsSyn). Meta-programs could then leverage, much more directly, the machinery implemented in GHC to process Haskell programs. This work can also possibly integrate with Alan Zimmerman's work on compiler annotations in GHC, and enable a better IDE support. # Format-Preserving YAML Student: Wisnu Adi Nurcahyo Mentors: Tom Sydney Kerckhove, Jasper Van der Jeugt Sometime Stack (The Haskell Tool Stack) ask us to add an extra dependency manually. Suppose that we use the latest Hakyll that needs a `pandoc-citeproc-0.13` which is missing in the latest stable Stack LTS. Stack asks us to add the extra dependency to solve this problem. Wouldn't it be nice if Stack could add the extra dependency by itself? # Enhancing the Haskell Image Processing Library with State of the Art # Algorithms Student: khilanravani Mentors: Alp Mestanogullari The project proposed here aims to implement different classes of Image processing algorithms using Haskell and incorporate the same to the existing code base of Haskell Image Processing (HIP) package. The algorithms that I plan to incorporate in the HIP package have vast applications in actual problems in image processing. Including these algorithms to the existing code base would help more and more users to really use Haskell while working on some computer vision problems and this would make Haskell (kind of) ahead in the race of with functional programming languages such as Elm or Clojure (since their image processing libraries are pretty naive). In this way, this project can substantially benefit the Haskell organization as well as the open source community. Some of the algorithms proposed here include the famous Canny edge detection, Floyd - Steinberg (Dithering) along with other popular tools used in computer vision problems. # Making GHC Tooling friendly Student: Zubin Duggal Mentors: Ben Gamari, Gershom Bazerman, Joachim Breitner GHC builds up a wealth of information about Haskell source as it compiles it, but throws all of it away when it's done. Any external tools that need to work with Haskell source need to parse, typecheck and rename files all over again. This means Haskell tooling is slow and has to rely on hacks to extract information from GHC. Allowing GHC to dump this information to disk would simplify and speed up tooling significantly, leading to a much richer and productive Haskell developer experience. # Helping cabal new-build become just cabal build Student: typedrat Mentors: Herbert Valerio Riedel Mikhail Glushenkov While much of the functionality required to use the `new-*` commands has already been implemented, there are not-insignificant parts of the design that was created last year that remain unrealized. By completing more of this design, I plan to help the `new-` prefix go away and to allow this safer, cleaner system to replace old-style cabal usage fully by rounding off the unfinished edges of the current proposal. # Parallel Automatic Differentiation Student: Andrew Knapp Mentors: Trevor L. McDonell, Edward Kmett, Alois Cochard Automatic Differentation (AD) is a technique for computing derivatives of numerical functions that does not use symbolic differentiation or finite-difference approximation. AD is used in a wide variety of fields, such as machine learning, optimization, quantitative finance, and physics, and the productivity boost generated by parallel AD has played a large role in recent advances in deep learning. The goal of this project is to implement parallel AD in Haskell using the `accelerate` library. If successful, the project will provide an asymptotic speedup over current implementations for many functions of practical interest, stress-test a key foundation of the Haskell numerical infrastructure, and provide a greatly improved key piece of infrastructure for three of the remaining areas where Haskell's ecosystem is immature. From dominic at steinitz.org Thu Apr 26 13:17:27 2018 From: dominic at steinitz.org (dominic at steinitz.org) Date: Thu, 26 Apr 2018 14:17:27 +0100 Subject: [Haskell] Numerical Programming in Functional Languages (CfP) Message-ID: <15EE7F69-9C15-4777-A75D-472D012262B3@steinitz.org> I’m the chair this year for the first(!) ACM SIGPLAN International Workshop on Numerical Programming in Functional Languages (NPFL), which will be co-located with ICFP this September in St. Louis, Missouri, USA. Please consider submitting something! All you have to do is submit between half a page and a page describing your talk. There will be no proceedings so all you need do is prepare your slides or demo. We do plan to video the talks for the benefit of the wider world. We have Eva Darulova giving the keynote. The submission deadline is Friday 13th July but I and the Committee would love to see your proposals earlier. See here for more information. Please contact me if you have any questions! Dominic Steinitz dominic at steinitz.org http://idontgetoutmuch.wordpress.com Twitter: @idontgetoutmuch -------------- next part -------------- An HTML attachment was scrubbed... URL: From wim.ectors at uhasselt.be Fri Apr 27 07:02:39 2018 From: wim.ectors at uhasselt.be (Wim Ectors) Date: Fri, 27 Apr 2018 00:02:39 -0700 Subject: [Haskell] [ICTH-2018] Conference on Current and Future Trends of Information and Communication Technologies in Healthcare. Leuven, Belgium (Nov. 5-8, 2018) Message-ID: Conference: The 8th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare Date: November 5-8, 2018 Location: Leuven, Belgium Website: http://cs-conferences.acadiau.ca/icth-18/ ********************************************************************************** Important Dates ------------------ - Workshop Proposals: May 28, 2018 - Paper Submission Due: June 13, 2018 - Author Notification: August 8, 2018 - Final Manuscript Due: September 8, 2018 Publication ------------- All ICTH 2018 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus ( www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/). All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com). This includes EI Compendex (www.ei.org/compendex). Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/). The papers will contain linked references, XML versions and citable DOI numbers. Selected papers will be invited for publication, in the special issues of: - International Journal of Ambient Intelligence and Humanized Computing (IF: 1.588), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics (IF: 0.504), ( http://www.cai.sk/ojs/index.php/cai/index) - International Journal of E-Health and Medical Communications, by IGI Global: ( http://www.igi-global.com/journal/international-journal-health-medical-communications/1158) ICTH 2018 will be held in conjunction with the 9th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSN: http://cs-conferences.acadiau.ca/euspn-18/). Papers on either completed or ongoing research are invited in the following and related tracks: http://cs-conferences.acadiau.ca/icth-18/call-for-papers.html ICTH 2018 will be held in the city of Leuven. Leuven is the capital of the province of Flemish Brabant in Belgium. It is located about 25 kilometres (16 miles) east of Brussels. It is the 10th largest municipality in Belgium and the fourth in Flanders. Leuven is home to the Katholieke Universiteit Leuven, the largest and oldest university of the Low Countries and the oldest Catholic university still in existence. The related university hospital of UZ Leuven, is one of the largest hospitals of Europe. The city is also known for being the headquarters of Anheuser-Busch InBev, the world's largest brewer and one of the five largest consumer-goods companies in the world. The conference venue will be at Park Inn (by Radisson) Hotel (Leuven), which is located right in the heart of the Leuven city. The hotel is less than 2 mins walk from the Leuven train station. All you have to do is to get off the train (or the taxi or the bus) and take the elevator to the bridge connecting the hotel with the rest of the city. Leuven city is directly connected with the Brussels International airport with a 13 min connection via train, 45 mins via bus or a 20 min by taxi (or Uber). Topics of interest include, but are not limited to: ------------------------------------------------------ - Ambient Assisted Living for Elderly Care - Ambient Intelligence and Intelligent Service Systems - Analysis and Evaluation of Healthcare Systems - Clinical Data and Knowledge Management - Cloud Computing for Healthcare - Collaboration Technologies for Healthcare - Context-aware Applications for Patient Monitoring and Care - Data mining Techniques and Data Warehouses in Healthcare - Data Visualization - Decision Support Systems in Healthcare - Design and Development Methodologies for Healthcare Systems - Diagnostic and Therapeutic Technologies in Healthcare - Digital Hospitals - Drug Information Systems - E-health & m-health - Electronic Health Records (EHR) & Personal Health Records (PHR) - Evidence Based Medicine (EBM) - Healthgrids - Health Portals - Information and Knowledge Processing in Healthcare Environments - Middleware Support for Smart Homes and Intelligent Applications - Quantified Self for Pervasive Healthcare - Privacy, Confidentiality and Security Issues in Healthcare Systems - Related Real World Experimentations and Case Studies in Healthcare - RFID Solutions for Healthcare - Smart Homes and Home Care Intelligent Environments - Telemedicine and Health Telematics - Ubiquitous and Pervasive Computing in Healthcare - Usability & Socio Technical studies - User Interface Design for Healthcare Applications - Virtual and Augmented Reality in Healthcare - Virtual Environments for Healthcare Committees ------------- General Chair Heiko Gewald, The Neu-Ulm University of Applied, Germany Joel J. P. C. Rodrigues, National Institute of Telecommunications (Inatel), Brazil Program Chairs Haroon Malik, Marshall University, USA Ansar-Ul-Haque Yasar, IMOB, Hasselt University, Belgium Workshops Chairs Wael M. El-Medany, University of Bahrain, Bahrain Naba Haque, KellyOCG, Belgium International Journals Chair Bin Guo, Northwestern Polytechnical University, China Publicity Chairs Wim Ectors, IMOB, Hasselt University, Belgium Al-Sakib Khan Pathan,Southeast University, Bangladesh Technical Program Committee http://cs-conferences.acadiau.ca/icth-18/program-committees.html Steering Committee Chair Elhadi Shakshuki, Acadia University, Canada Advisory Committee Sergio Camorlinga, Head eHealth Research, TRLabs, Canada Kevin Daimi, University of Detroit Mercy, USA Finn Kensing, University of Copenhagen, Denmark Francesco Princiroli, Politecnico di Milano, Italy Abdul Roudsari, University of Victoria, Canada -------------- next part -------------- An HTML attachment was scrubbed... URL: From wim.ectors at uhasselt.be Fri Apr 27 07:05:45 2018 From: wim.ectors at uhasselt.be (Wim Ectors) Date: Fri, 27 Apr 2018 00:05:45 -0700 Subject: [Haskell] [ICTH-2018] Call for Workshop Proposals - Conference on Current and Future Trends of Information and Communication Technologies in Healthcare. Leuven, Belgium (Nov. 5-8, 2018) Message-ID: ------- Call for Workshops Proposals ------------ The 8th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH) November 5-8, 2018 Leuven, Belgium Conference Website: http://cs-conferences.acadiau.ca/icth-18/ ************************************************* Important Dates =========== - Workshop Proposal Due: May 28, 2018 The ICTH-2018 organizing committee invites proposals for workshops. The main objective of the workshops is to provide a forum for researchers and professionals to discuss a specific topic from the field of ICTH-2018 and its related areas. All papers accepted for workshops will be included in the ICTH-2018 proceedings, which will be published by Elsevier. The authors must follow Elsevier guidelines as given in ICTH-2018 Website. The selective outstanding papers presented at the workshops, after further revision, will be considered for publication in journals special issues. Proposal Format =========== - Title of the workshop - Workshop website: tentative address, or old address (if applicable) - Draft call for papers of the workshop - Tentative list of TPC members Workshops' Chairs ============== Dr. Wael M. El-Medany, University of Bahrain, Bahrain (Email: welmedany at uob.edu.bh; waelelmedany at gmail.com) Dr. Naba Haque, KellyOCG, Belgium (Email: Naba.haque at gmail.com) -------------- next part -------------- An HTML attachment was scrubbed... URL: From Graham.Hutton at nottingham.ac.uk Mon Apr 30 08:54:08 2018 From: Graham.Hutton at nottingham.ac.uk (Graham Hutton) Date: Mon, 30 Apr 2018 08:54:08 +0000 Subject: [Haskell] Journal of Functional Programming - Call for PhD Abstracts Message-ID: <2E8B314C-1947-42AF-A808-C273DE3EFE8B@exmail.nottingham.ac.uk> Dear all, If you or one of your students recently completed a PhD in the area of functional programming, please submit the dissertation abstract for publication in JFP: simple process, no refereeing, open access, deadline 25th May 2018. Please share! Best wishes, Graham Hutton ============================================================ CALL FOR PHD ABSTRACTS Journal of Functional Programming Deadline: 25th May 2018 http://tinyurl.com/jfp-phd-abstracts ============================================================ PREAMBLE: Many students complete PhDs in functional programming each year. As a service to the community, the Journal of Functional Programming publishes the abstracts from PhD dissertations completed during the previous year. The abstracts are made freely available on the JFP website, i.e. not behind any paywall. They do not require any transfer of copyright, merely a license from the author. A dissertation is eligible for inclusion if parts of it have or could have appeared in JFP, that is, if it is in the general area of functional programming. The abstracts are not reviewed. Please submit dissertation abstracts according to the instructions below. We welcome submissions from both the PhD student and PhD advisor/supervisor although we encourage them to coordinate. ============================================================ SUBMISSION: Please submit the following information to Graham Hutton by 25th May 2018. o Dissertation title: (including any subtitle) o Student: (full name) o Awarding institution: (full name and country) o Date of PhD award: (month and year; depending on the institution, this may be the date of the viva, corrections being approved, graduation ceremony, or otherwise) o Advisor/supervisor: (full names) o Dissertation URL: (please provide a permanently accessible link to the dissertation if you have one, such as to an institutional repository or other public archive; links to personal web pages should be considered a last resort) o Dissertation abstract: (plain text, maximum 1000 words; you may use \emph{...} for emphasis, but we prefer no other markup or formatting in the abstract, but do get in touch if this causes significant problems) Please do not submit a copy of the dissertation itself, as this is not required. JFP reserves the right to decline to publish abstracts that are not deemed appropriate. ============================================================ PHD ABSTRACT EDITOR: Graham Hutton School of Computer Science University of Nottingham Nottingham NG8 1BB United Kingdom ============================================================ This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please contact the sender and delete the email and attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. Email communications with the University of Nottingham may be monitored where permitted by law. From P.Achten at cs.ru.nl Mon Apr 30 09:35:09 2018 From: P.Achten at cs.ru.nl (Peter Achten) Date: Mon, 30 Apr 2018 11:35:09 +0200 Subject: [Haskell] final call for papers: Trends in Functional Programming, 11-13 june 2018, Chalmers Campus Johanneberg, Gothenburg - deadline extended - Message-ID: <009816ea-9944-3ce8-b81e-b5416dfca156@cs.ru.nl>                -------------------------------------              F I N A L   C A L L   F O R   P A P E R S                -------------------------------------                     ----- deadline extended -----                     ======== TFP 2018 ===========           19th Symposium on Trends in Functional Programming                            11-13 June, 2018                      Chalmers Campus Johanneberg, Gothenburg            http://www.cse.chalmers.se/~myreen/tfp2018/index.html The symposium on Trends in Functional Programming (TFP) is an international forum for researchers with interests in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions (see below at scope). Please be aware that TFP uses two distinct rounds of submissions (see below at submission details). TFP 2018 will be the main event of a pair of functional programming events. TFP 2018 will be accompanied by the International Workshop on Trends in Functional Programming in Education (TFPIE), which will take place on June 14. == SCOPE == The symposium recognizes that new trends may arise through various routes. As part of the Symposium's focus on trends we therefore identify the following five article categories. High-quality articles are solicited in any of these categories: Research Articles:     Leading-edge, previously unpublished research work Position Articles:     On what new trends should or should not be Project Articles:     Descriptions of recently started new projects Evaluation Articles:     What lessons can be drawn from a finished project Overview Articles:     Summarizing work with respect to a trendy subject. Articles must be original and not simultaneously submitted for publication to any other forum. They may consider any aspect of functional programming: theoretical, implementation-oriented, or experience-oriented. Applications of functional programming techniques to other languages are also within the scope of the symposium. Topics suitable for the symposium include, but are not limited to:     Functional programming and multicore/manycore computing     Functional programming in the cloud     High performance functional computing     Extra-functional (behavioural) properties of functional programs     Dependently typed functional programming     Validation and verification of functional programs     Debugging and profiling for functional languages     Functional programming in different application areas:     security, mobility, telecommunications applications, embedded     systems, global computing, grids, etc.     Interoperability with imperative programming languages     Novel memory management techniques     Program analysis and transformation techniques     Empirical performance studies     Abstract/virtual machines and compilers for functional languages     (Embedded) domain specific languages     New implementation strategies     Any new emerging trend in the functional programming area If you are in doubt on whether your article is within the scope of TFP, please contact the TFP 2018 program chairs, Michał Pałka and Magnus Myreen. == Best Paper Awards == To reward excellent contributions, TFP awards a prize for the best paper accepted for the formal proceedings. TFP traditionally pays special attention to research students, acknowledging that students are almost by definition part of new subject trends. A student paper is one for which the authors state that the paper is mainly the work of students, the students are listed as first authors, and a student would present the paper. A prize for the best student paper is awarded each year. In both cases, it is the PC of TFP that awards the prize. In case the best paper happens to be a student paper, that paper will then receive both prizes. == Paper Submissions == We use EasyChair for the refereeing process. The link to the submission page is: https://easychair.org/conferences/?conf=tfp2018 Authors of papers have the choice of having their contributions formally reviewed either before or after the Symposium. == Pre-symposium formal review == Papers to be formally reviewed before the symposium should be submitted before an early deadline and receive their reviews and notification of acceptance for both presentation and publication before the symposium. A paper that has been rejected in this process may still be accepted for presentation at the symposium, but will not be considered for the post-symposium formal review. == Post-symposium formal review == Draft papers will receive minimal reviews and notification of acceptance for presentation at the symposium. Authors of draft papers will be invited to submit revised papers based on the feedback receive at the symposium. A post-symposium refereeing process will then select a subset of these articles for formal publication. == Paper categories == Draft papers and papers submitted for formal review are submitted as extended abstracts (4 to 10 pages in length) or full papers (20 pages). The submission must clearly indicate which category it belongs to: research, position, project, evaluation, or overview paper. It should also indicate which authors are research students, and whether the main author(s) are students. A draft paper for which all authors are students will receive additional feedback by one of the PC members shortly after the symposium has taken place. == Format == Papers must be written in English, and written using the LNCS style. For more information about formatting please consult the Springer LNCS web site. == Important Dates == Submission (pre-symposium review):                   March 26, 2018  --  passed  -- Submission (draft, post-symposium review):           May   11, 2018  -- extended -- Notification (pre- and post-symposium review):       May   13, 2018  -- extended -- Registration:                                        June   3, 2018 TFP Symposium:                                       June 11-13, 2018 TFPIE Workshop:                                      June   14, 2018 Student papers feedback:                             June   21, 2018 Submission (post-symposium review):                  August 14, 2018 Notification (post-symposium review):                September 20, 2018 Camera-ready paper (pre- and post-symposium review): November 30, 2018 == Program Committee == Program Co-chairs Michał Pałka,    Chalmers University of Technology (SE) Magnus Myreen,    Chalmers University of Technology (SE) Program Committee Soichiro Hidaka,        Hosei University (JP) Meng Wang,              University of Bristol (UK) Sam Tobin-Hochstadt,    Indiana University Bloomington (US) Tiark Rompf,            Purdue University (US) Patricia Johann,        Appalachian State University (US) Neil Sculthorpe,        Nottingham Trent University (UK) Andres Löh,             Well-Typed LLP (UK) Tarmo Uustalu,          Tallinn University of Technology (EE) Cosmin E. Oancea,       University of Copenhagen (DK) Mauro Jaskelioff,       Universidad Nacional de Rosario (AR) Peter Achten,           Radboud University (NL) Dimitrios Vytiniotis,   Microsoft Research (UK) Alberto Pardo,          Universidad de la República (UY) Natalia Chechina,       University of Glasgow (UK) Peter Sestoft,          IT University of Copenhagen (DK) Scott Owens,            University of Kent (UK)