- Haskell - Haskell.org

ANNOUNCE: Haskell Communities and Activities Report (30th ed., May 2016)
by Mihai Maruseac 18 May '16

18 May '16

On behalf of all the contributors, we are pleased to announce that the Haskell Communities and Activities Report (30th edition, May 2016) is now available, in PDF and HTML formats: http://haskell.org/communities/05-2016/report.pdf http://haskell.org/communities/05-2016/html/report.html All previous editions of HCAR can be accessed on the wiki at https://wiki.haskell.org/Haskell_Communities_and_Activities_Report Many thanks go to all the people that contributed to this report, both directly, by sending in descriptions, and indirectly, by doing all the interesting things that are reported. We hope you will find it as interesting a read as we did. If you have not encountered the Haskell Communities and Activities Reports before, you may like to know that the first of these reports was published in November 2001. Their goal is to improve the communication between the increasingly diverse groups, projects, and individuals working on, with, or inspired by Haskell. The idea behind these reports is simple: Every six months, a call goes out to all of you enjoying Haskell to contribute brief summaries of your own area of work. Many of you respond (eagerly, unprompted, and sometimes in time for the actual deadline) to the call. The editors collect all the contributions into a single report and feed that back to the community. When we try for the next update, six months from now, you might want to report on your own work, project, research area or group as well. So, please put the following into your diaries now: ======================================== End of September 2016: target deadline for contributions to the November 2016 edition of the HCAR Report ======================================== Unfortunately, many Haskellers working on interesting projects are so busy with their work that they seem to have lost the time to follow the Haskell related mailing lists and newsgroups, and have trouble even finding time to report on their work. If you are a member, user or friend of a project so burdened, please find someone willing to make time to report and ask them to "register" with the editors for a simple e-mail reminder in November (you could point us to them as well, and we can then politely ask if they want to contribute, but it might work better if you do the initial asking). Of course, they will still have to find the ten to fifteen minutes to draw up their report, but maybe we can increase our coverage of all that is going on in the community. Feel free to circulate this announcement further in order to reach people who might otherwise not see it. Enjoy! -- Mihai Maruseac (MM) "If you can't solve a problem, then there's an easier problem you can solve: find it." -- George Polya

1 0

CFP (Approaching Deadline): 19th ACM/IEEE MSWiM 2016
by Robson De Grande 18 May '16

18 May '16

==================================================== Call-For-Papers: 19th ACM*/IEEE* MSWiM 2016 Malta, Nov 13-17, 2016 http://www.mswimconf.com/2016 ==================================================== IMPORTANT: Submission deadline: May 30th, 2016 =================================================== *Pending Upon Approval ACM/IEEE* MSWiM 2016 is the 19th Annual International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems. MSWiM is an international forum dedicated to in-depth discussion of Wireless and Mobile systems, networks, algorithms and applications, with an emphasis on rigorous performance evaluation. MSWiM is a highly selective conference with a long track record of publishing innovative ideas and breakthroughs. MSWiM 2016 will be held Malta, Nov 13-17, 2016 Authors are encouraged to submit full papers presenting new research related to the theory or practice of all aspects of modeling, analysis and simulation of mobile and wireless systems. Submitted papers must not have been published elsewhere nor be currently under review by another conference or journal. Papers related to wireless and mobile network Modeling, Analysis, Design, and Simulation are solicited on, but not limited to, the following topics in mobile and wireless systems: Performance evaluation and modeling Analytical Models Simulation languages and tools for wireless systems Wireless measurements tools and experiences Formal methods for analysis of wireless systems Correctness, survivability and reliability evaluation Mobility modeling and management Models and protocols for cognitive radio networks Models and protocols for autonomic, or self-* networks Capacity, coverage and connectivity modeling and analysis Wireless network algorithms and protocols Software Defined Network Services for Smart City Wireless PANs, LANs Ad hoc and MESH networks Vehicular Ad-hoc Networks (VANET) Sensor and actuator networks Delay Tolerant Networks Integration of wired and wireless systems Pervasive computing and emerging models Wireless multimedia systems QoS provisioning in wireless and mobile networks Security and privacy of mobile/wireless systems Algorithms and protocols for energy efficient operation and power control Mobile applications, system software and algorithms RF channel modeling and analysis Design methodologies Tools, prototypes and testbeds Parallel and distributed simulation of wireless systems Wireless Communication and Mobile Networking Operating systems for mobile computations Programming language support for mobility Resource management techniques Management of mobile object systems Paper Submission and Publication: High-quality original papers are solicited. Papers must be unpublished and must not be submitted for publication elsewhere. All papers will be reviewed by Technical Program Committee members and other experts active in the field to ensure high quality and relevance to the conference. More detailed instructions for paper submission can be found at http://www.mswimconf.com/2016 and EDAS. Accepted papers will appear in the conference proceedings to be published by ACM Press. Important Dates: Paper Registration (Full list of authors, title, keywords, abstract): May 25, 2016 Paper Submission Deadline: May 30, 2016 Notification of Acceptance: June 30, 2016 Organizing Committee: General Co-Chair: - Albert Zomaya, University of Sydney, Australia TPC Co-Chairs: - Geyong Min, University of Exter, UK - Antonio Loureiro, UFMG, Brazil Workshop Chairs: - Perikklis Chatzimios, Alexander TEI of Thessaloniki, Greece - SungBum Hong, Jackson State University, USA Tutorial Chairs: - Thomas Begin, University Claude Bernards Lyon, France - Jalel Ben-Othman, University Paris 13, France Ph.D. Forum Chair - Bjorn Landfeldt, Lund University, Sweeden

