From c.grelck at uva.nl Fri Apr 1 13:53:26 2016 From: c.grelck at uva.nl (Clemens Grelck) Date: Fri, 1 Apr 2016 15:53:26 +0200 Subject: [Haskell] ARRAY 2016 extended deadline: April 11 Message-ID: <56FE7D56.9000105@uva.nl> *************************************************************************** CALL FOR PAPERS ARRAY 2016 3rd ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming Santa Barbara, CA, USA June 14, 2016 http://conf.researchr.org/home/array-2016/ EXTENDED DEADLINE: April 11, 2016 (FIRM!) *************************************************************************** ARRAY 2016 is part of PLDI 2016 37th Annual ACM SIGPLAN Conference on Programming Language Design and Implementation June 13-17, 2016 http://conf.researchr.org/home/pldi-2016/ *************************************************************************** About: Array-oriented programming is a powerful abstraction for compactly implementing numerically intensive algorithms. Many modern languages now provide some support for collective array operations, which are used by an increasing number of programmers (and non-programmers) for data analysis and scientific computing. This workshop is intended to bring together researchers from many different communities, including language designers, library developers, compiler researchers and practitioners who are working on numeric, array-centric aspects of programming languages, libraries and methodologies from all domains: imperative or declarative, object-oriented or not, interpreted or compiled, strongly typed, weakly typed or untyped. *************************************************************************** Keynote speakers: We are proud to announce two distinguished keynote speakers: Bradford Chamberlain Principal Engineer at Cray Inc, Seattle, USA Chief designer of the Chapel high productivity language Morten Kromberg User Experience Director (CXO) at Dyalog Ltd, Bramley, UK Commercial provider of APL interpreters, tools and services *************************************************************************** Focus: The aim of the ARRAY workshop series is to foster the cross-pollination of concepts across domains, projects and research communities and to explore new directions, such as: + Expanding the scope of array programming to encompass a wider range of data types and computations, + Transparently utilizing parallel hardware (multi-core, SIMD, GPU, FPGA) by leveraging the implicitly parallel semantics of array operations, + Simplifying the embedding of array constructs within existing languages which weren't designed for numerical computing, + Connections between array abstractions and other models such as dataflow programming, stream programming, and data parallelism, + High-level compilation and optimization techniques for array-oriented programs, + Compilers, virtual machines and frameworks for array-oriented programming languages. *************************************************************************** Important Dates: Paper submissions: Fri, Apr 11, 2016 (anywhere on earth) Notification of authors: Wed, Apr 27, 2016 Camera-ready copies due: Fri, May 27, 2016 (anywhere on earth) Workshop date: Tue, Jun 14, 2016 *************************************************************************** Submissions: Manuscripts may fall into one of the following categories: + research papers on any topic related to the focus of the workshop + tool descriptions reporting on a tool relevant to the workshop area Submissions should be 4-8 pages for research papers 4-6 pages for tool descriptions. In the case of a tool description the workshop presentation should include a demo of the tool, and the submission should include a short appendix summarizing the tool demo. This appendix is for the information of the PC only, and will not be part of the published paper, nor does it count into the six page limit. Clearly mark your submission as either a research paper or a tool description in the paper's subtitle. Submissions must be in PDF format printable in black and white on US Letter sized paper and interpretable by Ghostscript. Papers must adhere to the standard SIGPLAN conference format: two columns, nine-point font on a ten-point baseline, with columns 20pc (3.33in) wide and 54pc (9in) tall, with a column gutter of 2pc (0.33in). A suitable document template for LaTeX is available at http://www.sigplan.org/Resources/Author/. Papers must be submitted using EasyChair: https://easychair.org/conferences/?conf=array2016 As in previous years, accepted papers will be published in the ACM Digital Library. *************************************************************************** Keynote by Bradford Chamberlain: Lessons Learned in Array Programming: from ZPL to Chapel In this talk, I'll start by providing a review of array programming in ZPL, an academic data-parallel programming language developed at the University of Washington during the 1990's. I'll describe the strengths and weaknesses of ZPL's support for array computation and describe how the lessons we learned in the ZPL project influenced Chapel's design and its support for arrays and data parallelism. In doing so, I'll provide a glimpse into some of Chapel's main research challenges and contributions, including user-defined distributions, parallel zippered iteration, and mapping to contemporary processor architectures. In doing so, I'll also attempt to characterize what I view as the key distinctions between successful languages developed in academia versus industry based on my experiences with both ZPL and Chapel. *************************************************************************** Keynote by Morten Kromberg: Notation for Parallel Thoughts Since the original APL\360 interpreter saw the light of day in 1966, a large part of the of primitive functions in APL (A Programming Language) implicitly map operations to all elements of array arguments (and arrays of numbers or characters are the only ?types? available in the language). Over the decades, the parallelism at the core of the notation has been extended, to nested arrays in the 1980?s and arrays of objects in the 00?s. In this decade, arrays of futures have been added to provide users of APL with the ability to express asynchronous -? but deterministic -- algorithms. This talk will introduce the most important parallel constructs available in current Dyalog APL, which (despite the name) essentially remains an executable mathematical notation. *************************************************************************** Organizing Committee: Martin Elsman, University of Copenhagen (Chair) Clemens Grelck, University of Amsterdam (Chair) David Padua, University of Illinois at Urbana-Champaign Andreas Kl?ckner, University of Illinois at Urbana-Champaign *************************************************************************** Programme Committee: Robert Bernecky, Snake Island Research, Canada Martin Elsman, University of Copenhagen, Denmark (Chair) Clemens Grelck, University of Amsterdam, Netherlands (Chair) Laurie Hendren , McGill University, Canada Stephan Herhut, Google Inc, Denmark Gabriele Keller, University of New South Wales, Australia Andreas Kl?ckner, University of Illinois at Urbana-Champaign, USA (Chair) Hidehiko Masuhara, Tokyo Institute of Technology, Japan David Padua, University of Illinois at Urbana-Champaign, USA (Chair) Mary Sheeran, Chalmers University of Technology, Sweden Jan Vitek, Northeastern University, USA *************************************************************************** Travel Funding: Since ARRAY 2006 is sponsored by ACM SIGPLAN, presenters and authors of papers are eligible to apply for SIGPLAN PAC funding. *************************************************************************** -- ---------------------------------------------------------------------- Dr Clemens Grelck Science Park 904 University Lecturer 1098XH Amsterdam Netherlands University of Amsterdam Institute for Informatics T +31 (0) 20 525 8683 Computer Systems Architecture Group F +31 (0) 20 525 7490 Office C3.105 staff.fnwi.uva.nl/c.u.grelck ---------------------------------------------------------------------- From P.Achten at cs.ru.nl Fri Apr 1 15:06:11 2016 From: P.Achten at cs.ru.nl (Peter Achten) Date: Fri, 1 Apr 2016 17:06:11 +0200 Subject: [Haskell] [TFP 2016] Final call for papers Message-ID: <56FE8E63.2040908@cs.ru.nl> ----------------------------- C A L L F O R P A P E R S ----------------------------- ======== TFP 2016 =========== 17th Symposium on Trends in Functional Programming June 8-10, 2016 University of Maryland, College Park Near Washington, DC http://tfp2016.org/ 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). 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. TFP 2016 will be the main event of a pair of functional programming events. TFP 2016 will be accompanied by the International Workshop on Trends in Functional Programming in Education (TFPIE), which will take place on June 7nd. == INVITED SPEAKERS == TFP 2016 is pleased to announce keynote talks by the following two invited speakers: * Ronald Garcia, University of British Columbia * Steve Zdancewic, University of Pennsylvania == HISTORY == The TFP symposium is the heir of the successful series of Scottish Functional Programming Workshops. Previous TFP symposia were held in * Edinburgh (Scotland) in 2003; * Munich (Germany) in 2004; * Tallinn (Estonia) in 2005; * Nottingham (UK) in 2006; * New York (USA) in 2007; * Nijmegen (The Netherlands) in 2008; * Komarno (Slovakia) in 2009; * Oklahoma (USA) in 2010; * Madrid (Spain) in 2011; * St. Andrews (UK) in 2012; * Provo (Utah, USA) in 2013; * Soesterberg (The Netherlands) in 2014; * and Inria Sophia-Antipolis (France) in 2015. For further general information about TFP please see the TFP homepage. (http://www.tifp.org/). == 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 2016 program chair, David Van Horn. == 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. == SPONSORS == TFP is financially supported by CyberPoint, Galois, Trail of Bits, and the University of Maryland Computer Science Department. == PAPER SUBMISSIONS == Acceptance of articles for presentation at the symposium is based on a lightweight peer review process of 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. We use EasyChair for the refereeing process. Papers must be submitted at: https://easychair.org/conferences/?conf=tfp2016 Papers must be written in English, and written using the LNCS style. For more information about formatting please consult the Springer LNCS web site: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 == IMPORTANT DATES == Submission of draft papers: April 8, 2016 Notification: April 15, 2016 Registration: May 13, 2016 TFP Symposium: June 8-10, 2016 Student papers feedback: June 14, 2016 Submission for formal review: July 14, 2016 Notification of acceptance: September 14, 2016 Camera ready paper: October 14, 2016 == PROGRAM COMMITTEE == Amal Ahmed Northeastern University (US) Nada Amin ?cole Polytechnique F?d?rale de Lausanne (CH) Kenichi Asai Ochanomizu University (JP) Malgorzata Biernacka University of Wroclaw (PL) Laura Castro University of A Coru?a (ES) Ravi Chugh University of Chicago (US) Silvia Ghilezan University of Novi Sad (SR) Clemens Grelck University of Amsterdam (NL) John Hughes Chalmers University of Technology (SE) Suresh Jagannathan Purdue University (US) Pieter Koopman Radboud University Nijmegen (NL) Geoffrey Mainland Drexel University (US) Chris Martens University of California, Santa Cruz (US) Jay McCarthy University of Massachusetts, Lowell (US) Heather Miller ?cole Polytechnique F?d?rale de Lausanne (CH) Manuel Serrano INRIA, Sophia-Antipolis (FR) Scott Smith Johns Hopkins University (US) ?ric Tanter University of Chile (CL) David Van Horn (Chair) University of Maryland (US) Niki Vazou University of California, San Diego (US) Stephanie Weirich University of Pennsylvania (US) From kei at lanl.gov Fri Apr 1 15:12:46 2016 From: kei at lanl.gov (Kei Davis) Date: Fri, 1 Apr 2016 09:12:46 -0600 Subject: [Haskell] Haskell hacking internships at LANL (Fall 2016, undergraduate) Message-ID: <56FE8FEE.6050807@lanl.gov> We have an ongoing project developing an auto-parallelizing pure functional language implementation using GHC as the front end to dump Core or STG (much like Intel's approach here http://www.leafpetersen.com/leaf/publications/hs2013/hrc-paper.pdf). If you are a United States citizen or permanent resident alien studying computer science or mathematics at the undergraduate level with strong interests in Haskell programming, compiler/runtime development, and pursuing a fall semester (2016) internship at Los Alamos National Laboratory this could be for you. We don't expect applicants to necessarily already be highly accomplished Haskell programmers--such an internship is expected to be a combination of (further) developing your programming/Haskell skills and putting them to good use. If you're already a strong C hacker we could use that too. The application deadline is May 31, 2016. It's a bit of a process so don't leave inquiries until the last day. Email me if interested in more information, and feel free to pass this along. -- Kei Davis kei at lanl.gov Applied Computer Science Group CCS-7, Mail Stop B287 Los Alamos National Laboratory Los Alamos, NM 87545, U.S.A. -------------- next part -------------- An HTML attachment was scrubbed... URL: From D.J.Duke at leeds.ac.uk Sun Apr 3 20:15:36 2016 From: D.J.Duke at leeds.ac.uk (David Duke) Date: Sun, 3 Apr 2016 21:15:36 +0100 Subject: [Haskell] CFP: Functional High Performance Computing 2016 Message-ID: <066C7127-120F-4D5F-9051-B0F88056E5F8@leeds.ac.uk> ====================================================================== CALL FOR PAPERS FHPC 2016 The 5th ACM SIGPLAN Workshop on Functional High-Performance Computing Nara, Japan September 22, 2016 https://sites.google.com/site/fhpcworkshops/ Co-located with the International Conference on Functional Programming (ICFP 2016) Submission Deadline: Friday, 10 June, 2016 (anywhere on earth) ====================================================================== The FHPC workshop aims at bringing together researchers exploring uses of functional (or more generally, declarative or high-level) programming technology in application domains where high performance is essential. The aim of the meeting is to enable sharing of results, experiences, and novel ideas about how high-level, declarative specifications of computationally challenging problems can serve as maintainable and portable code that approaches (or even exceeds) the performance of machine-oriented imperative implementations. All aspects of performance critical programming and parallel programming are in-scope for the workshop, irrespective of hardware target. This includes both traditional large-scale scientific computing (HPC), as well as work targeting single node systems with SMPs, GPUs, FPGAs, or embedded processors. It is becoming apparent that radically new and well founded methodologies for programming such systems are required to address their inherent complexity and to reconcile execution performance with programming productivity. Experience reports are also welcome. Proceedings: ============ FHPC 2016 seeks to encourage a range of submissions, focussing on work in progress and facilitating early exchange of ideas and open discussion on innovative and/or emerging results. To this end submissions should take the form of short (maximum 6 page) papers. Accepted papers will be published by the ACM and will appear in the ACM Digital Library. * Submissions due: Friday, 10 June, 2016 (anywhere on earth) * Author notification: Friday, 8 July, 2016 * Final copy due: Sunday, 31 July, 2016 Submitted papers must be in portable document format (PDF), formatted according to the ACM SIGPLAN style guidelines (2 column, 9pt format). See http://www.sigplan.org/authorInformation.htm for more information and style files. Papers should be no longer than 6 pages. Contributions to FHPC 2016 should be submitted via Easychair, at the following URL: * https://www.easychair.org/conferences/?conf=fhpc16 The FHPC workshops adhere to the ACM SIGPLAN policies regarding programme committee contributions and republication. Any paper submitted must adhere to ACM SIGPLAN's republication policy. PC member submissions are welcome, but will be reviewed to a higher standard. http://www.sigplan.org/Resources/Policies/Review http://www.sigplan.org/Resources/Policies/Republication 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 programme, see its web page (http://www.sigplan.org/PAC.htm). Programme Committee: ==================== David Duke (co-chair) University of Leeds, UK Yukiyoshi Kameyama (co-chair) University of Tsukuba, Japan Baris Aktemur ?zye?in University, Turkey Marco Aldinucci University of Torino, Italy Jost Berthold Commonwealth Bank, Australia Kei Davis Los Alamos National Laboratory, USA Kento Emoto Kyushu Institute of Technology, Japan Zhenjiang Hu National Institute of Informatics, Japan Ben Lippmeier University of New South Wales, Australia Rita Loogen University of Marburg, Germany Geoffrey Mainland Drexel University, USA Mike Rainey INRIA, France Mary Sheeran Chalmers University of Technology, Sweden Satnam Singh Facebook, UK From mihai.maruseac at gmail.com Sun Apr 3 23:24:10 2016 From: mihai.maruseac at gmail.com (Mihai Maruseac) Date: Sun, 3 Apr 2016 19:24:10 -0400 Subject: [Haskell] Call for Contributions - Haskell Communities and Activities Report, May 2016 edition (30th edition) Message-ID: Dear all, It's that time of the year again (https://ro-che.info/ccc/16). :) We would like to collect contributions for the 30th edition of the ============================================================ Haskell Communities & Activities Report http://www.haskell.org/haskellwiki/Haskell_Communities_and_Activities_Report Submission deadline: 30 April 2016 ============================================================ The short story follows: * If you are working on _any_ project that is in some way related to Haskell, please write a short entry and submit it. Even if the project is small, unfinished or used only by yourself or you think it is not important enough, please reconsider and submit an entry anyway! * The submission file can be in _any_ format you like. Although the final report uses LaTeX, if it is easier for you to submit a Markdown file, text file, Doc file or anything else, please do so. We'll be happy to do the translation and get a new entry in the HCAR :) * If you are interested in an existing project related to Haskell that has not previously been mentioned in the HCAR, please tell me or contact a project leader to get them to submit an entry. We have received feedback in the past that some projects were missing from the edition, but, sadly, that was too late at the time, but those projects will be contacted for this edition. * Feel free to pass on this call for contribution to others that might be interested. More detailed information: The Haskell Communities & Activities Report is a bi-annual overview of the state of Haskell as well as Haskell-related projects over the last, and possibly the upcoming six months. If you have only recently been exposed to Haskell, it might be a good idea to browse the previous edition --- you will find interesting projects described as well as several starting points and links that may provide answers to many questions. Contributions will be collected until the submission deadline. They will then be compiled into a coherent report that is published online as soon as it is ready. As always, this is a great opportunity to update your webpages, make new releases, announce or even start new projects, or to talk about developments you want every Haskeller to know about! Looking forward to your contributions, Mihai FAQ: Q: What format should I write in? A: The recommeneded format is a LaTeX source file, adhering to the template that is available at: http://haskell.org/communities/05-2016/template.tex There is also a LaTeX style file at http://haskell.org/communities/06-2016/hcar.sty that you can use to preview your entry. If you modify an old entry that you have written for an earlier edition of the report, you should soon receive your old entry as a template (provided we have your valid email address). Please modify that template, rather than using your own version of the old entry as a template. _However_, if you don't want/have time to format the entry for LaTeX, you can submit it in any other format possible and we will be happy to convert it for the final report. Q: Can I include Haskell code? A: Yes. Please use lhs2tex syntax (http://www.andres-loeh.de/lhs2tex/). The report is compiled in mode polycode.fmt. Q: Can I include images? A: Yes, you are even encouraged to do so. Please use .jpg or .png format, then, PNG being preferred for simplicity. Q: How much should I write? A: Authors are asked to limit entries to about one column of text. A general introduction is helpful. Apart from that, you should focus on recent or upcoming developments. Pointers to online content can be given for more comprehensive or "historic" overviews of a project. Images do not count towards the length limit, so you may want to use this opportunity to pep up entries. There is no minimum length of an entry! The report aims for being as complete as possible, so please consider writing an entry, even if it is only a few lines long. Q: Which topics are relevant? A: All topics which are related to Haskell in some way are relevant. We usually had reports from users of Haskell (private, academic, or commercial), from authors or contributors to projects related to Haskell, from people working on the Haskell language, libraries, on language extensions or variants. We also like reports about distributions of Haskell software, Haskell infrastructure, books and tutorials on Haskell. Reports on past and upcoming events related to Haskell are also relevant. Finally, there might be new topics we do not even think about. As a rule of thumb: if in doubt, then it probably is relevant and has a place in the HCAR. You can also simply ask us. Q: Is unfinished work relevant? Are ideas for projects relevant? A: Yes! You can use the HCAR to talk about projects you are currently working on. You can use it to look for other developers that might help you. You can use HCAR to ask for more contributors to your project, it is a good way to gain visibility and traction. Q: If I do not update my entry, but want to keep it in the report, what should I do? A: Tell us that there are no changes. The old entry will typically be reused in this case, but it might be dropped if it is older than a year, to give more room and more attention to projects that change a lot. Do not resend complete entries if you have not changed them. Q: Will I get confirmation if I send an entry? How do I know whether my email has even reached its destination, and not ended up in a spam folder? A: Prior to publication of the final report, we will send a draft to all contributors, for possible corrections. So if you do not hear from us within two weeks after the deadline, it is safer to send another mail and check whether your first one was received. -- Mihai Maruseac (MM) "If you can't solve a problem, then there's an easier problem you can solve: find it." -- George Polya From andrea.rosa at usi.ch Mon Apr 4 09:30:33 2016 From: andrea.rosa at usi.ch (Andrea Rosa) Date: Mon, 4 Apr 2016 09:30:33 +0000 Subject: [Haskell] Managed Languages Conference: PPPJ 2016 Call for Papers Message-ID: <786F3756-89C6-4DE6-A5F2-87D38C1E385F@usi.ch> PPPJ '16 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools August 29 - September 2, 2016 Lugano, Switzerland http://manlang16.inf.usi.ch/pppj In-cooperation with ACM SIGPLAN, SIGSOFT, SIGAPP and SPEC RG PPPJ '16 is a forum for researchers and practitioners to present and discuss novel results on all aspects of managed languages and their runtime systems, including virtual machines, tools, methods, frameworks, libraries, case studies, and experience reports. Managed languages and runtime systems of interest include, but are not limited to, Java, Scala, JavaScript, Python, Ruby, C#, F#, Clojure, Groovy, Kotlin, R, Java VM, Dalvik VM and Android Runtime (ART), LLVM, .NET CLR, RPython. ------------------------------------------------------------------------------- IMPORTANT DATES Abstract submission deadline: June 2, 2016 Submission deadline: June 6, 2016 Author notification: July 11, 2016 Camera-ready papers deadline: July 25, 2016 ------------------------------------------------------------------------------- TOPICS Virtual machines - Runtime systems (JVM, Dalvik VM and Android Runtime (ART), LLVM, .NET CLR, RPython, etc.) - VM design and optimization - VMs for mobile and embedded devices - Real-time VMs - Isolation and resource control Languages - Managed languages (Java, Scala, JavaScript, Python, Ruby C#, F#, Clojure, Groovy, Kotlin, R, etc.) - Domain-specific languages - Language design and calculi - Compilers - Language interoperability - Parallelism and concurrency - Modular and aspect-oriented programming - Model-driven development - Frameworks and applications - Teaching Techniques and tools - Static and dynamic program analysis - Testing - Verification - Monitoring and debugging - Security and information flow - Workload characterization and performance evaluation ------------------------------------------------------------------------------- SUBMISSIONS PPPJ '16 accepts three types of paper submissions: - Regular research paper: up to 12 pages - Work-in-progress paper: up to 6 pages - Industry and tool paper: up to 6 pages The conference proceedings will be published as part of the ACM International Conference Proceedings Series and will be disseminated through the ACM Digital Library. Research papers will be judged on their relevance, novelty, technical rigor, and contribution to the state-of-the-art. For work-in-progress research papers, more emphasis will be placed on novelty and the potential of the new idea than on technical rigor and experimental results. Industry and tool papers will be judged on their relevance, usefulness, and results. Suitability for demonstration and availability will also be considered for tool papers. ------------------------------------------------------------------------------- LOCATION PPPJ '16 will be part of the MANAGED LANGUAGES & RUNTIMES WEEK 2016, a premier forum for presenting and discussing innovations and breakthroughs in the area of programming languages and runtime systems. Managed Languages & Runtimes Week '16 features three international academic and industry venues for the first time: - PPPJ '16 - 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools. - JTRES '16 - 14th International Workshop on Java Technologies for Real-time and Embedded Systems - A workshop for researchers working on real-time and embedded Java with the goal of identifying the challenging problems that still need to be solved in order to assure the success of real-time Java as a technology and reporting results and experience. - VMM '16 - 3rd Virtual Machine Meetup - A venue for discussing the latest research and developments in the area of managed language execution. Managed Languages & Runtimes Week '16 will be hosted by the Faculty of Informatics of University of Lugano (USI) from August 29 to September 2, 2016. ------------------------------------------------------------------------------- ORGANIZING COMMITTEE General Chair: Walter Binder - University of Lugano (USI), Switzerland Program Committee Chair: Petr T?ma - Charles University, Czech Republic Organizing Chair: Yudi Zheng - University of Lugano (USI), Switzerland Publicity Chair: Andrea Ros? - University of Lugano (USI), Switzerland Web Chair: Giacomo Toffetti Carughi - University of Lugano (USI), Switzerland ------------------------------------------------------------------------------- PROGRAM COMMITTEE Wonsun Ahn - University of Pittsburgh, USA Lorenzo Bettini - University of Turin, Italy Irene Finocchi - University of Rome La Sapienza, Italy Michael Franz - University of California Irvine, USA David Gregg - Trinity College Dublin, Ireland David Grove - IBM Research, USA Apala Guha - Indraprastha Institute of Information Technology, India G?rel Hedin - Lund University, Sweden Nigel Horspool - University of Victoria, Canada Andreas Krall - Vienna University of Technology, Austria Prasad Kulkarni - University of Kansas, USA Doug Lea - State University of New York at Oswego, USA Ondrej Lhotak - University of Waterloo, Canada Du Li - Hewlett Packard Labs, USA Anders M?ller - University of Aarhus, Denmark Hanspeter M?ssenb?ck - Johannes Kepler Universit?t, Austria Rei Odaira - IBM Research Austin, USA Jeremy Singer - University of Glasgow, Scotland Eli Tilevich - Virginia Tech, USA Laurence Tratt - King's College London, England Petr Tuma - Charles University, Czech Republic Christian Wimmer - Oracle Labs, USA Jianjun Zhao - Shanghai Jiao Tong University, China -------------------------------------------------------------------------------- CONTACTS For additional information on PPPJ ?16 do not hesitate to contact the PC Chair > or visit the website http://manlang16.inf.usi.ch/pppj. ------------ Andrea Ros? PhD student - Teaching assistant Faculty of Informatics - 2nd floor Universit? della Svizzera italiana (USI) Via G. Buffi 13 CH-6904 Lugano Switzerland (e) andrea.rosa at usi.ch (p) +41 58 666 4455 ext. 2183 (w) http://www.inf.usi.ch/phd/rosaa/ From ardubois at gmail.com Mon Apr 4 19:24:01 2016 From: ardubois at gmail.com (Andre Rauber Du Bois) Date: Mon, 4 Apr 2016 16:24:01 -0300 Subject: [Haskell] CFP SBLP 2016: 20th Brazilian Symposium on Programming Languages *** Deadline for Abstracts Approaching*** Message-ID: [Apologies if you receive multiple copies of this CFP] *** Deadline for Abstracts Approaching*** ======================================================= The Brazilian Symposium on Programming Languages is a well-established symposium which provides a venue for researchers and practitioners interested in the fundamental principles and innovations in the design and implementation of programming languages and systems. SBLP 2016 will be held in Maring?, in the Southern region of Brazil, and will be the 20th edition of the symposium. SBLP is part of the 7th edition of CBSoft, the Brazilian Congress on Software: Theory and Practice. More information is available at http://cbsoft.org/sblp2016/xx-brazilian-symposium-on-programming-languages. IMPORTANT DATES Abstract submission: April 8th 2016 Paper submission: April 15th 2016 Author notification: May 27th 2016 Camera ready deadline: June 10th 2016 Symposium dates: September 22nd and 23rd Authors are invited to submit original research on any relevant topic which can be either in the form of regular or short papers. TOPICS Topics of interest include, but are not limited to: - Program generation and transformation, including domain-specific languages, and model-driven development in the context of programming languages. - Programming paradigms and styles, including functional, object-oriented, aspect-oriented, scripting languages, real-time, service-oriented, multithreaded, parallel, and distributed programming. - Formal semantics and theoretical foundations, including denotational, operational, algebraic, and categorical. - Program analysis and verification, including type systems, static analysis, and abstract interpretation. - Programming language design and implementation, including new programming models, programming language environments, compilation, and interpretation techniques. SUBMISSION AND PUBLICATION All submissions will be peer-reviewed and judged on the basis of its originality, contribution to the field, technical and presentation quality, and relevance to the symposium. Contributions should be written in Portuguese or English. Papers should fall into one of two different categories: regular papers, which can be up to 15 pages long in LNCS format, or short papers, with up to 6 pages in LNCS format. Short papers can discuss new ideas which are at an early stage of development and which have not yet been thoroughly evaluated. We encourage the submission of short papers reporting partial results of on-going master dissertations or doctoral theses. Accepted papers written in English will be published in a volume of Lecture Notes in Computer Science (LNCS), by Springer. Both regular and short papers must be prepared using the LNCS format, available at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0. Papers must be submitted electronically (in PDF format) via the Easychair System: http://www.easychair.org/conferences/?conf=sblp2016. 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 special issue. Since 2009, selected papers of each SBPL edition are being published in a special issue of Science of Computer Programming, by Elsevier. PROGRAM CHAIRS Fernando Castor, Federal University of Pernambuco Yu David Liu, State University of New York, Binghamton PROGRAM COMMITTEE Luis Barbosa, University of Minho Mariza Bigonha, Federal University of Minas Gerais Roberto Bigonha, Federal University of Minas Gerais Andre Rauber Du Bois, Federal University of Pelotas Christiano Braga, Fluminense Federal University Carlos Camar?o, Federal University of Minas Gerais Francisco Carvalho-Junior, Federal University of Ceara Fernando Castor, Federal University of Pernambuco Marcelo D'Amorim, Federal University of Pernambuco Jo?o Paulo Fernandes, University of Beira Interior Jo?o Ferreira, Teesside University Lucilia Figueiredo, Federal University of Ouro Preto Ismael Figueroa, Pontificia Universidad Cat?lica de Valparaiso Alex Garcia, IME Rodrigo Geraldo, Federal University of Ouro Preto Roberto Ierusalimschy, PUC-Rio Rafael Lins, Federal University of Pernambuco Yu David Liu, State University of New York at Binghamton Hans-Wolfgang Loidl, Heriot-Watt University Marcelo Maia, Federal University of Uberl?ndia Manuel-A. Martins, University of Aveiro Fabio Mascarenhas, Federal University of Rio de Janeiro S?rgio Medeiros, Federal University of Rio Grande do Norte Ana Milanova, Rensselaer Polytechnic Institute Alvaro Moreira, Federal University of Rio Grande do Sul Martin Musicante, Federal University of Rio Grande do Norte Bruno Oliveira, The University of Hong Kong Zachary Palmer, Swarthmore College Alberto Pardo, Universidad de la Rep?blica Fernando Pereira, Federal University of Minas Gerais Gustavo Pinto, Federal Institute of Science and Technology of Para Louis-Noel Pouchet, University of California Zongyan Qiu, Peking University Sandro Rigo, State University of Campinas Noemi Rodriguez, PUC-Rio Jo?o Saraiva, University of Minho Doaitse Swierstra, Utrecht University Leopoldo Teixeira, Federal University of Pernambuco Simon Thompson, University of Kent Varmo Vene, University of Tartu -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- The Brazilian Symposium on Programming Languages is a well-established symposium which provides a venue for researchers and practitioners interested in the fundamental principles and innovations in the design and implementation of programming languages and systems. SBLP 2016 will be held in Maring?, in the Southern region of Brazil, and will be the 20th edition of the symposium. SBLP is part of the 7th edition of CBSoft, the Brazilian Congress on Software: Theory and Practice. More information is available at http://cbsoft.org/sblp2016/xx-brazilian-symposium-on-programming-languages. IMPORTANT DATES Abstract submission: April 8th 2016 Paper submission: April 15th 2016 Author notification: May 27th 2016 Camera ready deadline: June 10th 2016 Symposium dates: September 22nd and 23rd Authors are invited to submit original research on any relevant topic which can be either in the form of regular or short papers. TOPICS Topics of interest include, but are not limited to: - Program generation and transformation, including domain-specific languages, and model-driven development in the context of programming languages. - Programming paradigms and styles, including functional, object-oriented, aspect-oriented, scripting languages, real-time, service-oriented, multithreaded, parallel, and distributed programming. - Formal semantics and theoretical foundations, including denotational, operational, algebraic, and categorical. - Program analysis and verification, including type systems, static analysis, and abstract interpretation. - Programming language design and implementation, including new programming models, programming language environments, compilation, and interpretation techniques. SUBMISSION AND PUBLICATION All submissions will be peer-reviewed and judged on the basis of its originality, contribution to the field, technical and presentation quality, and relevance to the symposium. Contributions should be written in Portuguese or English. Papers should fall into one of two different categories: regular papers, which can be up to 15 pages long in LNCS format, or short papers, with up to 6 pages in LNCS format. Short papers can discuss new ideas which are at an early stage of development and which have not yet been thoroughly evaluated. We encourage the submission of short papers reporting partial results of on-going master dissertations or doctoral theses. Accepted papers written in English will be published in a volume of Lecture Notes in Computer Science (LNCS), by Springer. Both regular and short papers must be prepared using the LNCS format, available at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0. Papers must be submitted electronically (in PDF format) via the Easychair System: http://www.easychair.org/conferences/?conf=sblp2016. 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 special issue. Since 2009, selected papers of each SBPL edition are being published in a special issue of Science of Computer Programming, by Elsevier. PROGRAM CHAIRS Fernando Castor, Federal University of Pernambuco Yu David Liu, State University of New York, Binghamton PROGRAM COMMITTEE Luis Barbosa, University of Minho Mariza Bigonha, Federal University of Minas Gerais Roberto Bigonha, Federal University of Minas Gerais Andre Rauber Du Bois, Federal University of Pelotas Christiano Braga, Fluminense Federal University Carlos Camar?o, Federal University of Minas Gerais Francisco Carvalho-Junior, Federal University of Ceara Fernando Castor, Federal University of Pernambuco Marcelo D'Amorim, Federal University of Pernambuco Jo?o Paulo Fernandes, University of Beira Interior Jo?o Ferreira, Teesside University Lucilia Figueiredo, Federal University of Ouro Preto Ismael Figueroa, Pontificia Universidad Cat?lica de Valparaiso Alex Garcia, IME Rodrigo Geraldo, Federal University of Ouro Preto Roberto Ierusalimschy, PUC-Rio Rafael Lins, Federal University of Pernambuco Yu David Liu, State University of New York at Binghamton Hans-Wolfgang Loidl, Heriot-Watt University Marcelo Maia, Federal University of Uberl?ndia Manuel-A. Martins, University of Aveiro Fabio Mascarenhas, Federal University of Rio de Janeiro S?rgio Medeiros, Federal University of Rio Grande do Norte Ana Milanova, Rensselaer Polytechnic Institute Alvaro Moreira, Federal University of Rio Grande do Sul Martin Musicante, Federal University of Rio Grande do Norte Bruno Oliveira, The University of Hong Kong Zachary Palmer, Swarthmore College Alberto Pardo, Universidad de la Rep?blica Fernando Pereira, Federal University of Minas Gerais Gustavo Pinto, Federal Institute of Science and Technology of Para Louis-Noel Pouchet, University of California Zongyan Qiu, Peking University Sandro Rigo, State University of Campinas Noemi Rodriguez, PUC-Rio Jo?o Saraiva, University of Minho Doaitse Swierstra, Utrecht University Leopoldo Teixeira, Federal University of Pernambuco Simon Thompson, University of Kent Varmo Vene, University of Tartu From simonpj at microsoft.com Tue Apr 5 08:07:30 2016 From: simonpj at microsoft.com (Simon Peyton Jones) Date: Tue, 5 Apr 2016 08:07:30 +0000 Subject: [Haskell] Call for papers for David Turner's Festschrift issue of JUCS Message-ID: <6dd331505fba4e67aab2496ff7002d36@DB4PR30MB030.064d.mgd.msft.net> Friends David Turner was one of the two people who changed my life by introducing me to functional programming (*). David designed and implemented a succession of functional languages, Sasl, KRC, and Miranda, that made lazy functional programming into a tool you could use to get work done. They all used SK-combinator reduction in their implementations, a technique of irresistibly simple beauty, invented by Curry and Feys, but refined and popularised by David. For David?s 70th birthday, the Journal of Universal Computer Science is running a special Festschrift issue on ?Functional programming: past, present, and future? in David?s honour. The Call for Papers is attached. Here?s the timetable. ? 1 July 2016: Paper submissions. ? 1 September 2016: Author notification. ? 1 October, 2016: Revised version due. ? 15 October 2016: Final notification. ? 30 October 2016: Camera Ready Copy. Do consider submitting a paper. Simon (*) Arthur Norman was the other. -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: JUCS_DATurner_Festschrift_2016_CfP.PDF Type: application/pdf Size: 103987 bytes Desc: JUCS_DATurner_Festschrift_2016_CfP.PDF URL: From Graham.Hutton at nottingham.ac.uk Tue Apr 5 08:34:25 2016 From: Graham.Hutton at nottingham.ac.uk (Graham Hutton) Date: Tue, 5 Apr 2016 08:34:25 +0000 Subject: [Haskell] Journal of Functional Programming - Call for PhD Abstracts Message-ID: If you or one of your students recently completed a PhD in the area of functional programming, please submit the dissertation abstract for publication in JFP: simple process, no refereeing, deadline 30th April 2016. Best wishes, Graham ============================================================ CALL FOR PHD ABSTRACTS Journal of Functional Programming Deadline: 30th April 2016 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 30th April 2016. o Dissertation title: (including any subtitle) o Student: (full name) o Awarding institution: (full name and country) o Date of PhD award: (month and year; depending on the institution, this may be the date of the viva, corrections being approved, graduation ceremony, or otherwise) o Advisor/supervisor: (full names) o Dissertation URL: (please provide a permanently accessible link to the dissertation if you have one, such as to an institutional repository or other public archive; links to personal web pages should be considered a last resort) o Dissertation abstract: (plain text, maximum 1000 words; you may use \emph{...} for emphasis, but we prefer no other markup or formatting in the abstract, but do get in touch if this causes significant problems) Please do not submit a copy of the dissertation itself, as this is not required. JFP reserves the right to decline to publish abstracts that are not deemed appropriate. ============================================================ PHD ABSTRACT EDITOR: Graham Hutton School of Computer Science University of Nottingham Nottingham NG8 1BB United Kingdom ============================================================ This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please send it back to me, and immediately delete it. Please do not use, copy or disclose the information contained in this message or in any attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. This message has been checked for viruses but the contents of an attachment may still contain software viruses which could damage your computer system, you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation. From gvidal at dsic.upv.es Thu Apr 7 07:19:07 2016 From: gvidal at dsic.upv.es (German Vidal) Date: Thu, 7 Apr 2016 09:19:07 +0200 Subject: [Haskell] 18th International Symposium on Principles and Practice of Declarative Programming PPDP 2016 - 2nd call for papers Message-ID: <5AC787A3-61F8-4805-A552-8CB3350D402E@dsic.upv.es> ====================================================================== Second call for papers 18th International Symposium on Principles and Practice of Declarative Programming PPDP 2016 Special Issue of Science of Computer Programming (SCP) Edinburgh, UK, September 5-7, 2016 (co-located with LOPSTR and SAS) http://ppdp16.webs.upv.es/ ====================================================================== SUBMISSION DEADLINE: 9 MAY (abstracts) / 16 MAY (papers) ---------------------------------------------------------------------- INVITED SPEAKERS Elvira Albert, Complutense University of Madrid, Spain ---------------------------------------------------------------------- PPDP 2016 is a forum that brings together researchers from the declarative programming communities, including those working in the logic, constraint and functional programming paradigms, but also embracing languages, database languages, and knowledge representation languages. The goal is to stimulate research in the use of logical formalisms and methods for specifying, performing, and analyzing computations, including mechanisms for mobility, modularity, concurrency, object-orientation, security, verification and static analysis. Papers related to the use of declarative paradigms and tools in industry and education are especially solicited. Topics of interest include, but are not limited to * Functional programming * Logic programming * Answer-set programming * Functional-logic programming * Declarative visual languages * Constraint Handling Rules * Parallel implementation and concurrency * Monads, type classes and dependent type systems * Declarative domain-specific languages * Termination, resource analysis and the verification of declarative programs * Transformation and partial evaluation of declarative languages * Language extensions for security and tabulation * Probabilistic modeling in a declarative language and modeling reactivity * Memory management and the implementation of declarative systems * Practical experiences and industrial application This year the conference will be co-located with the 26th Int'l Symp. on Logic-Based Program Synthesis and Transformation (LOPSTR 2016) and the 23rd Static Analysis Symposium (SAS 2016). The conference will be held in Edinburgh, UK. Previous symposia were held at Siena (Italy), Canterbury (UK), Madrid (Spain), Leuven (Belgium), Odense (Denmark), Hagenberg (Austria), Coimbra (Portugal), Valencia (Spain), Wroclaw (Poland), Venice (Italy), Lisboa (Portugal), Verona (Italy), Uppsala (Sweden), Pittsburgh (USA), Florence (Italy), Montreal (Canada), and Paris (France). You might have a look at the contents of past PPDP symposia, http://sites.google.com/site/ppdpconf/ Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). After the symposium, a selection of the best papers will be invited to extend their submissions in the light of the feedback solicited at the symposium. The papers are expected to include at least 30% extra material over and above the PPDP version. Then, after another round of reviewing, these revised papers will be published in a special issue of SCP with a target publication date by Elsevier of 2017. Important Dates Abstract submission: 9 May, 2016 Paper submission: 16 May, 2016 Notification: 20 June, 2016 Final version of papers: 17 July, 2016 Symposium: 5-7 September, 2016 Authors should submit an electronic copy of the full paper in PDF. Papers should be submitted to the submission website for PPDP 2016. Each submission must include on its first page the paper title; authors and their affiliations; abstract; and three to four keywords. The keywords will be used to assist the program committee in selecting appropriate reviewers for the paper. Papers should consist of the equivalent of 12 pages under the ACM formatting guidelines. These guidelines are available online, along with formatting templates or style files. Submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. They should include a clear identification of what has been accomplished and why it is significant. Authors who wish to provide additional material to the reviewers beyond the 12-page limit can do so in clearly marked appendices: reviewers are not required to read such appendices. Program Committee Sandra Alves, University of Porto, Portugal Zena M. Ariola, University of Oregon, USA Kenichi Asai, Ochanomizu University, Japan Dariusz Biernacki, University of Wroclaw, Poland Rafael Caballero, Complutense University of Madrid, Spain Iliano Cervesato, Carnegie Mellon University Marina De Vos, University of Bath, UK Agostino Dovier, Universita degli Studi di Udine, Italy Maribel Fernandez, King's College London, UK John Gallagher, Roskilde University, Denmark, and IMDEA Software Institute, Spain Michael Hanus, CAU Kiel, Germany Martin Hofmann, LMU Munchen, Germany Gerda Janssens, KU Leuven, Belgium Kazutaka Matsuda, Tohoku University, Japan Fred Mesnard, Universite de la Reunion, France Emilia Oikarinen, Finnish Institute of Occupational Health, Finland Alberto Pettorossi, Universita di Roma Tor Vergata, Italy Tom Schrijvers, KU Leuven, Belgium Josep Silva, Universitat Politecnica de Valencia, Spain Perdita Stevens, University of Edinburgh, UK Peter Thiemann, Universitat Freiburg, Germany Frank D. Valencia, CNRS-LIX Ecole Polytechnique de Paris, France, and Pontificia Universidad Javeriana de Cali, Colombia German Vidal, Universitat Politecnica de Valencia, Spain (Program Chair) Stephanie Weirich, University of Pennsylvania, USA Program Chair German Vidal Universitat Politecnica de Valencia Camino de Vera, S/N E-46022 Valencia, Spain Email: gvidal at dsic.upv.es Organizing committee James Cheney (University of Edinburgh, Local Organizer) Moreno Falaschi (University of Siena, Italy) ---------------------------------------------------------------------- From c.grelck at uva.nl Fri Apr 8 09:52:42 2016 From: c.grelck at uva.nl (Clemens Grelck) Date: Fri, 8 Apr 2016 11:52:42 +0200 Subject: [Haskell] ARRAY 2016: Final call for papers Message-ID: <57077F6A.4070504@uva.nl> *************************************************************************** CALL FOR PAPERS ARRAY 2016 3rd ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming Santa Barbara, CA, USA June 14, 2016 http://conf.researchr.org/home/array-2016/ FIRM DEADLINE: April 11, 2016 (anywhere on earth) *************************************************************************** ARRAY 2016 is part of PLDI 2016 37th Annual ACM SIGPLAN Conference on Programming Language Design and Implementation June 13-17, 2016 http://conf.researchr.org/home/pldi-2016/ *************************************************************************** About: Array-oriented programming is a powerful abstraction for compactly implementing numerically intensive algorithms. Many modern languages now provide some support for collective array operations, which are used by an increasing number of programmers (and non-programmers) for data analysis and scientific computing. This workshop is intended to bring together researchers from many different communities, including language designers, library developers, compiler researchers and practitioners who are working on numeric, array-centric aspects of programming languages, libraries and methodologies from all domains: imperative or declarative, object-oriented or not, interpreted or compiled, strongly typed, weakly typed or untyped. *************************************************************************** Keynote speakers: We are proud to announce two distinguished keynote speakers: Bradford Chamberlain Principal Engineer at Cray Inc, Seattle, USA Chief designer of the Chapel high productivity language Morten Kromberg User Experience Director (CXO) at Dyalog Ltd, Bramley, UK Commercial provider of APL interpreters, tools and services *************************************************************************** Focus: The aim of the ARRAY workshop series is to foster the cross-pollination of concepts across domains, projects and research communities and to explore new directions, such as: + Expanding the scope of array programming to encompass a wider range of data types and computations, + Transparently utilizing parallel hardware (multi-core, SIMD, GPU, FPGA) by leveraging the implicitly parallel semantics of array operations, + Simplifying the embedding of array constructs within existing languages which weren't designed for numerical computing, + Connections between array abstractions and other models such as dataflow programming, stream programming, and data parallelism, + High-level compilation and optimization techniques for array-oriented programs, + Compilers, virtual machines and frameworks for array-oriented programming languages. *************************************************************************** Important Dates: Paper submissions: Fri, Apr 11, 2016 (anywhere on earth) Notification of authors: Wed, Apr 27, 2016 Camera-ready copies due: Fri, May 27, 2016 (anywhere on earth) Workshop date: Tue, Jun 14, 2016 *************************************************************************** Submissions: Manuscripts may fall into one of the following categories: + research papers on any topic related to the focus of the workshop + tool descriptions reporting on a tool relevant to the workshop area Submissions should be 4-8 pages for research papers 4-6 pages for tool descriptions. In the case of a tool description the workshop presentation should include a demo of the tool, and the submission should include a short appendix summarizing the tool demo. This appendix is for the information of the PC only, and will not be part of the published paper, nor does it count into the six page limit. Clearly mark your submission as either a research paper or a tool description in the paper's subtitle. Submissions must be in PDF format printable in black and white on US Letter sized paper and interpretable by Ghostscript. Papers must adhere to the standard SIGPLAN conference format: two columns, nine-point font on a ten-point baseline, with columns 20pc (3.33in) wide and 54pc (9in) tall, with a column gutter of 2pc (0.33in). A suitable document template for LaTeX is available at http://www.sigplan.org/Resources/Author/. Papers must be submitted using EasyChair: https://easychair.org/conferences/?conf=array2016 As in previous years, accepted papers will be published in the ACM Digital Library. *************************************************************************** Keynote by Bradford Chamberlain: Lessons Learned in Array Programming: from ZPL to Chapel In this talk, I'll start by providing a review of array programming in ZPL, an academic data-parallel programming language developed at the University of Washington during the 1990's. I'll describe the strengths and weaknesses of ZPL's support for array computation and describe how the lessons we learned in the ZPL project influenced Chapel's design and its support for arrays and data parallelism. In doing so, I'll provide a glimpse into some of Chapel's main research challenges and contributions, including user-defined distributions, parallel zippered iteration, and mapping to contemporary processor architectures. In doing so, I'll also attempt to characterize what I view as the key distinctions between successful languages developed in academia versus industry based on my experiences with both ZPL and Chapel. *************************************************************************** Keynote by Morten Kromberg: Notation for Parallel Thoughts Since the original APL\360 interpreter saw the light of day in 1966, a large part of the of primitive functions in APL (A Programming Language) implicitly map operations to all elements of array arguments (and arrays of numbers or characters are the only ?types? available in the language). Over the decades, the parallelism at the core of the notation has been extended, to nested arrays in the 1980?s and arrays of objects in the 00?s. In this decade, arrays of futures have been added to provide users of APL with the ability to express asynchronous -? but deterministic -- algorithms. This talk will introduce the most important parallel constructs available in current Dyalog APL, which (despite the name) essentially remains an executable mathematical notation. *************************************************************************** Organizing Committee: Martin Elsman, University of Copenhagen (Chair) Clemens Grelck, University of Amsterdam (Chair) David Padua, University of Illinois at Urbana-Champaign Andreas Kl?ckner, University of Illinois at Urbana-Champaign *************************************************************************** Programme Committee: Robert Bernecky, Snake Island Research, Canada Martin Elsman, University of Copenhagen, Denmark (Chair) Clemens Grelck, University of Amsterdam, Netherlands (Chair) Laurie Hendren , McGill University, Canada Stephan Herhut, Google Inc, Denmark Gabriele Keller, University of New South Wales, Australia Andreas Kl?ckner, University of Illinois at Urbana-Champaign, USA (Chair) Hidehiko Masuhara, Tokyo Institute of Technology, Japan David Padua, University of Illinois at Urbana-Champaign, USA (Chair) Mary Sheeran, Chalmers University of Technology, Sweden Jan Vitek, Northeastern University, USA *************************************************************************** Travel Funding: Since ARRAY 2006 is sponsored by ACM SIGPLAN, presenters and authors of papers are eligible to apply for SIGPLAN PAC funding. *************************************************************************** -- ---------------------------------------------------------------------- Dr Clemens Grelck Science Park 904 University Lecturer 1098XH Amsterdam Netherlands University of Amsterdam Institute for Informatics T +31 (0) 20 525 8683 Computer Systems Architecture Group F +31 (0) 20 525 7490 Office C3.105 staff.fnwi.uva.nl/c.u.grelck ---------------------------------------------------------------------- From andrea.rosa at usi.ch Mon Apr 11 08:20:47 2016 From: andrea.rosa at usi.ch (Andrea Rosa) Date: Mon, 11 Apr 2016 08:20:47 +0000 Subject: [Haskell] JTRES 2016 Call for Papers Message-ID: ====================================================================== CALL FOR PAPERS The 14th Workshop on Java Technologies for Real-Time and Embedded Systems JTRES 2016 Part of the Managed Languages & Runtimes Week 2016 29 August - 2 September 2016 Lugano, Switzerland http://jtres2016.compute.dtu.dk/ ====================================================================== Submission deadline: 12 June, 2016 Submission site: https://easychair.org/conferences/?conf=jtres2016 ====================================================================== Over 90% of all microprocessors are now used for real-time and embedded applications. Embedded devices are deployed on a broad diversity of distinct processor architectures and operating systems. The application software for many embedded devices is custom tailored if not written entirely from scratch. The size of typical embedded system software applications is growing exponentially from year to year, with many of today's embedded systems comprised of multiple millions of lines of code. For all of these reasons, the software portability, reuse, and modular composability benefits offered by Java are especially valuable to developers of embedded systems. Both embedded and general-purpose software frequently need to comply with real-time constraints. Higher-level programming languages and middleware are needed to robustly and productively design, implement, compose, integrate, validate, and enforce memory and real-time constraints along with conventional functional requirements for reusable software components. The Java programming language has become an attractive choice because of its safety, productivity, its relatively low maintenance costs, and the availability of well-trained developers. ::Goal:: Interest in real-time Java by both the academic research community and commercial industry has been motivated by the need to manage the complexity and costs associated with continually expanding embedded real-time software systems. The goal of the workshop is to gather researchers working on real-time and embedded Java to identify the challenging problems that still need to be solved in order to assure the success of real-time Java as a technology and to report results and experience gained by researchers. The Java ecosystem has outgrown the combination of Java as programming language and the JVM. For example, Android uses Java as source language and the Dalvik virtual machine for execution. Languages such as Scala are compiled to Java bytecode and executed on the JVM. JTRES welcomes submissions that apply such approaches to embedded and/or real-time systems. ::Submission Requirements:: Participants are expected to submit a paper of at most 10 pages (ACM Conference Format, i.e., two-columns, 10 point font). Accepted papers will be published in the ACM International Conference Proceedings Series via the ACM Digital Library and have to be presented by one author at the JTRES. LaTeX and Word templates can be found at: http://www.acm.org/sigs/pubs/proceed/template.html Papers describing open source projects shall include a description how to obtain the source and how to run the experiments in the appendix. The source version for the published paper will be hosted at the JTRES web site. Papers should be submitted through EasyChair. Please use the submission link: https://easychair.org/conferences/?conf=jtres2016 Selected papers will be invited for submission to a special issue of the TBD. Topics of interest to this workshop include, but are not limited to: New real-time programming paradigms and language features Industrial experience and practitioner reports Open source solutions for real-time Java Real-time design patterns and programming idioms High-integrity and safety critical system support Java-based real-time operating systems and processors Extensions to the RTSJ and SCJ Real-time and embedded virtual machines and execution environments Memory management and real-time garbage collection Multiprocessor and distributed real-time Java Real-time solutions for Android Languages other than Java on real-time or embedded JVMs Benchmarks and Open Source applications using real-time Java ::Important Dates:: Paper Submission: 12 June, 2016 Notification of Acceptance: 20 July, 2016 Camera Ready Paper Due: 15 August, 2016 Workshop: 29 August - 2 September, 2016 ::Program Chair:: Martin Schoeberl, Technical University of Denmark ::Workshop Chair:: Walter Binder, University of Lugano (USI), Switzerland ::Program Committee Members:: Ethan Blanton, Fiji Systems Inc Ana Cavalcanti, University of York Peter Dibble, RTSJ M. Teresa Higuera-Toledano, Universidad Complutense de Madrid James Hunt, Aicas Stephan Korsholm, Via University College Doug Lea, SUNY Oswego Doug Locke, LC Systems Services Kelvin Nilsen Wolfgang Puffitsch, Technical University of Denmark Anders Ravn, Aalborg University Martin Schoeberl, Technical University of Denmark Fridtjof Siebert, Aicas Andy Wellings, University of York Lukasz Ziarek, SUNY Buffalo ------------ Andrea Ros? PhD student - Teaching assistant Faculty of Informatics - 2nd floor Universit? della Svizzera italiana (USI) Via G. Buffi 13 CH-6904 Lugano Switzerland (e) andrea.rosa at usi.ch (p) +41 58 666 4455 ext. 2183 (w) http://www.inf.usi.ch/phd/rosaa/ From P.Achten at cs.ru.nl Tue Apr 12 07:35:29 2016 From: P.Achten at cs.ru.nl (Peter Achten) Date: Tue, 12 Apr 2016 09:35:29 +0200 Subject: [Haskell] [TFP 2016] extended deadline, april 25 2016, final call for papers Message-ID: <570CA541.5030409@cs.ru.nl> TFP 2016 has extended its deadline for draft papers by two weeks (now April 25). Although all draft papers accepted to TFP 2016 will be invited to submit to the post-symposium formal proceedings, authors are reminded that they are not obligated to do so; we welcome works in progress that may not be destined for the TFP proceedings. Thanks, David Van Horn ----------------------------- C A L L F O R P A P E R S ----------------------------- ======== TFP 2016 =========== 17th Symposium on Trends in Functional Programming June 8-10, 2016 University of Maryland, College Park Near Washington, DC http://tfp2016.org/ 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). 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. TFP 2016 will be the main event of a pair of functional programming events. TFP 2016 will be accompanied by the International Workshop on Trends in Functional Programming in Education (TFPIE), which will take place on June 7nd. == INVITED SPEAKERS == TFP 2016 is pleased to announce keynote talks by the following two invited speakers: * Ronald Garcia, University of British Columbia: "Static and Dynamic Type Checking: A Synopsis" * Steve Zdancewic, University of Pennsylvania: "Type- and Example-Driven Program Synthesis" == HISTORY == The TFP symposium is the heir of the successful series of Scottish Functional Programming Workshops. Previous TFP symposia were held in * Edinburgh (Scotland) in 2003; * Munich (Germany) in 2004; * Tallinn (Estonia) in 2005; * Nottingham (UK) in 2006; * New York (USA) in 2007; * Nijmegen (The Netherlands) in 2008; * Komarno (Slovakia) in 2009; * Oklahoma (USA) in 2010; * Madrid (Spain) in 2011; * St. Andrews (UK) in 2012; * Provo (Utah, USA) in 2013; * Soesterberg (The Netherlands) in 2014; * and Inria Sophia-Antipolis (France) in 2015. For further general information about TFP please see the TFP homepage. (http://www.tifp.org/). == 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 2016 program chair, David Van Horn. == 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. == SPONSORS == TFP is financially supported by CyberPoint, Galois, Trail of Bits, and the University of Maryland Computer Science Department. == PAPER SUBMISSIONS == Acceptance of articles for presentation at the symposium is based on a lightweight peer review process of 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. We use EasyChair for the refereeing process. Papers must be submitted at: https://easychair.org/conferences/?conf=tfp2016 Papers must be written in English, and written using the LNCS style. For more information about formatting please consult the Springer LNCS web site: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 == IMPORTANT DATES == Submission of draft papers: April 25, 2016 Notification: May 2, 2016 Registration: May 13, 2016 TFP Symposium: June 8-10, 2016 Student papers feedback: June 14, 2016 Submission for formal review: July 14, 2016 Notification of acceptance: September 14, 2016 Camera ready paper: October 14, 2016 == PROGRAM COMMITTEE == Amal Ahmed Northeastern University (US) Nada Amin ?cole Polytechnique F?d?rale de Lausanne (CH) Kenichi Asai Ochanomizu University (JP) Ma?gorzata Biernacka University of Wroclaw (PL) Laura Castro University of A Coru?a (ES) Ravi Chugh University of Chicago (US) Silvia Ghilezan University of Novi Sad (SR) Clemens Grelck University of Amsterdam (NL) John Hughes Chalmers University of Technology (SE) Suresh Jagannathan Purdue University (US) Pieter Koopman Radboud University Nijmegen (NL) Geoffrey Mainland Drexel University (US) Chris Martens University of California, Santa Cruz (US) Jay McCarthy University of Massachusetts, Lowell (US) Heather Miller ?cole Polytechnique F?d?rale de Lausanne (CH) Manuel Serrano INRIA, Sophia-Antipolis (FR) Scott Smith Johns Hopkins University (US) ?ric Tanter University of Chile (CL) David Van Horn (Chair) University of Maryland (US) Niki Vazou University of California, San Diego (US) Stephanie Weirich University of Pennsylvania (US) From jpeterson at western.edu Tue Apr 12 22:15:20 2016 From: jpeterson at western.edu (John Peterson) Date: Tue, 12 Apr 2016 22:15:20 +0000 Subject: [Haskell] Paul Hudak Memorial Symposium Message-ID: <882cdfdbae2c496a9caae2f4ec4b152d@mail.wsc.western.edu> On behalf of the Yale Computer Science department, I'd like to announce a symposium in memory of Paul Hudak that will take place at Yale on April 29 and 30. Friday will feature technical presentations by Paul's colleagues and students, including John Hughes, Phil Wadler, Walid Taha, and Bob Keller. There will be a reception with Paul's family that evening. On Saturday, John Hughes and I will reprise our retrospective of Paul's career. Yale will be showing off their research after this presentation. Full details are here: http://haskell.cs.yale.edu/paul-hudak-symposium/ Please register if you plan to attend. John -------------- next part -------------- An HTML attachment was scrubbed... URL: From v.dijk.bas at gmail.com Wed Apr 13 10:43:17 2016 From: v.dijk.bas at gmail.com (Bas van Dijk) Date: Wed, 13 Apr 2016 12:43:17 +0200 Subject: [Haskell] LumiGuide is hiring Message-ID: Dear Haskellers, We're hiring a Haskell engineer to join our software engineering team. LumiGuide develops parking guidance systems for cars and bicycles. Our technology is based on optical detection techniques (Computer Vision). A nice example of one of our projects is the P-route Bicycle in Utrecht City. Functional Programming is used extensively at LumiGuide. Haskell, GHCJS and the Nix stack (Nix, NixOS, hydra and nixops) are some of the technologies we're using. I recently gave a talk at the Dutch Functional Programming Day that highlights some of the products and tools we're developing. We're looking for an experienced Haskell developer who wants to join our team full-time and will work from our office in Nijmegen, The Netherlands. As one of the first engineers you'll have a big impact on the culture and the technological direction of the company. If you're interested, please send a mail to bas at lumiguide.nl and tell me a bit about your experience (previous jobs, open source projects, things that you made that you're proud of, etc.). Best Regards, Bas van Dijk CTO LumiGuide -------------- next part -------------- An HTML attachment was scrubbed... URL: From andrea.rosa at usi.ch Mon Apr 18 08:32:21 2016 From: andrea.rosa at usi.ch (Andrea Rosa) Date: Mon, 18 Apr 2016 08:32:21 +0000 Subject: [Haskell] JTRES 2016 Call for Papers Message-ID: ====================================================================== CALL FOR PAPERS The 14th Workshop on Java Technologies for Real-Time and Embedded Systems JTRES 2016 Part of the Managed Languages & Runtimes Week 2016 29 August - 2 September 2016 Lugano, Switzerland http://jtres2016.compute.dtu.dk/ ====================================================================== Submission deadline: 12 June, 2016 Submission site: https://easychair.org/conferences/?conf=jtres2016 ====================================================================== Over 90% of all microprocessors are now used for real-time and embedded applications. Embedded devices are deployed on a broad diversity of distinct processor architectures and operating systems. The application software for many embedded devices is custom tailored if not written entirely from scratch. The size of typical embedded system software applications is growing exponentially from year to year, with many of today's embedded systems comprised of multiple millions of lines of code. For all of these reasons, the software portability, reuse, and modular composability benefits offered by Java are especially valuable to developers of embedded systems. Both embedded and general-purpose software frequently need to comply with real-time constraints. Higher-level programming languages and middleware are needed to robustly and productively design, implement, compose, integrate, validate, and enforce memory and real-time constraints along with conventional functional requirements for reusable software components. The Java programming language has become an attractive choice because of its safety, productivity, its relatively low maintenance costs, and the availability of well-trained developers. ::Goal:: Interest in real-time Java by both the academic research community and commercial industry has been motivated by the need to manage the complexity and costs associated with continually expanding embedded real-time software systems. The goal of the workshop is to gather researchers working on real-time and embedded Java to identify the challenging problems that still need to be solved in order to assure the success of real-time Java as a technology and to report results and experience gained by researchers. The Java ecosystem has outgrown the combination of Java as programming language and the JVM. For example, Android uses Java as source language and the Dalvik virtual machine for execution. Languages such as Scala are compiled to Java bytecode and executed on the JVM. JTRES welcomes submissions that apply such approaches to embedded and/or real-time systems. ::Submission Requirements:: Participants are expected to submit a paper of at most 10 pages (ACM Conference Format, i.e., two-columns, 10 point font). Accepted papers will be published in the ACM International Conference Proceedings Series via the ACM Digital Library and have to be presented by one author at the JTRES. LaTeX and Word templates can be found at: http://www.acm.org/sigs/pubs/proceed/template.html Papers describing open source projects shall include a description how to obtain the source and how to run the experiments in the appendix. The source version for the published paper will be hosted at the JTRES web site. Papers should be submitted through EasyChair. Please use the submission link: https://easychair.org/conferences/?conf=jtres2016 Selected papers will be invited for submission to a special issue of the TBD. Topics of interest to this workshop include, but are not limited to: New real-time programming paradigms and language features Industrial experience and practitioner reports Open source solutions for real-time Java Real-time design patterns and programming idioms High-integrity and safety critical system support Java-based real-time operating systems and processors Extensions to the RTSJ and SCJ Real-time and embedded virtual machines and execution environments Memory management and real-time garbage collection Multiprocessor and distributed real-time Java Real-time solutions for Android Languages other than Java on real-time or embedded JVMs Benchmarks and Open Source applications using real-time Java ::Important Dates:: Paper Submission: 12 June, 2016 Notification of Acceptance: 20 July, 2016 Camera Ready Paper Due: 15 August, 2016 Workshop: 29 August - 2 September, 2016 ::Program Chair:: Martin Schoeberl, Technical University of Denmark ::Workshop Chair:: Walter Binder, University of Lugano (USI), Switzerland ::Program Committee Members:: Ethan Blanton, Fiji Systems Inc Ana Cavalcanti, University of York Peter Dibble, RTSJ M. Teresa Higuera-Toledano, Universidad Complutense de Madrid James Hunt, Aicas Stephan Korsholm, Via University College Doug Lea, SUNY Oswego Doug Locke, LC Systems Services Kelvin Nilsen Wolfgang Puffitsch, Technical University of Denmark Anders Ravn, Aalborg University Martin Schoeberl, Technical University of Denmark Fridtjof Siebert, Aicas Andy Wellings, University of York Lukasz Ziarek, SUNY Buffalo ------------ Andrea Ros? PhD student - Teaching assistant Faculty of Informatics - 2nd floor Universit? della Svizzera italiana (USI) Via G. Buffi 13 CH-6904 Lugano Switzerland (e) andrea.rosa at usi.ch (p) +41 58 666 4455 ext. 2183 (w) http://www.inf.usi.ch/phd/rosaa/ From sperber at deinprogramm.de Tue Apr 19 14:30:53 2016 From: sperber at deinprogramm.de (Michael Sperber) Date: Tue, 19 Apr 2016 16:30:53 +0200 Subject: [Haskell] Functional Art, Music, Modelling and Design 2016: 2nd Call For Papers Message-ID: 4th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design Co-located with ICFP Nara, Japan, 24 September, 2016 Call for Papers and Demos The ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design (FARM) gathers together people who are harnessing functional techniques in the pursuit of creativity and expression. Functional Programming has emerged as a mainstream software development paradigm, and its artistic and creative use is booming. A growing number of software toolkits, frameworks and environments for art, music and design now employ functional programming languages and techniques. FARM is a forum for exploration and critical evaluation of these developments, for example to consider potential benefits of greater consistency, tersity, and closer mapping to a problem domain. FARM encourages submissions from across art, craft and design, including textiles, visual art, music, 3D sculpture, animation, GUIs, video games, 3D printing and architectural models, choreography, poetry, and even VLSI layouts, GPU configurations, or mechanical engineering designs. Theoretical foundations, language design, implementation issues, and applications in industry or the arts are all within the scope of the workshop. The language used need not be purely functional ("mostly functional" is fine), and may be manifested as a domain specific language or tool. Moreover, submissions focusing on questions or issues about the use of functional programming are within the scope. We welcome submissions from academic, professional, and independent programmers and artists. Submissions are invited in three categories: 1) Original papers We solicit original papers in the following categories: * original research * overview / state of the art * technology tutorial All submissions must propose an original contribution to the FARM theme. FARM 2016 is an interdisciplinary conference, so a wide range of approaches are encouraged. An original paper should have 5 to 12 pages, be in portable document format (PDF), using the ACM SIGPLAN style guidelines and use the ACM SIGPLAN template (http://www.sigplan.org/Resources/Author/). Accepted papers will be published in the ACM Digital Library as part of the FARM 2016 proceedings. See http://authors.acm.org/main.cfm for information on the options available to authors. Authors are encouraged to submit auxiliary material for publication along with their paper (source code, data, videos, images, etc.); authors retain all rights to the auxiliary material. 2) Demo proposals Demo proposals should describe a demonstration to be given at the FARM workshop and its context, connecting it with the themes of FARM. A demo could be in the form of a short (10-20 minute) tutorial, presentation of work-in-progress, an exhibition of some work, or even a performance. Demo proposals should be in plain text, HTML or Markdown format, and not exceed 2000 words. A demo proposal should be clearly marked as such, by prepending `Demo Proposal:` to the title. Demo proposals will be published on the FARM website. A summary of the demo performances will also be published as part of the conference proceedings, to be prepared by the program chair. 3) Calls for collaboration Calls for collaboration should describe a need for technology or expertise related to the FARM theme. Examples may include but are not restricted to: * art projects in need of realization * existing software or hardware that may benefit from functional programming * unfinished projects in need of inspiration Calls for collaboration should be in plain text, HTML or Markdown format, and not exceed 5000 words. A call for collaboration should be clearly marked as such, by prepending `Call for Collaboration:` to the title. Calls for collaboration will be published on the FARM website. AUTHORS TAKE NOTE: The official publication date 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 your conference. The official publication date affects the deadline for any patent filings related to published work. If you have any questions about what type of contributions that might be suitable, or anything else regarding submission or the workshop itself, please contact the organizers at: farm-2016 at functional-art.org All presentations at FARM 2016 will be recorded. Permission to publish the resulting video (in all probability on YouTube, along with the videos of ICFP itself and the other ICFP-colocated events) will be requested on-site. Key Dates: Submission deadline - June 24 Author Notification - 15 July Camera Ready - 31 July Workshop - September 24, 2016 Submit at : https://easychair.org/conferences/?conf=farm2016 From johnw at newartisans.com Thu Apr 21 19:43:49 2016 From: johnw at newartisans.com (John Wiegley) Date: Thu, 21 Apr 2016 12:43:49 -0700 Subject: [Haskell] ANN: New Haskell.org committee members Message-ID: The Haskell.org committee has selected its new member following the March self-nomination period. The new (returning) member is: * Gershom Bazerman Thank you to everyone who submitted a self-nomination. Note that if you have self-nominated in the past, but not been picked, please self-nominate again in the future. -- John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F http://newartisans.com 60E1 46C4 BD1A 7AC1 4BA2 -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 629 bytes Desc: not available URL: From breitner at kit.edu Fri Apr 22 11:21:16 2016 From: breitner at kit.edu (Joachim Breitner) Date: Fri, 22 Apr 2016 13:21:16 +0200 Subject: [Haskell] Haskell in Leipzig 2016: Call for Papers Message-ID: <1461324076.3807.18.camel@kit.edu> ?????????????????????????????Haskell in Leipzig ????????????????????????????September 14-15, 2016 ????????????????????????????HTKW Leipzig, Germany ?????????????????????????http://hal2016.haskell.org/ == About HaL == The workshop series ?Haskell in Leipzig?, now in its 11th year, brings together Haskell developers, Haskell researchers, Haskell enthusiasts and Haskell beginners to listen to talks, take part in tutorials, and join in interesting conversations. Everything related to Haskell is on topic, whether it is about current research, practical applications, interesting ideas off the beaten track, education, or art, and topics may extend to functional programming in general and its connections to other programming paradigms as well. This year, HaL is colocated with two related conferences, ?* the Workshop on Functional and (Constraint) Logic Programming (WFLP) and ?* the Workshop on (Constraint) Logic Programming (WLP), to form the Leipzig Week of Declarative Programming (L-DEC): ????http://nfa.imn.htwk-leipzig.de/LDEC2016/ In order to accommodate and welcome a more international audience, this year?s HaL will be held in English. == Submissions == Contributions can take the form of ?* talks (about 30 minutes), ?* tutorials (about 90 minutes), ?* demonstrations, artistic performances, or other extraordinary things. Please submit an abstract that describes the content and form of your presentation, the intended audience, and required previous knowledge. We recommend a length of 2 pages, so that the PC and the audience get a good idea of your submission, but this is not a hard requirement. You can submit your abstract, as an PDF document, at ???https://easychair.org/conferences/?conf=hal2016 until Friday, July 1, 2016. You will be notified by July 15, 2016. == Program committee == ?* Andreas Abel, Chalmers and Gothenburg University, Sweden ?* Heinrich Apfelmus, Leipzig, Germany ?* Joachim Breitner, Karlsruhe Institute of Technology, Germany (Chair) ?* Matthias Fischmann, Zerobuzz, Germany ?* Petra Hofstedt, BTU Cottbus-Senftenberg, Germany ?* Wolfgang Jeltsch, Institute of Cybernetics at Tallinn University of Technology, Estonia ?* Andres L?h, Well-Typed LLP, Germany ?* Alejandro Serrano Mena, Universiteit Utrecht, Netherlands ?* Neil Mitchell, Standard Chartered Bank, UK ?* Katie Ots, Facebook, UK ?* Peter Stadler, University of Leipzig, Germany ?* Henning Thielemann, Freelancer, Germany ?* Niki Vazou, University of California, San Diego, USA If you have any questions, please don?t hesitate to contact Joachim Breitner . -- Dipl.-Math. Dipl.-Inform. Joachim Breitner Wissenschaftlicher Mitarbeiter http://pp.ipd.kit.edu/~breitner -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 819 bytes Desc: This is a digitally signed message part URL: From francygazz at gmail.com Fri Apr 22 15:08:51 2016 From: francygazz at gmail.com (Francesco Gazzetta) Date: Fri, 22 Apr 2016 17:08:51 +0200 Subject: [Haskell] =?utf-8?q?ANN=3A_shine_and_shine-varying=3A_Lightweight?= =?utf-8?q?_declarative_2D_graphics_=C3=A0_la_gloss_using_GHCJS_=28?= =?utf-8?q?and_a_FRP_interface=29?= Message-ID: Shine wraps JavaScript?s drawing functions in a declarative API, hiding the boilerplate canvas code. The API mimics the one provided by gloss (Picture, animate, play?), but some types are different to better adapt to js code (ex. images, fonts, inputs). Example: main = runWebGUI $ \ webView -> do ctx <- fixedSizeCanvas webView 800 600 let concentricCircles = foldMap Circle [1,10..100] draw ctx concentricCircles -- one-shot drawing The only direct dependency is ghcjs-dom, so the resulting jsexe should be relatively lightweight. I also wrote shine-varying, a FRP interface to shine in terms of Vars plus some utility Vars. Example (translation of the resize-yogi Elm example): resizeImage img (x',y') = Translate (x/2) (y/2) -- Pictures are centered on (0,0), so we need to move it $ Image (Stretched x y) img -- Scale the picture to the given position where x = fromIntegral x' -- mousePosition is Integral y = fromIntegral y' main = runWebGUI $ \ webView -> do ctx <- fixedSizeCanvas webView 1024 768 Just doc <- webViewGetDomDocument webView narwhal <- makeImage "https://wiki.haskell.org/wikiupload/8/85/NarleyYeeaaahh.jpg" let resizedNarwhal = resizeImage narwhal <$> mousePosition playVarying ctx doc 30 resizedNarwhal I plan to write/port a few simple games with it soon. Francesco ? -------------- next part -------------- An HTML attachment was scrubbed... URL: From dom.orchard at gmail.com Fri Apr 22 16:51:05 2016 From: dom.orchard at gmail.com (Dominic Orchard) Date: Fri, 22 Apr 2016 17:51:05 +0100 Subject: [Haskell] JLAMP special issue for PLACES Message-ID: <571A5679.80900@gmail.com> -------------------------------- Call for papers: Special Issue of JLAMP for PLACES (Programming Language Approaches to Concurrency and Communication-cEntric Software) -------------------------------- Submission deadline: July 29th 2016 -------------------------------- http://www.journals.elsevier.com/journal-of-logical-and-algebraic-methods-in-programming/call-for-papers/special-issue-on-programming-language-approaches/ -------------------------------- This special issue of the Journal of Logical and Algebraic Methods in Programming (JLAMP) is devoted to the topics of the 9th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2016), which took place in April 2016 in Eindhoven as part of ETAPS. This is however an *open call* for papers, therefore both participants of the workshop and other authors are encouraged to submit their contributions. Themes: Modern hardware platforms, from the very small to the very large, increasingly provide parallel computing resources for applications to maximise performance. Many applications therefore need to make effective use of tens, hundreds, and even thousands of compute nodes. Computation in such systems is thus inherently concurrent and communication centric. Effectively programming such applications is challenging; performance, correctness, and scalability are difficult to achieve. Submissions are invited in the area of programming language approaches to concurrency, communication and distribution, ranging from foundational issues, through language implementations, to applications (such as scientific computing) and case studies. Please visit the above website for more detailed topics of interest. Submission: We expect original articles (roughly 20-30 pages) that present high-quality contributions that have not been previously published in another journal and that must not be simultaneously submitted for publication elsewhere. Longer papers will be considered if there is a clear justification for why additional pages are necessary; authors should contact the guest editors to discuss this. Each paper will undergo a thorough evaluation by at least two reviewers. The authors will have about one month to incorporate the comments of the reviewers and submit a revised version of their papers, which will be evaluated again by the reviewers to make a final decision. Contributions should be typeset in PDF format and must comply with JLAMP's author guidelines (see website for details). Submission deadline: 29th July 2016 Final decision due in: Jan 2017 (planned) Guest Editors: Dominic Orchard, University of Cambridge, dominic.orchard at cl.cam.ac.uk Nobuko Yoshida, Imperial College London, UK, n.yoshida at imperial.ac.uk -------------- next part -------------- An HTML attachment was scrubbed... URL: From kathleen.fisher at gmail.com Mon Apr 25 20:35:24 2016 From: kathleen.fisher at gmail.com (Kathleen Fisher) Date: Mon, 25 Apr 2016 16:35:24 -0400 Subject: [Haskell] Postdoc ad: Domain-specific languages Message-ID: <02441DB9-3A8E-4389-8505-34EC610678BB@gmail.com> The Programming Language Group at Tufts University seeks applicants for a postdoctoral position on a new project that will focus on building tools to construct first-class embedded Domain-Specific Language. As computing has taken on a larger role in many areas of science, there is an increasing need to provide experts in those domains with effective programming tools. Domain-specific programming languages (DSLs) are appealing because they allow domain experts to write programs using familiar concepts and abstractions. The problem is that implementing a new programming language -- including all the expected support tools, such as editors, type checkers, compilers, profilers, and debuggers -- is a substantial undertaking. The goal of this project is to develop a system for building embedded domain-specific languages, including the full chain of support tools. Embedded DSLs (EDLSs) are convenient for language designers because they can inherit the infrastructure of the host language: syntax, type system, libraries, debugging support, etc. However, the experience of the domain user is less than ideal: error messages, debugging, and profiling all work at the level of the host language, not the DSL. In this project, we envision a different way of defining EDSLs, in which the language designers define the syntax, typing rules, and semantics of their language in a declarative fashion and then the system generates an implementation of the language and tool support, including a parser, a type checker, an interpreter, an optimizing compiler, a proof that the compiler and interpreter correctly implement the semantics, a debugger, a profiler, and other useful tools. The initial work on the project will be done in the context of Haskell. The position is funded for two and half years (ending summer of 2017) starting immediately. The start date is negotiable, but all else equal we prefer to hire someone sooner rather than later. Salary is competitive. Work will be carried out at the main Tufts campus in Medford, MA. QUALIFICATIONS The selected applicant will work closely with Professors Kathleen Fisher and Sam Guyer as well as with graduate and undergraduate students. He or she will be expected to take a leadership role in the project, helping to formulate research directions and coordinate the activities of PhD, Masters and Undergraduate students. Applicants are required to either have a PhD or to be about to receive one. We are looking for someone with a strong background in at least one of the domains relating to the project: language design and implementation, compilers, formal specification and verification, type systems, and runtime systems (including memory management, debugging, and profiling). An explicit goal of the project is to produce working tools in addition to writing research papers, so we are looking for applicants with a track record of building software and writing papers. Applicants are expected to have good communication and organization skills. APPLICATION INSTRUCTIONS Interested candidates should apply through Interfolio at https://apply.interfolio.com/34187. An application should include (a) a cover letter explaining your interest in the position, (b) a current CV or resume, and (c) at least two letters of reference. If you have any questions about the project or whether it is a good fit for you, please contact either Sam Guyer (sguyer at cs.tufts.edu) or Kathleen Fisher (kfisher at cs.tufts.edu). From erlangworkshop at gmail.com Tue Apr 26 09:45:06 2016 From: erlangworkshop at gmail.com (Erlang Workshop) Date: Tue, 26 Apr 2016 11:45:06 +0200 Subject: [Haskell] [ANN] Erlang Workshop 2016 - CFP Message-ID: <571F38A2.30705@gmail.com> Apologies for any duplicates you may receive. CALL FOR PAPERS =============== Fifteenth ACM SIGPLAN Erlang Workshop ------------------------------ ----------------------------- Nara, Japan, September 23, 2016 Satellite event of the 21st ACM SIGPLAN International Conference on Functional Programming (ICFP 2016) September 18-24, 2016 The Erlang Workshop aims to bring together the open source, academic, and industrial communities of Erlang, to discuss technologies and languages related to Erlang. The Erlang model of concurrent programming has been widely emulated, for example by Akka in Scala, and even new programming languages were designed atop of the Erlang VM, such as Elixir. Therefore we would like to broaden the scope of the workshop to include systems like those mentioned above. The workshop will enable participants to familiarize themselves with recent developments on new techniques and tools, novel applications, draw lessons from users' experiences and identify research problems and common areas relevant to the practice of Erlang, Erlang-like languages, functional programming, distribution, concurrency etc. We invite three types of submissions. 1. Technical papers describing interesting contributions either in theoretical work or real world applications. Submission related to Erlang, Elixir, Akka, CloudHaskell, Occam, and functional programming are welcome and encouraged. Topics of interest include (but are not limited to): - virtual machine extensions and compilation techniques - implementations and interfaces of Erlang in/with other languages - new tools (profilers, tracers, debuggers, testing frameworks etc.) - language extensions - formal semantics, correctness and verification - testing Erlang programs - program analysis and transformation - Erlang-like languages and technologies - functional languages and multi-processing - concurrency in functional languages - functional languages and distributed computing - parallel programming - pattern based programming - Erlang in education The maximum length for technical papers is restricted to 12 pages. 2. Experience reports describing uses of Erlang in the "real-world", Erlang libraries for specific tasks, experiences from using Erlang in specific application domains, reusable programming idioms and elegant new ways of using Erlang to approach or solve a particular problem. The maximum length for the experience report is restricted to 2 pages. 3. Poster presentations describing topics related to the workshop goals. Each includes a maximum of 2 pages of the abstract and summary. Presentations in this category will be given an hour of shared simultaneous demonstration time. Workshop Co-Chairs ------------------ Melinda T?th, E?tv?s Lor?nd University, Hungary Scott Lystig Fritchie, Basho Japan KK Program Committee ----------------------------- (Note: the Workshop Co-Chairs are also committee members) Jamie Allen, Typesafe Laura M. Castro, University of A Coru?a, Spain Natalia Chechina, University of Glasgow Viktoria F?rd?s, Erlang Solutions Yosuke Hara, Rakuten, Inc. Kenji Rikitake, KRPEO Bruce Tate, iCanMakeItBetter Simon Thompson, University of Kent, UK Important Dates ----------------------- Submissions due: Friday, 3 June, 2016 Author notification: Friday, 8 July, 2016 Final copy due: Sunday, 31 July, 2016 Workshop date: September 23, 2016 Instructions to authors -------------------------------- Papers must be submitted online via EasyChair (via the "Erlang2016" event). The submission page is https://www.easychair.org/conferences/?conf=erlang2016 Submitted papers should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines. Each submission must adhere to SIGPLAN's republication policy. Violation risks summary rejection of the offending submission. Accepted papers will be published by the ACM and will appear in the ACM Digital Library. Paper submissions will be considered for poster submission in the case they are not accepted as full papers. Venue & Registration Details ------------------------------------------ For registration, please see the ICFP 2016 web site at: http://conf.researchr.org/home/icfp-2016 Related Links -------------------- CFP: http://conf.researchr.org/track/icfp-2016/erlang-2016-papers ICFP 2016 web site: http://conf.researchr.org/home/icfp-2016 Past ACM SIGPLAN Erlang workshops: http://www.erlang.org/workshop/ Open Source Erlang: http://www.erlang.org/ EasyChair submission site: https://www.easychair.org/conferences/?conf=erlang2016 Author Information for SIGPLAN Conferences: http://www.sigplan.org/authorInformation.htm Atendee Information for SIGPLAN Events: http://www.sigplan.org/Resources/Policies/Anti-harassment -------------- next part -------------- An HTML attachment was scrubbed... URL: From gershomb at gmail.com Wed Apr 27 21:10:04 2016 From: gershomb at gmail.com (Gershom B) Date: Wed, 27 Apr 2016 17:10:04 -0400 Subject: [Haskell] Summer of Haskell - Now Accepting Applications! Message-ID: (Note: I am posting this on behalf of Edward Kmett who has spotty availability at the moment) We've posted an official Summer of Haskell website: https://summer.haskell.org/ It contains the full timeline for the program this summer, and most importantly, a form for submitting student applications, also linked here: https://docs.google.com/forms/d/1JLIa58u7AcWN31bH_LcCBujN9uzAwfd3HxrT32qz9_g/viewform The student application period ends next Friday, May 6. Last year we had a very successful project brainstorming thread. This led to our largest and most successful Summer of Code, ever. There is a thread on reddit now devoted to the purpose of further brainstorming for this year: https://www.reddit.com/r/haskell/comments/4gh1tu/summer_of_haskell_now_accepting_applications/ If you have a proposal that you think a student could make a good dent in over the course of a summer, especially one with broad impact on the community, please feel free to discuss it there. If you are a potential student, please feel free to skim the proposals for ideas, or put forth ones of your own! If you are a potential mentor, please feel free to comment on proposals that interest you, put forth ideas looking for students and express your interest, to help us pair up potential students with potential mentors. Ultimately, the project proposals that are submitted get written by students, but if we can give a good sense of direction for what the community wants out of the summer, we can improve the quality of proposals, and we can recruit good mentors to work with good students on good projects. Resources: We have a wiki on https://ghc.haskell.org/trac/summer-of-code/ It is, of course, a Wiki, so if you see something out of order, take a whack at fixing it. We have an active #haskell-gsoc channel on irc.freenode.net that we run throughout the summer. Potential mentors and students alike are welcome. We have a Trac full of suggested Google Summer of Code proposals both current and from years past, but it could use a whole lot of eyeballs and an infusion of fresh ideas: https://ghc.haskell.org/trac/summer-of-code/report/1 Many of our best proposals in years have come from lists of project suggestions that others have blogged about. Many of our best students decided to join the summer of code based on these posts. The Trac isn't the only source of information on interesting projects, and I'd encourage folks to continue posting their ideas. If you or your employer would be interested in helping to fund additional students, please feel free to reach out to me. Thank you, -Edward Kmett From hvr at gnu.org Thu Apr 28 19:29:21 2016 From: hvr at gnu.org (Herbert Valerio Riedel) Date: Thu, 28 Apr 2016 21:29:21 +0200 Subject: [Haskell] ANN: Haskell Prime 2020 committee has formed Message-ID: <87wpnhilbi.fsf@gmail.com> Dear Haskell Community! Some time ago I asked for nominations to reboot the Haskell Prime process[1], and now I'm pleased to finally announce the formation of the new Haskell Language 2020 Committee! The goal of the Haskell Language committee together with the Core Libraries Committee is to work towards a new Haskell 2020 Language Report. I'd like to remind everyone that the Haskell Prime Process[4] relies on *everyone* in the community to help by contributing proposals which the committee will then evaluate and if suitable help formalise for inclusion. Everyone interested in participating is also invited to join the haskell-prime mailing list. Four years (or rather ~3.5 years) from now may seem like a long time. However, given the magnitude of the task at hand, to discuss, formalise, and implement proposed extensions (taking into account the recently enacted three-release-policy[3]) to the Haskell Report, the process shouldn't be rushed. Consequently, this may even turn out to be a tight schedule after all. However, it's not excluded there may be an interim revision of the Haskell Report before 2020. Based on this schedule, GHC 8.8 (likely to be released early 2020) would be the first GHC release to feature Haskell 2020 compliance. Prior GHC releases may be able to provide varying degree of conformance to drafts of the upcoming Haskell 2020 Report. The Haskell Language 2020 committee starts out with 20 members which contribute a diversified skill-set. These initial members also represent the Haskell community from the perspective of practitioners, implementers, educators, and researchers. - Andres L?h - Antonio Nikishaev - Austin Seipp - Carlos Camarao de Figueiredo - Carter Schonwald - David Luposchainsky - Henk-Jan van Tuyl - Henrik Nilsson - Herbert Valerio Riedel - Iavor Diatchki - John Wiegley - Jos? Manuel Calder?n Trilla - Jurriaan Hage - Lennart Augustsson - M Farkas-Dyck - Mario Bla?evi? - Nicolas Wu - Richard Eisenberg - Vitaly Bragilevsky - Wren Romano The Haskell 2020 committee is a language committee; it will focus its efforts on specifying the Haskell language itself. Responsibility for the libraries laid out in the Report is left to the Core Libraries Committee (CLC)[5]. Incidentally, the CLC still has an available seat[2]; if you would like to contribute to the Haskell 2020 Core Libraries you are encouraged to apply for this opening. As this is a general announcement broadcasted to multiple mailing lists, a separate email discussing the next steps of the new committee will be sent to the haskell-prime mailing list shortly. [1]: https://mail.haskell.org/pipermail/haskell-prime/2015-September/003936.html [2]: https://mail.haskell.org/pipermail/libraries/2015-November/026497.html [3]: https://prime.haskell.org/wiki/Libraries/3-Release-Policy [4]: https://prime.haskell.org/wiki/Process [5]: https://prime.haskell.org/wiki/Libraries -- hvr -------------- next part -------------- A non-text attachment was scrubbed... Name: not available Type: application/pgp-signature Size: 818 bytes Desc: not available URL: From Y.Lin at hw.ac.uk Fri Apr 29 08:42:52 2016 From: Y.Lin at hw.ac.uk (Lin, Yuhui) Date: Fri, 29 Apr 2016 08:42:52 +0000 Subject: [Haskell] Final Call for Papers: Special Issue of the SCP on Automated Verification of Critical Systems Message-ID: <2285F1E6-EBB4-4B96-A6E8-B3A3D6620EE1@hw.ac.uk> Final Call for Papers (*** submission deadline in 3 weeks!!! ***) Science of Computer Programming Special Issue on Automated Verification of Critical Systems Guest editors: Gudmund Grov & Andrew Ireland Submission deadline: 20 May 2016 Notification: 31 August 2016 This special issue is devoted to the 15th international workshop on Automated Verification of Critical Systems (AVoCS 2015): https://sites.google.com/site/avocs15/ The aim of AVoCS is to contribute to the interaction and exchange of ideas among members of the international research community on tools and techniques for the verification of critical systems. These topics are to be interpreted broadly and inclusively. It covers all aspects of automated verification, and typical (but not exclusive) topics of interest are: - Model Checking - Automatic and Interactive Theorem Proving - SAT, SMT or Constraint Solving for Verification - Abstract Interpretation - Specification and Refinement - Requirements Capture and Analysis - Verification of Software and Hardware - Specification and Verification of Fault Tolerance and Resilience - Probabilistic and Real-Time Systems - Dependable Systems - Verified System Development - Industrial Applications Submission to this special issue is open. We expect original articles (typically 20-30 pages) that present high-quality contributions, have not been previously published in an archival venue and that must not be simultaneously submitted for publication elsewhere. Submissions must be written in English and comply with SCP's author guidelines http://www.elsevier.com/wps/find/journaldescription.cws_home/505623/authorinstructions Submission is over the SCP website: http://ees.elsevier.com/scico/default.asp which you will have to register for if you do not have an account. When submitting your paper please choose the article type "Special issue: AVoCS 2015". Please send any queries you may have to Gudmund Grov (G.Grov at hw.ac.uk) From manuel.hermenegildo at imdea.org Sat Apr 30 14:57:15 2016 From: manuel.hermenegildo at imdea.org (Manuel Hermenegildo) Date: Sat, 30 Apr 2016 16:57:15 +0200 Subject: [Haskell] LOPSTR 2016 Call for Papers Message-ID: <22308.51147.998226.161880@dhcp-17-8.imdea> ====================================================================== LOPSTR 2016: 1st Call for Papers ====================================================================== 26th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2016 http://cliplab.org/Conferences/LOPSTR16/ Edinburgh, UK, September 6-8, 2016 (co-located with PPDP 2016 and SAS 2016) ====================================================================== DEADLINES: Abstract submission: June 7, 2016 Paper/Extended abstract submission: June 14, 2016 ====================================================================== The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers. The 26th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2016) will be held at the University of Edinburgh, Edinburgh, UK; previous symposia were held in Siena, Canterbury, Madrid, Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve, and Manchester. LOPSTR 2016 will be co-located with PPDP 2016 (International Symposium on Principles and Practice of Declarative Programming) and SAS 2016 (Static Analysis Symposium). Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. Both full papers and extended abstracts describing applications in these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to: * synthesis * transformation * specialization * composition * optimization * inversion * specification * analysis and verification * testing and certification * program and model manipulation * transformational techniques in SE * applications and tools Survey papers that present some aspects of the above topics from a new perspective, and application papers that describe experience with industrial applications are also welcome. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Important Dates Abstract submission: June 7, 2016 Paper/Extended abstract submission: June 14, 2016 Notification: August 3, 2016 Camera-ready (for electronic pre-proceedings): August 19, 2016 Symposium: September 6-8, 2016 Submission Guidelines Authors should submit an electronic copy of the paper (written in English) in PDF, formatted in the Lecture Notes in Computer Science style. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords which will be used to assist the PC in selecting appropriate reviewers for the paper. Page numbers (and, if possible, line numbers) should appear on the manuscript to help the reviewers in writing their report. Submissions cannot exceed 15 pages including references but excluding well-marked appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. Papers should be submitted via the Easychair submission website for LOPSTR 2016: http://www.easychair.org/conferences/?conf=lopstr2016 (can be accessed also through the LOPSTR 2016 web site). Proceedings The formal post-conference proceedings will be published by Springer in the Lecture Notes in Computer Science series. Full papers can be directly accepted for publication in the formal proceedings, or accepted only for presentation at the symposium and inclusion in informal proceedings. After the symposium, all authors of extended abstracts and full papers accepted only for presentation will be invited to revise and/or extend their submissions in the light of the feedback solicited at the symposium. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings. Program Committee Slim Abdennadher, German University of Cairo, Egypt Maria Alpuente, Universitat Politecnica de Valencia, Spain Sergio Antoy, Portland State University, USA Michael Codish, Ben-Gurion University of the Negev, Israel Jerome Feret, CNRS/ENS/INRIA Paris, France. Fabio Fioravanti, University of Chieti - Pescara, Italy. Maurizio Gabbrielli, University of Bologna, Italy Maria Garcia de la Banda, Monash University, Australia Robert Glueck, University of Copenhagen, Denmark. Miguel Gomez-Zamalloa, Complutense University of Madrid, Spain Gopal Gupta, University of Texas at Dallas, USA Patricia Hill, Univ. of Leeds, UK Jacob Howe, City University London, UK Viktor Kuncak , EPFL Lausanne, Switzerland Michael Leuschel, University of Duesseldorf, Germany Heiko Mantel TU Darmstadt, Germany Jorge A. Navas, NASA, USA Naoki Nishida, Nagoya University, Japan Catuscia Palamidessi, INRIA Saclay and LIX, France C.R. Ramakrishnan, SUNY Stony Brook, USA Vitor Santos Costa, Universidade do Porto, Portugal Hirohisa Seki, Nagoya Institute of Technology, Japan Peter Schneider-Kamp, University of Southern Denmark, Denmark Program Chairs Manuel Hermenegildo, IMDEA Software Institute and T.U. Madrid (UPM) Pedro Lopez-Garcia, IMDEA Software Institute and CSIC Organizing Committee James Cheney (University of Edinburgh, Local Organizer) Moreno Falaschi (University of Siena, Italy) -----------------------------------------------------------------------------