1 0

SPLASH'16: 1st Call for Contributions to Collocated Events
by Tijs van der Storm 18 May '16

18 May '16

################################################# ACM Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH'16) ################################################# Amsterdam, The Netherlands Sun 30th October - Fri 4th November , 2016 http://2016.splashcon.org https://twitter.com/splashcon https://www.facebook.com/SPLASHCon/ Sponsored by ACM SIGPLAN Combined Call for Contributions to SPLASH tracks, collocated conferences, symposia and workshops: - SPLASH-I, Doctoral Symposium, Student Research Competition, Programming Languages Mentoring Workshop, Posters - Dynamic Languages Symposium (DLS) - Generative Programming: Concepts & Experiences (GPCE) - Software Language Engineering (SLE) - Scala Symposium - Workshops: AGERE, DSLDI, DSM, FOSD, ITSLE, LWC@SLE, META, MOBILE!, NOOL, PLATEAU, Parsing@SLE, REBLS, RUMPLE, SA-MDE, SEPS, VMIL, WODA The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) embraces all aspects of software construction, to make it the premier conference at the intersection of programming, languages, systems, and software engineering. SPLASH'16 hosts a record number collocated tracks and events, from associated conferences (GPCE, SLE) and symposia (DLS, Scala), to 16 workshops! Please see below about important dates. We look forward to your submissions! SPLASH'16 Additional Tracks =========================== ## SPLASH-I: Innovation, Interaction, Insight, Industry, Invited SPLASH-I is the track of SPLASH dedicated to great talks on exciting topics! SPLASH-I will run in parallel with all of SPLASH (during the week days), and is open to all attendees. SPLASH-I will host both invited talks and selected talks submitted via this call for proposals. SPLASH-I solicits inspiring talks, tutorials and demonstrations on exciting topics related to programming and programming systems, delivered by excellent speakers from academia or industry. Deadlines: 1st of June, 1st of August (if there are still available slots). Website: http://2016.splashcon.org/track/splash-2016-splash-i ## Doctoral Symposium The SPLASH Doctoral Symposium provides students with useful guidance for completing their dissertation research and beginning their research careers. The Symposium will provide an interactive forum for doctoral students who have progressed far enough in their research to have a structured proposal, but will not be defending their dissertation in the next 12 months. Submission deadline: Thu 30 Jun 2016 Website: http://2016.splashcon.org/track/splash-2016-ds ## Student Research Competition Continuing the successes of previous years, SPLASH is again hosting an ACM SIGPLAN Student Research Competition (ACM SRC). The competition is an internationally-recognized venue that enables undergraduate and graduate students to experience the research world and to share their research results with other students and SPLASH attendees. The competition has separate categories for undergraduate and graduate students and awards prizes to the top three students in each category. The ACM SIGPLAN Student Research Competition shares the Poster session’s goal to facilitate interaction with researchers and industry practitioners, providing both sides with the opportunity to learn of ongoing, current research. Additionally, the Student Research Competition gives students experience with both formal presentations and evaluations. Submission deadline: Mon 15 Aug 2016 Website: http://2016.splashcon.org/track/splash-2016-src ## PLMW: Programming Language Mentoring Workshop The purpose of Programming Languages Mentoring Workshop (PLMW) is to give promising students who consider pursuing a graduate degree in this field an overview of what research in this field looks like and how to get into and succeed in graduate school. In other words, a combination whirlwind tour of this research area, networking opportunity, and how-to-succeed guide. The program of PLMW will include talks by prominent researchers of the field of programming languages and software engineering providing an insight in their research. To learn more about PLMW, please see the SIGPLAN PLMW web page (http://www.sigplan.org/Conferences/PLMW/) Application deadline: Sun 14 Aug 2016 Website: http://2016.splashcon.org/track/splash-2016-plmw ## Posters The SPLASH Poster track provides an excellent forum for authors to present their recent or ongoing projects in an interactive setting, and receive feedback from the community. We invite submissions covering any aspect of programming, systems, languages and applications. The goal of the poster session is to encourage and facilitate small groups of individuals interested in a technical area to gather and interact. It is held early in the conference, to promote continued discussion among interested parties. Submission deadline: Fri 8 Jul 2016 Website: http://2016.splashcon.org/track/splash-2016-posters Collocated Conferences and Symposia =================================== ## DLS: Dynamic Languages Symposium The 12th Dynamic Languages Symposium (DLS) at SPLASH 2016 invites high quality papers reporting original research and experience related to the design, implementation, and applications of dynamic languages. Paper submission deadline: Fri 10 Jun 2016 Website: http://conf.researchr.org/track/dls-2016/dls-2016-papers ## GPCE: Generative Programming: Concepts & Experiences Generative and component approaches and domain-specific abstractions are revolutionizing software development just as automation and componentization revolutionized manufacturing. Raising the level of abstraction in software specification has been a fundamental goal of the computing community for several decades. Key technologies for automating program development and lifting the abstraction level closer to the problem domain are Generative Programming for program synthesis, Domain-Specific Languages (DSLs) for compact problem-oriented programming notations, and corresponding Implementation Technologies aiming at modularity, correctness, reuse, and evolution. As the field matures Applications and Empirical Results are of increasing importance. The International Conference on Generative Programming: Concepts & Experiences (GPCE) is a venue for researchers and practitioners interested in techniques that use program generation, domain-specific languages, and component deployment to increase programmer productivity, improve software quality, and shorten the time-to-market of software products. In addition to exploring cutting-edge techniques of generative software, our goal is to foster further cross-fertilization between the software engineering and the programming languages research communities. Abstract submission deadline: Fri 17 Jun 2016 Paper submission deadline: Fri 24 Jun 2016 Website: http://www.gpce.org Call for papers (pdf): http://conf.researchr.org/getImage/gpce-2016/orig/GPCE16+-+Call+for+Papers.… Twitter: https://twitter.com/gpceconf Facebook: https://www.facebook.com/GPCEConference/ ## Scala Symposium The Scala Symposium is a forum for researchers and practitioners to share new ideas and results of interest to the Scala programming language community. We welcome a broad spectrum of research topics in many formats, going from student talks all the way to full 10-page research papers, indexed by the ACM Digital Library. Abstract submission deadline: Sun 17 Jul 2016 Paper submission deadline: Mon 25 Jul 2016 Website: http://2016.splashcon.org/track/scala-2016 ## SLE: Software Language Engineering Software Language Engineering (SLE) is the application of systematic, disciplined, and measurable approaches to the development, use, deployment, and maintenance of software languages. The term “software language” is used broadly, and includes: general-purpose programming languages; domain-specific languages (e.g. BPMN, Simulink, Modelica); modeling and metamodeling languages (e.g. SysML and UML); data models and ontologies (e.g. XML-based and OWL-based languages and vocabularies). SLE aims to be broad-minded and inclusive about relevance and scope. We solicit high-quality contributions in areas ranging from theoretical and conceptual contributions to tools, techniques, and frameworks in the domain of language engineering. Topics relevant to SLE cover generic aspects of software languages development rather than aspects of engineering a specific language. Abstract submission deadline: Fri 17 Jun 2016 Paper submission deadline: Fri 24 Jun 2016 Website: http://2016.splashcon.org/track/sle-2016-papers Twitter: https://twitter.com/sleconf Facebook https://www.facebook.com/SLEconference/ Workshops ========= SPLASH'16 will host a record number of 16 workshops: ## AGERE! Programming based on Actors, Agents, and Decentralized Control The AGERE! workshop is aimed at focusing on programming systems, languages and applications based on actors, active/concurrent objects, agents and – more generally – high-level programming paradigms promoting a mindset of decentralized control in solving problems and developing software. The workshop is designed to cover both the theory and the practice of design and programming, bringing together researchers working on models, languages and technologies, and practitioners developing real-world systems and applications. Abstract submission deadline: Mon 1 Aug 2016 Paper submission deadline: Mon 15 Aug 2016 Website: http://2016.splashcon.org/track/agere2016 ## DSLDI: Domain-specific Language Design and Implementation Domain-Specific Language Design and Implementation (DSLDI) is a workshop intended to bring together researchers and practitioners interested in discussing how DSLs should be designed, implemented, supported by tools, and applied in realistic contexts. The focus of the workshop is on all aspects 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. More generally, we are interested in continuing to build a community that can drive forward the development of modern DSLs. Submission deadline talk proposals: Mon 1 Aug 2016 Website: http://2016.splashcon.org/track/dsldi2016 ## DSM: Domain-Specific Modeling Domain-specific languages provide a viable and time-tested solution for continuing to raise the level of abstraction, and thus productivity, beyond coding, making systems development faster and easier. When accompanied with suitable automated modeling tools and generators it delivers to the promises of continuous delivery and devops. In domain-specific modeling (DSM) the models are constructed using concepts that represent things in the application domain, not concepts of a given programming language. The modeling language follows the domain abstractions and semantics, allowing developers to perceive them- selves as working directly with domain concepts. Together with frameworks and platforms, DSM can automate a large portion of software production. Submission deadline: Mon 15 Aug 2016 Website: http://2016.splashcon.org/track/dsm2016 ## FOSD: Feature-oriented Software Development Feature orientation is an emerging paradigm of software development. It supports the automatic generation of large-scale software systems from a set of units of functionality, called features. The key idea of feature-oriented software development (FOSD) is to explicitly represent similarities and differences of a family of software systems for a given application domain (e.g., database systems, banking software, text processing systems) with the goal of reusing software artifacts among the family members. Submission deadline: Mon 1 Aug 2016 Website: http://www.fosd.net/workshop2016 Call for papers: http://conf.researchr.org/getImage/FOSD-2016/orig/FOSD+2016+-+CFP.pdf ## ITSLE: Industry Track Software Language Engineering Industry Track for Software Language Engineering (ITSLE) is a workshop to bring together practitioners and researchers from industry and academia working on the area of software language engineering. Domain Specific Languages (DSLs) and Model-Driven Software Engineering (MDSE) techniques are being developed and used broadly in industry. However, as the size and complexity of software systems steadily increase, so does the cost of maintaining and improving the DSL and MDSE techniques and tools. It introduces new challenges such as language co-evolution, maintainability of legacy software using older version of DSLs and MDSE techniques, and extendability and scalability of these techniques. Some of these challenges have been addressed by the SLE research community and some remain unsolved. Submission deadline: Mon 1 Aug 2016 Website: http://2016.splashcon.org/track/itsle2016 ## LWC@SLE: Language Workbench Challenge Language workbenches are tools for software language engineering. They distinguish themselves from traditional compiler tools by providing integrated development environment (IDE) support for defining, implementing, testing and maintaining languages. Not only that, languages built with a language workbench are supported by IDE features as well (e.g., syntax highlighting, outlining, reference resolving, completion etc.). As a result, language workbenches achieve a next level in terms of productivity and interactive editor support for building languages, in comparison to traditional batch-oriented, compiler construction tools. The goal of this workshop is twofold. First: exercise and assess the state-of-the-art in language workbenches using challenge problems from the user perspective (i.e. the language designer). Second: foster knowledge exchange and opportunities for collaboration between language workbench implementors and researchers. Submission deadline of solutions: Mon 1 Aug 2016 Website: http://2016.splashcon.org/track/lwc2016 ## META The Meta’16 workshop aims to bring together researchers working on metaprogramming and reflection, as well as users building applications, language extensions such as contracts, or software tools. With the changing hardware and software landscape, and increased heterogeneity of systems, metaprogramming becomes an important research topic to handle the associate complexity once more. Contributions to the workshop are welcome on a wide range of topics related to design, implementation, and application of metaprogramming techniques, as well as empirical studies on and typing for such systems and languages. Abstract submission: Wed 27 Jul 2016 Paper submission: Mon 1 Aug 2016 Website: http://2016.splashcon.org/track/meta2016 ## Mobile! Mobile application use and development is experiencing enormous growth, and by 2016 more than 200 billion apps have been downloaded. The mobile domain presents new challenges to software engineering. Mobile platforms are rapidly changing, with diverse capabilities including various input modes, wireless communication types, on-device memory and disk capacities, and sensors. Applications function on wide ranges of platforms, requiring scaling according to hardware. Many applications interact with third-party services, requiring application development with effective security and authorization processes for those dataflows. “Bring your own device” policies pose security challenges including employer and employee data privacy. Developing secure mobile applications requires new tools and practices such as improved refactoring tools for hybrid applications; polyglot applications; and testing techniques for multiple devices. This workshop aims to establish a community of researchers and practitioners, leading to further research in mobile development. Paper submission deadline: Mon 1 Aug 2016 Website: http://2016.splashcon.org/track/mobile2016 ## NOOL: New Object-Oriented Languages NOOL-16 is a new unsponsored workshop to bring together users and implementors of new(ish) object oriented systems. Through presentations, and panel discussions, as well as demonstrations, and video and audiotapes, NOOL-16 will provide a forum for sharing experience and knowledge among experts and novices alike. We invite technical papers, case studies, and surveys in the following areas, related to theory of object oriented programming, new languages, implementation of languages, tools and environment, applications and related work. Abstract submission deadline: Thu 1 Sep 2016 Website: http://2016.splashcon.org/track/nool2016 ## PLATEAU: Workshop on Evaluation and Usability of Programming Languages and Tools Programming languages exist to enable programmers to develop software effectively. But how efficiently programmers can write software depends on the usability of the languages and tools that they develop with. 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. Paper submission deadline: Mon 1 Aug 2016 Website: http://2016.splashcon.org/track/plateau2016 ## Parsing@SLE Parsing@SLE 2016 is the fourth annual workshop on parsing programming languages. The intended participants are the authors of parser generation tools and parsers for programming languages and other software languages. For the purpose of this workshop “parsing” is a computation that takes a sequence of characters as input and produces a syntax tree or graph as output. This possibly includes tokenization using regular expressions, deriving trees using context-free grammars, and mapping to abstract syntax trees. The goal is to bring together today’s experts in the field of parsing, in order to explore open questions and possibly forge new collaborations. The topics may include algorithms, implementation and generation techniques, syntax and semantics of meta formalisms (BNF), etc. We expect to attract participants that have been or are developing theory, techniques and tools in the broad area of parsing. Abstract submission deadline: Fri 9 Sep 2016 Website: http://2016.splashcon.org/track/parsing2016 ## REBLS: Reactive and Event-based Languages & Systems 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. Paper submission deadline: Mon 1 Aug 2016 Website: http://2016.splashcon.org/track/rebls2016 ## RUMPLE: ReUsable and Modular Programming Language Ecosystems The RUMPLE’16 workshop is a venue for discussing a wide range of topics related to modular approaches to programming language implementation, extensible virtual machine architectures, as well as reusable runtime components such as dynamic compilers, interpreters, or garbage collectors. One of the main goals of the workshop is to bring together both researchers and practitioners and facilitate effective sharing of their respective experiences and ideas. We welcome presentation proposals in the form of extended abstracts discussing experiences, work-in-progress, as well as future visions from the academic as well as industrial perspective. Extended abstract submission deadline: Mon 1 Aug 2016 Website: http://2016.splashcon.org/track/rumple2016 ## SA-MDE: Tutorial on MDD with Model Catalogue and Semantic Booster With the model-driven development (MDD) approach to software, rather than building each system from scratch, one specifies a metamodel covering a whole class of similar systems, provides a universal generator to transform metamodel instances into executable programs, and specifies each system by a higher-level model conforming to the metamodel. When the application domain concerns semantically rich datasets—with structured entities, interlinked data, and sophisticated integrity constraints—then the MDD tools should support this richness: in the metamodel, in individual system models, and in the generation process. In this tutorial, we present the Model Catalogue and Semantic Booster, tools respectively for curating and exploiting semantically rich data in a MDD workflow, which are under development as part of ALIGNED. Participants will learn what the tools can do, gain hands-on experience with using them, and be able to contribute challenges and suggestions for future development. Website: http://2016.splashcon.org/track/samde2016 ## SEPS: Software Engineering for Parallel Systems This workshop provides a stable forum for researchers and practitioners dealing with compelling challenges of the software development life cycle on modern parallel platforms. The increased complexity of parallel applications on modern parallel platforms (e.g. multicore/manycore, distributed or hybrid) requires more insight into development processes, and necessitates the use of advanced methods and techniques supporting developers in creating parallel applications or parallelizing and re-engineering sequential legacy applications. We aim to advance the state of the art in different phases of parallel software development, covering software engineering aspects such as requirements engineering and software specification; design and implementation; program analysis, profiling and tuning; testing and debugging. Paper submission deadline: Mon 1 Aug 2016 Website: http://2016.splashcon.org/track/seps2016 ## VMIL: Virtual Machines and Intermediate Languages The VMIL workshop is a forum for research in virtual machines and intermediate languages. It is dedicated to identifying programming mechanisms and constructs that are currently realized as code transformations or implemented in libraries but should rather be supported at VM level. Candidates for such mechanisms and constructs include modularity mechanisms (aspects, context-dependent layers), concurrency (threads and locking, actors, capsules, processes, software transactional memory), transactions, development tools (profilers, runtime verification), etc. Topics of interest include the investigation of which such mechanisms are worthwhile candidates for integration with the run-time environment, how said mechanisms can be elegantly (and reusably) expressed at the intermediate language level (e.g., in bytecode), how their implementations can be optimized, and how virtual machine architectures might be shaped to facilitate such implementation efforts. Paper submission deadline: Mon 1 Aug 2016 Website: http://2016.splashcon.org/track/vmil2016 ## WODA: Workshop on Dynamic Analysis The International Workshop on Dynamic Analysis (WODA) is the place where researchers interested in dynamic analysis and related topics can meet and discuss current research, issues, and trends in the field. WODA exists since 2003 and has been co-located with several different SE/PL conferences in the past, including ICSE, ISSTA, ASPLOS, and SPLASH. See https://sites.google.com/site/scwoda/ for the history of WODA. The 2016 edition of WODA will be a mix of invited talks by high-visibility researchers in the community and presentations of submitted workshop papers. Submission deadline: Fri 19 Aug 2016 Website: http://2016.splashcon.org/track/woda2016

1 0

Call for contribution, PLRR 2016 (Parametricity, Logical Relations & Realizability), CSL affiliated workshop
by Christophe Raffalli 18 May '16

18 May '16

CALL FOR CONTRIBUTIONS Workshop PLRR 2016 Parametricity, Logical Relations & Realizability September 2, Marseille, France http://lama.univ-savoie.fr/plrr2016 Satellite workshop - CSL 2016 http://csl16.lif.univ-mrs.fr/ BACKGROUND The workshop PLRR 2016 aims at presenting recent work on parametricity, logical relations and realizability, and encourage interaction between those communities. The areas of interest include, but are not limited to: * Kleene's intuitionistic realizability, * Krivine's classical realizability, * other extensions of the Curry-Howard correspondence, * links between forcing and the Curry-Howard correspondence, * parametricity, * logical relations, * categorical models, * applications to programming languages. INVITED SPEAKERS Neil Ghani (University of Strathclyde) Nick Benton (Microsoft Research, Cambridge) CONTRIBUTED TALKS We solicit contributed talks based on extended abstracts of 2 pages. Submission are handled by easychair: https://easychair.org/conferences/?conf=plrr2016 IMPORTANT DATES Submission of abstracts: June 15, 2016 Notification of acceptance: July 1, 2016 REGISTRATION via the main CSL 2016 website: http://csl16.lif.univ-mrs.fr/ VENUE Collocated with CSL 2016, hosted by Aix-Marseille Universit�. Both the main conference and its satellite workshops will be held in the city center campus of the Faculty of Science (Central Building). SCIENTIFIC COMMITTEE Pierre Hyvernat (Universit� Savoie Mont Blanc) Rodolphe Lepigre (Universit� Savoie Mont Blanc) Alexandre Miquel (Universidad de la Rep�blica, Montevideo) Christophe Raffalli (Universit� Savoie Mont Blanc) Thomas Streicher (Technische Universit�t Darmstadt) CONTACT Pierre.Hyvernat(a)univ-smb.fr

1 0

[Final CFP] Haskell 2016
by Geoffrey Mainland 16 May '16

16 May '16

======================================================================== ACM SIGPLAN CALL FOR SUBMISSIONS Haskell Symposium 2016 Nara, Japan, 22-23 September 2016, directly after ICFP http://www.haskell.org/haskell-symposium/2016 ======================================================================== The ACM SIGPLAN Haskell Symposium 2016 will be co-located with the International Conference on Functional Programming (ICFP 2016) in Nara, Japan. The Haskell Symposium aims to present original research on Haskell, discuss practical experience and future development of the language, and to promote other forms of denotative programming. Topics of interest include: * Language Design, with a focus on possible extensions and modifications of Haskell as well as critical discussions of the status quo; * Theory, such as formal semantics of the present language or future extensions, type systems, effects, metatheory, and foundations for program analysis and transformation; * Implementations, including program analysis and transformation, static and dynamic compilation for sequential, parallel, and distributed architectures, memory management, as well as foreign function and component interfaces; * Libraries, that demonstrate new ideas or techniques for functional programming in Haskell; * Tools, such as profilers, tracers, debuggers, preprocessors, and testing tools; * Applications, to scientific and symbolic computing, databases, multimedia, telecommunication, the web, and so forth; * Functional Pearls, being elegant and instructive programming examples; * Experience Reports, to document general practice and experience in education, industry, or other contexts. Papers in the latter three categories need not necessarily report original academic research results. For example, they may instead report reusable programming idioms, elegant ways to approach a problem, or practical experience that will be useful to other users, implementors, or researchers. The key criterion for such a paper is that it makes a contribution from which other Haskellers can benefit. It is not enough simply to describe a standard solution to a standard programming problem, or report on experience where you used Haskell in the standard way and achieved the result you were expecting. More advice is available via the Haskell wiki: (http://wiki.haskell.org/HaskellSymposium/ExperienceReports) Regular papers should explain their research contributions in both general and technical terms, identifying what has been accomplished, explaining why it is significant, and relating it to previous work, and to other languages where appropriate. In addition, we solicit proposals for: * System Demonstrations, based on running software rather than novel research results. These proposals should summarize the system capabilities that would be demonstrated. The proposals will be judged on whether the ensuing session is likely to be important and interesting to the Haskell community at large, whether on grounds academic or industrial, theoretical or practical, technical, social or artistic. Please contact the program chair with any questions about the relevance of a proposal. Travel Support: =============== Student attendees with accepted papers can apply for a SIGPLAN PAC grant to help cover travel expenses. PAC also offers other support, such as for child-care expenses during the meeting or for travel costs for companions of SIGPLAN members with physical disabilities, as well as for travel from locations outside of North America and Europe. For details on the PAC program, see its web page (http://pac.sigplan.org) Proceedings: ============ Accepted papers will be included in the ACM Digital Library. Authors must grant ACM publication rights upon acceptance (http://authors.acm.org/main.html) Authors are encouraged to publish auxiliary material with their paper (source code, test data, etc.); they retain copyright of auxiliary material. Accepted proposals for system demonstrations will be posted on the symposium website but not formally published in the proceedings. All accepted papers and proposals will be posted on the conference website one week before the meeting. Publication date: The official publication date of accepted papers is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work. Submission Details: =================== Submitted papers should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines (http://www.acm.org/sigs/sigplan/authorInformation.htm) The text should be in a 9-point font in two columns. The length is restricted to 12 pages, except for "Experience Report" papers, which are restricted to 6 pages. Papers need not fill the page limit---for example, a Functional Pearl may be much shorter than 12 pages. Each paper submission must adhere to SIGPLAN's republication policy, as explained on the web. Demo proposals are limited to 2-page abstracts, in the same ACM format as papers. "Functional Pearls", "Experience Reports", and "Demo Proposals" should be marked as such with those words in the title at time of submission. The paper submission deadline and length limitations are firm. There will be no extensions, and papers violating the length limitations will be summarily rejected. Papers may be submitted at: https://icfp-haskell2016.hotcrp.com/ Submission Timetable: ===================== Early Track Regular Track System Demos ---------------- ------------------- --------------- 1st April Paper Submission 20th May Notification 6th June Abstract Submission 10th June Paper Submission 17th June Resubmission Demo Submission 8th July Notification Notification Notification 31st July Camera ready due Camera ready due Deadlines stated are valid anywhere on earth. The Haskell Symposium uses a two-track submission process so that some papers can gain early feedback. Papers can be submitted to the early track on 1st April. On 20th May, strong papers are accepted outright, and the others will be given their reviews and invited to resubmit. On 17th June, early track papers may be resubmitted and are sent back to the same reviewers. The Haskell Symposium regular track operates as in previous years. Papers accepted via the early and regular tracks are considered of equal value and will not be distinguished in the proceedings. Although all papers may be submitted to the early track, authors of functional pearls and experience reports are particularly encouraged to use this mechanism. The success of these papers depends heavily on the way they are presented, and submitting early will give the program committee a chance to provide feedback and help draw out the key ideas. Program Committee: =================== James Cheney University of Edinburgh Iavor Diatchki Galois David Duke University of Leeds Richard Eisenberg University of Pennsylvania Ken Friis Larsen University of Copenhagen Andy Gill University of Kansas Zhenjiang Hu National Institute of Informatics Ranjit Jhala UC San Diego Yukiyoshi Kameyama University of Tsukuba Geoffrey Mainland (chair) Drexel University Mary Sheeran Chalmers University of Technology David Terei Stanford Niki Vazou UC San Diego Dimitrios Vytiniotis Microsoft Research =====================================================================

1 0

Call for Papers: WFLP 2016 - Workshop on Functional and (Constraint) Logic Programming
by Janis Voigtlaender 13 May '16

13 May '16

24th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2016) https://wflp2016.github.io/ September 13-14, part of the Leipzig Week of Declarative Programming (L-DEC 2016) *********************************************************** Deadlines: * abstract submission: June 15, 2016 * paper submission: June 22, 2016 * notification: July 15, 2016 * final version due: August 10, 2016 *********************************************************** The international workshops on functional and (constraint) logic programming aim at bringing together researchers, students, and practitioners interested in functional programming, logic programming, and their integration. This year the workshop is co-located with two other events as part of http://nfa.imn.htwk-leipzig.de/LDEC2016/ in order to promote the cross-fertilizing exchange of ideas and experiences among and between the communities interested in the foundations, applications, and combinations of high-level, declarative programming languages and related areas. Topics of interest for WFLP include (but are not limited to): * Functional programming * Logic programming * Constraint programming * Deductive databases, data mining * Extensions of declarative languages, objects * Multi-paradigm declarative programming * Foundations, semantics, nonmonotonic reasoning, dynamics * Parallelism, concurrency * Program analysis, abstract interpretation * Program transformation, partial evaluation, meta-programming * Specification, verification, declarative debugging * Knowledge representation, machine learning * Interaction of declarative programming with other formalisms * Implementation of declarative languages * Advanced programming environments and tools * Software engineering for declarative programming * Applications The primary focus is on new and original research results, but submissions describing innovative products, prototypes under development, application systems, or interesting experiments (e.g., benchmarks) are also encouraged. There are separate submission categories for work-in-progress reports and system descriptions. Authors are welcome to indicate that they want to present their work in a talk but not include a paper in the proceedings. The workshop proceedings will be published in CEUR or EPTCS. *********************************************************** Program Committee: * Slim Abdennadher, German University in Cairo, Egypt * Sergio Antoy, Portland State University, USA * Sebastian Fischer, Freelancer, Germany * Francisco J. Lopez Fraguas, Universidad Complutense de Madrid, Spain * Michael Hanus, University of Kiel, Germany * Sebastiaan Joosten, University of Innsbruck, Austria * Kazutaka Matsuda, Tohoku University, Japan * Martin Sulzmann, Karlsruhe University of Applied Sciences, Germany * Janis Voigtlaender (Chair), University of Bonn, Germany

1 0

SPLASH-I 2016: Call for Talk Proposals!
by Tijs van der Storm 11 May '16

11 May '16

SPLASH-I: Innovation, Interaction, Insight, Industry, Invited The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) embraces all aspects of software construction and delivery to make it the premier conference at the intersection of programming, languages, and software engineering. SPLASH 2016 will take place from Sunday, October 30 to Friday, November 4, 2016 in Amsterdam, The Netherlands. SPLASH-I is the track of SPLASH dedicated to great talks on exciting topics! SPLASH-I will run in parallel with all of SPLASH (during the week days), and is open to all attendees. SPLASH-I will host both invited talks and selected talks submitted via this call for proposals. SPLASH-I solicits inspiring talks, tutorials and demonstrations on exciting topics related to programming and programming systems, delivered by excellent speakers from academia or industry. SPLASH-I caters for three categories of presentations: - Regular talks on programming languages, systems or concepts; - Tutorials aimed at introducing particular tools, systems, or languages - Demonstrations showing off cool programming technology. All slots in SPLASH-I are 45 minutes. Please submit proposals here: http://goo.gl/forms/FZqQwpd73G Have a suggestion for a great speaker and topic? Suggest it here: http://goo.gl/forms/MWzgStWkww SPLASH-I maintains two deadlines: 1st of June, and, if there are still slots available, 1st of August. Websites: http://2016.splashcon.org/track/splash-2016-splash-i Organization: Eelco Visser (TU Delft), Tijs van der Storm (CWI) Committee: - Matthias Hauswirth (University of Lugano) - Igor Peshansky (Google) - Tiark Rompf (Purdue & Oracle Labs) - Jurgen Vinju (CWI)

1 0

SPLASH 2016: Call for Sponsorships
by Tijs van der Storm 10 May '16

10 May '16

The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) embraces all aspects of software construction and delivery to make it the premier conference at the intersection of programming, languages, and software engineering. SPLASH 2016 will take place from Sunday, October 30 to Friday, November 4, 2016 in Amsterdam, The Netherlands. Web version of this call for sponsorships: http://2016.splashcon.org/attending/support-program SPLASH is where the best of the best in software innovation, programming and programming languages convene, learn from and inspire each other, and share their passion for software. Supporting SPLASH is an opportunity to put your corporate name in front of this community — a superb investment for your organization. # Sponsorship Packages ## Diamond: $US 15 000 Benefits: - Recognition as a supporter in print and on the web. Recognized as a Diamond supporter on registration brochures and conference program - Two company-provided items placed in the conference tote bag - Official exclusive support for your choice of (subject to availability): Doctoral Symposium, Poster Session, Keynotes, or support for 8 Student Volunteers named for your organization - Attendance (for two) at an invitation-only reception by the SPLASH General Chair - Choice of: two Full conference registrations; or two complimentary main conference registrations plus two complimentary one-day pass registrations ## Gold: $US 10 000 Benefits: - Recognition as a supporter in print and on the web. Recognized as a Gold supporter on registration brochures and conference program - Two company-provided items placed in the conference tote bag - Official support for your choice of (subject to availability): Doctoral Symposium, Poster Session, Keynotes, or support for 6 Student Volunteers named for your organization - Attendance (for two) at an invitation-only reception by the SPLASH General Chair - Choice of: one Full conference registration plus one complimentary main conference registration; or two complimentary main conference registrations plus one complimentary one-day pass registration ## Silver: $US 5000 Benefits: - Recognition as a supporter in print and on the web. Recognized as a Silver supporter on registration brochures and conference program - One company-provided item placed in the conference tote bag - Official support for your choice of: four Student Volunteers named for your organization; or the Keynotes (non-exclusive support) - Attendance (for two) at an invitation-only reception by the SPLASH General Chair - Your choice of: one Full conference registration; or one complimentary main conference registration plus one complimentary one-day pass registration; or three complimentary one-day pass registrations ## Bronze $US 3000 - Recognition as a supporter in print and on the web. Recognized as a Bronze supporter on registration brochures and conference program - One company-provided one-page insert placed in conference tote bag - Official support for two Student Volunteers named for your organization - Attendance (for one) at an invitation-only reception by the SPLASH General Chair - Your choice of: one complimentary main conference registration; or two complimentary one-day pass registrations # Why sponsor SPLASH? SPLASH values innovation, collaboration, and diversity. For many software researchers, academics, students, educators, and practitioners, SPLASH is the most important conference of the year. It is a place to: - improve skills and productivity, independent of any particular product or vendor; - gain a global perspective connecting with world experts; and - discover and explore new trends and innovations in leading edge research and practice. Becoming a SPLASH corporate supporter demonstrates your leadership and commitment to the community. It is an opportunity to: - carry your message to community leaders; - associate your brand with world-class research and development; - position your company as a leader in the field; and - prepare for the future. Your corporate name and logo will be in front of the entire community throughout the conference. For the same contribution you also receive either complimentary or discounted SPLASH registrations for use by your organization. You will also have the opportunity to participate in invitation-only events that will provide you with direct, one-on-one interactions with some key members of the SPLASH community. Thank you for your time! Please do not hesitate to contact us at support(a)splashcon.org. We look forward to helping you make the most of your investment in SPLASH. Jurgen Vinju SPLASH 2016 Sponsorship Chair Eelco Visser SPLASH 2016 General Chair

1 0

Trustworthy Refactoring project: Research Associate Positions in Refactoring Functional Programs and Formal Verification (for CakeML)
by Simon Thompson 10 May '16

10 May '16

Trustworthy Refactoring project: Research Associate Positions in Refactoring Functional Programs and Formal Verification (for CakeML) The Trustworthy Refactoring project at the University of Kent is seeking to recruit postdoc research associates for two 3.5 year positions, to start in September this year. The overall goal of this project is to make a step change in the practice of refactoring by designing and constructing of trustworthy refactoring tools. By this we mean that when refactorings are performed, the tools will provide strong evidence that the refactoring has not changed the behaviour of the code, built on a solid theoretical understanding of the semantics of the language. Our approach will provide different levels of assurance from the (strongest) case of a fully formal proof that a refactoring can be trusted to work on all programs, given some pre-conditions, to other, more generally applicable guarantees, that a refactoring applied to a particular program does not change the behaviour of that program. The project will make both theoretical and practical advances. We will build a fully-verified refactoring tool for a relatively simple, but full featured programming language (CakeML https://cakeml.org) and at the other we will build an industrial-strength refactoring tool for a related industrially-relevant language (OCaml). This OCaml tool will allow us to explore a range of verification techniques, both fully and partially automated, and will set a new benchmark for building refactoring tools for programming languages in general. The project, which is coordinated by Prof Simon Thompson and Dr Scott Owens, will support two research associates, and the four will work as a team. One post will focus on pushing the boundaries of trustworthy refactoring via mechanised proof for refactorings in CakeML, and the other post will concentrate on building an industrial strength refactoring tool for OCaml. The project has industrial support from Jane Street Capital, who will contribute not only ideas to the project but also host the second RA for a period working in their London office, understanding the OCaml infrastructure and their refactoring requirements. You are encouraged to contact either of the project investigators by email (s.a.owens(a)kent.ac.uk, s.j.thompson(a)kent.ac.uk) if you have any further questions about the post, or if you would like a copy of the full research application for the project. We expect that applicants will have PhD degree in computer science (or a related discipline) or be close to completing one. For both posts we expect that applicants will have experience of writing functional programs, and for the verification post we also expect experience of developing (informal) proofs in a mathematical or programming context. To apply, please go to the following web pages: Research Associate in Formal Verification for CakeML (STM0682): https://jobs.kent.ac.uk/fe/tpl_kent01.asp?s=4A515F4E5A565B1A&jobid=40106,34… Research Associate in Refactoring Functional Programs (STM0683): https://jobs.kent.ac.uk/fe/tpl_kent01.asp?s=4A515F4E5A565B1A&jobid=40107,69… Simon and Scott Simon Thompson | Professor of Logic and Computation School of Computing | University of Kent | Canterbury, CT2 7NF, UK s.j.thompson(a)kent.ac.uk | M +44 7986 085754 | W www.cs.kent.ac.uk/~sjt

1 0

Summer of Haskell Mentors
by Edward Kmett 10 May '16

10 May '16

If you are interesting in helping out as a possible mentor for this year's Summer of Haskell, please email me, and include MENTOR in the title. Thank you! -Edward

1 0