- Haskell - Haskell.org

Haskell development role at Standard Chartered in London
by Don Stewart 16 Mar '15

16 Mar '15

The Strats team at Standard Chartered has an open position for a typed functional programming developer to join the team in London. This is a “front office” finance role – meaning you will work on the trading floor, directly with traders, building software to automate their work and improve their efficiency. The role is highly development focused, and you will use Haskell for almost all tasks: data analysis, market data publishing, database access, web services, desktop GUIs, large parallel tasks, quantitative models, solvers, everything. This is a fast paced role – code you write today will be deployed within hours to hundreds of users and has to work. More details are in the full posting here: https://donsbot.wordpress.com/2015/03/16/haskell-development-role-in-strats…

1 0

CFP: GPCE 2015, 14th International Conference on Generative Programming: Concepts & Experiences, Pittsburgh, Oct. 26/27, 2015
by Tomofumi Yuki 10 Mar '15

10 Mar '15

------------------------------------------------------------- ACM SIGPLAN GPCE 2015 14th International Conference on Generative Programming: Concepts & Experiences Oct 26-27, 2015, Pittsburgh, PA, USA http://conf.researchr.org/home/gpce2015 Co-located with: ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH 2015) and ACM SIGPLAN 8th International Conference on Software Language Engineering (SLE) 2015 ----------------------------------------------------------------- IMPORTANT DATES Abstract submission : June 8, 2015 Full paper submission : June 15, 2015 Authors notification : July 24, 2015 Camera-ready : Aug 7, 2015 Conference : Oct 26-27, 2015 Workshops: Handled by SPLASH All dates are Anywhere on Earth ----------------------------------------------------------------- SCOPE GPCE is a venue for researchers and practitioners interested in techniques that use program generation, domain-specific languages, and component deployment to increase programmer productivity, improve software quality, and shorten the time-to-market of software products. In addition to exploring cutting-edge techniques of generative software, our goal is to foster further cross-fertilization between the software engineering and the programming languages research communities. ----------------------------------------------------------------- TOPICS OF INTEREST GPCE seeks contributions on all topics related to generative software and its properties. Topics of interest include, but are not limited to: Generative software * Domain-specific languages (language extension, language embedding, language design, language theory, language workbenches, interpreters, compilers) * Product lines (domain engineering, feature-oriented and aspect-oriented programming, pre-processors, feature interactions) * Metaprogramming (reflection, staging, partial evaluation), Type systems, Program synthesis * Implementation techniques and tool support (components, plug-ins, libraries, metaprogramming, macros, templates, generic programming, run-time code generation, model-driven development, composition tools, code-completion and code-recommendation systems) Practical Applications and Empirical evaluations * Empirical evaluations of all topics above (user studies, substantial case studies, controlled experiments, surveys, rigorous measurements) * Application areas and engineering practice (Cloud Computing, Internet of Things, Cyber Physical Systems, Mobile Computing, Software Defined Networking, High Performance Computing, Patterns and Middleware, Development methods) Properties of generative software * Correctness of generators and generated code (analysis, testing, formal methods, domain-specific error messages, safety, security) * Reuse and evolution * Modularity, separation of concerns, understandability, and maintainability * Performance engineering, nonfunctional properties (program optimization and parallelization, GPGPUs, multicore, footprint, metrics) We particularly welcome papers that address some of the key challenges in the field, such as, * synthesizing code from declarative specifications * supporting extensible languages and language embedding * ensuring correctness and other nonfunctional properties of generated code * proving generators correct * improving error reporting with domain-specific error messages * reasoning about generators * handling variability-induced complexity in product lines * providing efficient interpreters and execution languages * human factors in developing and maintaining generators GPCE encourages submissions about empirical evaluations and applications of generative software, and such papers will be given special consideration during reviewing. ----------------------------------------------------------------- SUBMISSION GUIDELINES Research papers: 10 pages maximum (ACM SIGPLAN style) Research papers should report on original and unpublished results of theoretical, empirical, conceptual, or experimental research that contribute to scientific knowledge in the areas listed above (the PC chair can advise on appropriateness) Tool demos and short papers: 4 pages maximum (ACM SIGPLAN style). The goal of short papers is to promote current work on research and practice. Short papers represent an early communication of research and do not always require complete results as in the case of a full paper. In this way, authors can introduce new ideas to the community, discuss ideas and get early feedback. Please note that short papers are not intended to be position statements. Short papers are included in the proceedings and will be presented with a shorter time slot at the conference. Tool demonstrations should present tools that implement generative techniques, and are available for use. Any of the GPCE topics of interest are appropriate areas for tool demonstrations, although purely commercial tool demonstrations will not be accepted. Submissions must provide a tool description of 4 pages in SIGPLAN proceedings style (see above) and a demonstration outline including screenshots of up to 4 pages. Tool demonstrations must have the words "Tool Demo" or "Tool Demonstration" in the title, possibly appended in parenthesis. The 4-page tool description will, if the demonstration is accepted, be published in the proceedings. ----------------------------------------------------------------- ORGANIZERS GENERAL CHAIR Christian Kastner, Carnegie Mellon University, Pittsburgh, PA, USA PROGRAM COMMITTEE CHAIR Aniruddha Gokhale, Vanderbilt University, Nashville, TN, USA PUBLICITY CO-CHAIRS Faruk Caglar, Vanderbilt University, Nashville, TN, USA Tomofumi Yuki, INRIA Rhone-Alpes, France PROGRAM COMMITTEE (TO BE COMPLETED) Kenichi Asai, Ochanomizu Univ, Japan Emilie Balland, INRIA Bordeaux, France Don Batory, Univ of Texas, USA Walter Binder, Univ of Lugano, Switzerland Jan Bosch, Chalmers Univ, Sweden Akshay Dabholkar, Oracle, USA Ewen Denney, NASA Ames, USA Katrina Falkner, Univ of Adelaide, Australia Bernd Fischer, Stellenbosch Univ, South Africa Matthew Flatt, Univ of Utah, USA Jeff Gray, Univ of Alabama, USA Michael Haupt, Oracle Labs, Germany James Hill, Indiana Univ Purdue Univ at Indianapolis, USA Young-Woo Kwon, Utah State Univ, USA Raffaela Mirandola, Politechnico di Milano, Italy Hridesh Rajan, Iowa State Univ, USA Laurent Reveillere, LaBRI, Univ of Bordeaux, France Marcio Ribeiro, Federal Univ of Alagoas, Brazil Tiark Rompf, Purdue Univ, USA Klaus Schmid, Stiftung Universitat Hildesheim, Germany Norbert Siegmund, Univ of Passau, Germany Yannis Smaragdakis, Univ of Athens, Greece Sumant Tambe, RTI Inc, USA Petr Tuma, Charles Univ, Czech Republic Nalini Venkatasubramanian, Univ of California, Irvine, USA Jules White, Vanderbilt Univ, USA Eric Wohlstadter, Univ of British Columbia, Canada

1 0

SPLASH 2015: 2nd Call for Contributions: OOPSLA, Onward!, Workshops, Dynamic Languages Symposium
by Craig Anslow 09 Mar '15

09 Mar '15

/************************************************************************************/ ACM Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH'15) Pittsburgh, Pennsylvania, USA 25th-30th October, 2015 http://www.splashcon.org<http://www.splashcon.org/> Sponsored by ACM SIGPLAN /************************************************************************************/ COMBINED CALL FOR CONTRIBUTIONS OOPSLA Onward! Workshops Dynamic Languages Symposium (DLS) /************************************************************************************/ The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) embraces all aspects of software construction and delivery to make it the premier conference at the intersection of programming, languages, and software engineering. SPLASH is now accepting submissions. We invite high quality submissions describing original and unpublished work. ** OOPSLA Research Papers ** Papers that address any aspect of software development are welcome, including requirements, modeling, prototyping, design, implementation, generation, analysis, verification, testing, evaluation, maintenance, reuse, replacement, and retirement of software systems. Papers may address these topics in a variety of ways, including new tools (such as languages, program analyses, and runtime systems), new techniques (such as methodologies, design processes, code organization approaches, and management techniques), and new evaluations (such as formalisms and proofs, corpora analyses, user studies, and surveys). Submissions Due: 25 March, 2015 http://2015.splashcon.org/track/oopsla2015 ** Onward! Research Papers ** Onward! is a premier multidisciplinary conference focused on everything to do with programming and software: including processes, methods, languages, communities, and applications. Onward! is more radical, more visionary, and more open than other conferences to ideas that are well-argued but not yet proven. We welcome different ways of thinking about, approaching, and reporting on programming language and software engineering research. Submissions Due: 2 April, 2015 http://2015.splashcon.org/track/onward2015-papers ** Onward! Essays ** Onward! Essays is looking for clear and compelling pieces of writing about topics important to the software community. An essay can be an exploration of a topic, its impact, or the circumstances of its creation; it can present a personal view of what is, explore a terrain, or lead the reader in an act of discovery; it can be a philosophical digression or a deep analysis. It can describe a personal journey, perhaps that by which the author reached an understanding of such a topic. The subject area should be interpreted broadly and can include the relationship of software to human endeavors, or its philosophical, sociological, psychological, historical, or anthropological underpinnings. Submissions Due: 2 April, 2015 http://2015.splashcon.org/track/onward2015-essays ** Workshops ** The SPLASH Workshops track will host a variety of high-quality workshops, allowing their participants to meet and discuss research questions with peers, to mature new and exciting ideas, and to build up communities and start new collaborations. SPLASH workshops complement the main tracks of the conference and provide meetings in a smaller and more specialized setting. Workshops cultivate new ideas and concepts for the future, optionally recorded in formal proceedings. Early Phase Submissions Due: 25 March, 2015 Late Phase Submissions Due: 30 June, 2015 http://2015.splashcon.org/track/splash2015-workshops ** Dynamic Languages Symposium (DLS) ** DLS is the premier forum for researchers and practitioners to share knowledge and research on dynamic languages, their implementation, and applications. The influence of dynamic languages — from Lisp to Smalltalk to Python to Javascript — on real-world practice, and research, continues to grow. We invite high quality papers reporting original research, innovative contributions, or experience related to dynamic languages, their implementation, and applications. Submissions Due: 7 June, 2015 http://2015.splashcon.org/track/dls2015-papers ** Co-Located Events ** 8th International ACM SIGPLAN Conference on Software Language Engineering (SLE) Submissions Due: 15 June, 2015 http://conf.researchr.org/home/sle2015 14th International Conference on Generative Programming: Concepts & Experiences (GPCE) Submissions Due: 15 June, 2015 http://conf.researchr.org/home/gpce2015 22nd International Conference on Pattern Languages of Programming (PLoP) Submissions Due: 4 May, 2015 http://conf.researchr.org/home/plop2015 15th Symposium on Database Programming Languages (DBPL) Submissions Due: 10 June, 2015 http://conf.researchr.org/home/dbpl-2015 Information: SPLASH Early Registration Deadline: 25 September, 2015 Contact: info(a)splashcon.org<mailto:info@splashcon.org> Website: http://2015.splashcon.org<http://2015.splashcon.org/> Location: Sheraton Station Square Hotel Pittsburgh, Pennsylvania, United States Organization: SPLASH General Chair: Jonathan Aldrich (Carnegie Mellon University) OOPSLA Papers Chair: Patrick Eugster (Purdue University) Onward! Papers Chair: Gail Murphy (University of British Columbia) Onward! Essays Chair: Guy Steele (Oracle Labs) DLS Papers Chair: Manuel Serrano (INRIA) Artifact Evaluation Co-Chairs: Robby Findler (Northwestern University) and Michael Hind (IBM Research) Demos Co-Chairs: Igor Peshansky (Google) and Pietro Ferrara (IBM Research) Inspirations Co-Chairs: Darya Kurilova (Carnegie Mellon University), Zach Tatlock (University of Washington), and Crista Lopes (UC Irvine) Local Arrangements Chair: Claire Le Goues (Carnegie Mellon University) Posters Chair: Nick Sumner (Simon Fraser University) Publications Chair: Alex Potanin (Victoria University of Wellington) Publicity and Web Co-Chairs: Craig Anslow (University of Calgary) and Tijs van der Storm (CWI) SPLASH-E Chair: Eli Tilevich (Virginia Tech) SPLASH-I Co-Chairs: Tijs van der Storm (CWI) and Jan Vitek (Northeastern University) Sponsorship Chair: Tony Hosking (Purdue University) Student Research Competition Co-Chairs: Sam Guyer (Tufts University) and Patrick Lam (University of Waterloo) Student Volunteer Co-Chairs: Jonathan Bell (Columbia University) and Daco Harkes (TU Delft) Wavefront Co-Chairs: Dennis Mancl (Alcatel-Lucent) Web Technology Chair: Eelco Visser (TU Delft) Workshops Co-Chairs: Du Li (Carnegie Mellon University) and Jan Rellermeyer (IBM Research) SLE General Chair: Richard Paige (University of York) GPCE General Chair: Christian Kästner (Carnegie Mellon University) PLoP General Chair: Filipe Correia (University of Porto) DBPL General Chairs: James Cheney (University of Edinburgh) and Thomas Neumann (TU Munich) /************************************************************************************/

1 0

ARRAY'15 Call for Papers
by Mary Sheeran 09 Mar '15

09 Mar '15

ARRAY 15: ACM SIGPLAN 2nd International Workshop on Libraries, Languages and Compilers for Array Programming Saturday June 13th (whole day) Sunday June 14th (morning) Co-located with PLDI 2015, Portland, Oregon, USA http://www.sable.mcgill.ca/array/ This is the second instance of a new international workshop on Libraries, Languages and Compilers for Array Programming. The workshop aims to bring together the various groups (including functional programmers) that work on array programming. Papers from readers of this mailing list would be very welcome. The deadline for submission of four to six-page research or tool papers is March 23rd 2015, with notification on April 20th. Note the SIGPLAN sponsorship and the fact that students can apply for SIGPLAN PAC funding. It will be a fun workshop! For more information see http://www.sable.mcgill.ca/array/ and think about submitting! Mary Sheeran (with Laurie Hendren (Chair), Hidehiko Masuhara and Jan Vitek)

1 0

IIT’15, IEEE Sponsored, Dubai (01-03 Nov 2015), Call for Papers, Tutorials & Workshops Proposals, Students Posters
by Leila Fayez Ismail 09 Mar '15

09 Mar '15

Dear Colleagues, Apologies if you receive multiple copies of this CFP. Call for Papers, Submission deadline: 30 May 2015 Submission of Organizing Workshops Proposals: Extended to 15 March 2015 2015 11th International Conference on Innovations in Information Technology (IIT'15) November 01-03, 2015, Dubai, UAE. Conference website: http://www.it-innovations.ae/ Please feel free to distribute the IIT'15 CFP to your colleagues, students and networks. IIT'15 is technically sponsored by IEEE Computer Society. Proceedings will be published by IEEE Computer Society Conference Publication Services, and will be submitted for publication in Computer Society Digital Library indexed in IEEE Xplore digital library, and all other global indices. Selected papers from IIT'15 will be invited for possible publications in special issues of journals. Extended papers will be published in a Springer Book. IIT’15 brings together leading innovators in Research & Development and Entrepreneurs in IT from around the world. The latest advances in fields from traditional computer science to evolving smart applications and technologies are explored in IIT’15 conference tracks. IIT’15 is an excellent opportunity to present theoretical, experimental as well as visionary research on various IT topics. The themes of IIT’15 are "Smart Living Cities, Big Data and Sustainable Development" and all the technologies that are required to provide better living conditions in the cities of tomorrow. This theme will be reflected by a number of tracks which focus on different aspects of related technologies such as big data and cloud computing, collaborative platforms, communication infrastructures, smart health, smart learning, social participation, sustainable development and energy management. All of those themes will be brought together by unifying invited high quality keynotes and panels. CONFERENCE TRACKS/THEMES Topics of interest include but not limited to the following major tracks/themes. Research papers are invited but not limited to the following areas: Track A: Innovations in Information and Communication Infrastructures - Advanced Network Technologies, Heterogeneous networks, and Real Time Networks - Quality of Services - Next Generation of Mobile Networks - Ad-Hoc and Sensor Networks, Wireless Networks - Distributed Systems, Grid Computing - Smart Grid - Mobility Management and Mobile computing - Information and Cyber Security for Smart Living Spaces Track B: Internet of Things (IoT) ICT Architecture for IoT - System design, Modeling and Simulation - Grid Computing , and Cloud Computing - Real-Time Systems for IoT, Autonomic Systems - Security, Privacy, Trust and Reliability - Software Design and Development of IoT-Based Applications - Intelligent Data Processing - Smart Appliances & Wearable Computing Devices Track C: Smart Collaborative Platforms and Logistics Agile Information Systems - Design, Modeling and Simulation of Collaborative Applications - Practice and Experiences of Collaborative Applications - Risk Management, Smart Business - Middleware Support for Collaboration - Real-Time Information Sharing and Interaction - AI and Decision-Support Systems Track D: Big Data and Smart Applications - Big Data Analytics and Algorithms - High Performance Computing and Real-Time of Big Data Processing - Big Data Storage and Distribution - Data Mining - Grid Computing and Cloud Computing - Middleware for Smart Applications - e-Health, Smart Learning, Intelligent Processing and Intelligent Applications Track E: Cyber-Physical Energy Systems - Theory, Tools and Applications - System Design, Modeling and Simulation - Testbeds and Experiences - Algorithms for Energy Efficiency - Middleware - Design and Development of Protocols for Sustainable energy - Design and Development of Secure and Resilient Systems SUBMISSIONS IIT'15 seeks original manuscripts (of up to 6 pages maximum in IEEE two-column format) describing research in all aspects of IT that contribute to the conference themes. Papers submitted to the conference should present original work that has not been previously published or is currently under review by other conferences or journals. All papers will be peer reviewed, and authors of accepted papers are expected to present their work at the conference. Submissions of tutorial, special session, and workshop proposals are also welcome. The submission guidelines are available at http://www.it-innovations.ae/iit2015/Authors.html. Paper submission should be done through http://www.edas.info IMPORTANT DATES Papers and Posters Submission 30 May 2015 Submission of Tutorials 30 May 2015 Notification of Papers and Posters 15 July 2015 Notification for Tutorials 15 July 2015 Submission of Organizing Workshops Proposals 01 March 2015 (Extended to 15 March 2015) Notification for Organizing Workshops Proposals 15 March 2015 (Extended to 22 March 2015) Final Camera-Ready Paper 01 September 2015 ------- Call for Tutorials http://www.it-innovations.ae/iit2015/cftutorials.html Tutorial Submission IIT’15 seeks 2-3 hour long tutorials which can address an audience of senior undergraduate students, graduate students and researchers. The tutorials will be open to all registered attendees free of charge. We seek proposals across a wide range of interesting topics related to the theme of the main conference including (but not limited to): · Next Generation Mobile and Wireless Networks · Smart Grid and Cyber Physical Systems · Green Technologies, Communications and Software · Information and Cyber Security for Smart Living Spaces · Internet of Things · Smart Appliances & Wearable Computing Devices · Design, Modeling and Simulation of Collaborative Applications · Real-Time Information Sharing and Interaction · Big Data Analytics and Algorithms · Cloud Computing · High Performance Computing · Middleware for Smart Applications and Platforms · e-Health and Bioinformatics · Smart Transportation Systems Tutorial proposals can be submitted via the conference management system (https://edas.info/) should be 2-3 pages and must include: · A 500 word summary. · Targeted audience. · Justification/motivation behind the proposed topic. · A short biography of the presenter (one only), and previous lecture and tutorial experience. · If the tutorial was given before, indicate when and where it was given and how it will be modified for IIT’15. ------- Call for Workshop Proposals http://www.it-innovations.ae/iit2015/cfworkshops.html Workshops Submission The IIT’15 organizing committee invites proposals for workshops within the main theme of the conference and its related areas. Workshops are intended to mainly cover research being done within the academic and professional community on new ideas with the focus on new experiences and case studies. All accepted workshop papers will be included as part of the proceedings based on the main conference paper submission regulations and will be subject to the same review policy. However, submission and reviewing of the papers will be managed by the workshops organizers utilizing the conference management system. Workshop proposals should include: · Title of the workshop. · A 500 word summary of the workshop · Full contact details of workshop organizers (maximum three), expected number of paper submissions. · Objectives of the workshop; why it is important and how it is relevant to IIT’15. · A draft Call for paper of the workshop with deadlines and list of TPC members. · If the workshop was conducted before, when and where it was conducted and statistics on the number of attendees and the acceptance ratio. · A short bio of the workshop organizers and past experiences in organizing workshops, seminars, or research meetings. Up to two of each workshop organizers will be granted free IIT’15 registration for one paper each provided that their organized workshop has more than 10 registered papers. Workshop proposals must be no more than 5 pages in length and submission should be made to EDAS: https://edas.info/ ------- Call for Students Posters URL: http://www.it-innovations.ae/iit2015/posters.html We look forward to welcoming you in Dubai at IIT'15 in November 2015. On behalf of the IIT'15 Organizing Committee --- Dr. Leila Ismail, IIT'15 Chair Founder & Director to High Performance & Grid/Cloud Computing Research Lab College of IT, UAE University 17551, Al-Maqam, Al-Ain, UAE Email: leila(a)uaeu.ac.ae Tel.: +971-3-7135530 Mobile: +971-50-8311059 Fax : +971-3-7672018 http://fit.uaeu.ac.ae/en/academic_tracks_programs/int/profile.shtml?email=l… http://citweb.uaeu.ac.ae/citweb/profile/leila http://hpgcl.fit.uaeu.ac.ae/ Disclaimer:"The content of this email together with any attachments, statements and opinions expressed herein contains information that is confidential in nature and intended for the named addressee(s) only. If you are not the addressee of this email or you have received this message in error please notify the sender and delete the message and any associated files from your system, you have no right to copy, print, distribute or use this email or any of its attachments, or permit or disclose its contents to any other party in any way, except with the prior approval of the sender. In case of breach of what has been explained above, you will be held legally accountable." تنبيه: "إن محتوى هذا البريد الإلكتروني مع أي مرفقات والبيانات والآراء الواردة في هذه الوثيقة يحتوي على معلومات تعتبر سرية بطبيعتها وتستهدف المرسل اسمه (ق) فقط إذا لم تكن المرسل إليه من هذه الرسالة أو كنت قد تلقيت هذا. في رسالة الخطأ، الرجاء إبلاغ المرسل وحذف الرسالة وأية ملفات مرتبطة من النظام الخاص بك، ليس لديك الحق في نسخ أو طباعتها أو توزيعها أو استخدام هذا البريد الالكتروني أو أي من ملحقاته، أو السماح أو الكشف عن محتوياته إلى أي طرف آخر في بأي حال من الأحوال، إلا بموافقة مسبقة من المرسل، وفي حالة خرق ما سبق بيانه أعلاه، سوف تعقد لك مساءلة قانونيا" . www.uaeu.ac.ae<http://www.uaeu.ac.ae>

1 0

ANNOUNCE: fgl 5.5.1.0
by Ivan Lazar Miljenovic 09 Mar '15

09 Mar '15

I'm pleased to announce that - after being pestered about it for the past few months ;-) - I've released a new version of the Functional Graph Library that should* now be compatible with GHC 7.10. fgl is now developed on GitHub: https://github.com/haskell/fgl * In that I can't test it on my own machines -- Ivan Lazar Miljenovic Ivan.Miljenovic(a)gmail.com http://IvanMiljenovic.wordpress.com

1 0

Haskell.org Committee Financial Statement 2014
by Gershom B 08 Mar '15

08 Mar '15

Dear Haskellers, The Haskell.org Committee [1] manages funds for haskell.org and oversees haskell.org infrastructure. The funds available to Haskell.org generally come from two sources: 1) Mentor payments from the Google Summer of Code program. 2) Since the end of 2013, occasional donations [2] from the Haskell community at large. Our funds are held by Software in the Public Interest, a 501(c)3 US non-profit, through which we also accept donations. In return for its services, SPI receives 5% of donations to Haskell.org. According to our charter, "Each year, the committee will post a statement of the haskell.org assets, and the transactions for that year.” We apologize for having been delinquent in this regard. Included in this message is a brief statement of Haskell.org assets over the period 31 December 2013 - 31 December 2014, as well as an approximate breakdown of expenses. The statements we receive from the SPI are not in the most usable format [3], and we hope to provide more accurate accounting in the future. Note that this statement does not reflect 2014 GSoC income, as that had not posted as of 31 December 2014. Thus the fact that we are in the black this year is entirely due to your generous donations. Thank you all so much! 1. Income and Expenses Total income over 2014: 5,187.00 Total expenses over 2014: 2,523.22 ---- Net income over 2014: 2,663.78 2. Expense breakdown Approximate monthly hosting fees (Hetzner): 160.00 Total approximate hosting fees: 1920.00 Other approximate expenses: 603.22 (Other expenses consist of A] payment processing fees for received funds and B] the 5% of donated funds transferred to the SPI). 3. Total Balance Balance as of 31 December 2013: 23,759.13 Balance as of 31 December 2014: 26,422.91 [1] https://wiki.haskell.org/Haskell.org_committee [2] https://wiki.haskell.org/Donate_to_Haskell.org [3] Those wishing to examine further for themselves can find the reports posted to the spi-general list: http://lists.spi-inc.org/pipermail/spi-general/ Best, Gershom Bazerman for the Haskell.org Committee

1 0

APLAS 2015: Call for Papers
by Xinyu Feng 05 Mar '15

05 Mar '15

********************************************************************* APLAS 2015, Call for Papers 13th Asian Symposium on Programming Languages and Systems Pohang, Korea, November 30 - December 2, 2015 < http://pl.postech.ac.kr/aplas2015/> ********************************************************************* *IMPORTANT DATES* Submission deadline: June 5, 2015 Author notification: August 17, 2015 Conference: November 30 - December 2, 2015 *INVITED SPEAKERS* Peter O'Hearn, Facebook Sukyoung Ryu, KAIST Eran Yahav, Technion Hongseok Yang, University of Oxford *ABOUT* APLAS aims to stimulate programming language research by providing a forum for the presentation of latest results and the exchange of ideas in programming languages and systems. APLAS is based in Asia, but is an international forum that serves the worldwide programming language community. APLAS is sponsored by the Asian Association for Foundation of Software (AAFS), founded by Asian researchers in cooperation with many researchers from Europe and the USA. Past APLAS symposiums were successfully held in Singapore ('14), Melbourne ('13), Kyoto ('12), Kenting ('11), Shanghai ('10), Seoul ('09), Bangalore ('08), Singapore ('07), Sydney ('06), Tsukuba ('05), Taipei ('04) and Beijing ('03) after three informal workshops. Proceedings of the past symposiums were published in Springer's LNCS. *TOPICS* The symposium is devoted to foundational and practical issues in programming languages and systems. Papers are solicited on topics such as * semantics, logics, foundational theory * design of languages, type systems and foundational calculi * domain-specific languages * compilers, interpreters, abstract machines * program derivation, synthesis and transformation * program analysis, verification, model-checking * logic, constraint, probabilistic and quantum programming * software security * concurrency and parallelism * tools and environments for programming and implementation Topics are not limited to those discussed in previous symposiums. Papers identifying future directions of programming and those addressing the rapid changes of the underlying computing platforms are especially welcome. Demonstration of systems and tools in the scope of APLAS are welcome to the System and Tool presentations category. Authors concerned about the appropriateness of a topic are welcome to consult with program chair prior to submission. *SUBMISSION* We solicit submissions in two categories: a) Regular research papers - describing original scientific research results, including tool development and case studies. Regular research papers should not exceed 18 pages in the Springer LNCS format, including bibliography and figures. They should clearly identify what has been accomplished and why it is significant. Submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity. In case of lack of space, proofs, experimental results, or any information supporting the technical results of the paper could be provided as an appendix or a link to a web page, but reviewers are not obliged to read them. b) System and tool presentations - describing systems or tools that support theory, program construction, reasoning, or program execution in the scope of APLAS. System and Tool presentations are expected to be centered around a demonstration. The paper and the demonstration should identify the novelties of the tools and use motivating examples. System and Tool papers should not exceed 8 pages in the Springer LNCS format, including bibliography and figures. Submissions will be judged based on both the papers and the described systems or tools. It is highly desirable that the tools are available on the web. Submitted papers must be unpublished and not submitted for publication elsewhere. Papers must be written in English. The proceedings will be published as a volume in Springer's LNCS series. Accepted papers must be presented at the conference. *ORGANIZERS* General Chair: Sungwoo Park (Pohang Univ. of Science and Technology (POSTECH), Korea) Program Chair: Xinyu Feng (Univ. of Science and Technology of China, China) Program Committee: James Brotherston (Univ. College London, UK) James Cheney (Univ. of Edinburgh, UK) Huimin Cui (Institute of Computing Technology, CAS, China) Mike Dodds (Univ. of York, UK) Xinyu Feng (Univ. of Science and Technology of China, China) Nate Foster (Cornell Univ., USA) Alexey Gotsman (IMDEA Software Institute, Spain) Aquinas Hobor (School of Computing, National Univ. of Singapore / Yale-NUS College) Chung-Kil Hur (Seoul National Univ., Korea) Radha Jagadeesan (DePaul Univ., USA) Annie Liu (Stony Brook Univ., USA) Andreas Lochbihler (ETH Zurich, Switzerland) Santosh Nagarakatte (Rutgers Univ., USA) David A. Naumann (Stevens Inst. of Tech., USA) Michael Norrish (NICTA, Australia) Hakjoo Oh (Seoul National Univ., Korea) Murali Krishna Ramanathan (Indian Institute of Science, India) Xavier Rival (CNRS / ENS / INRIA, France) Kohei Suenaga (Kyoto Univ., Japan) Gang Tan (Lehigh Univ., USA) Alwen Tiu (Nanyang Technological University, Singapore) Martin Vechev (ETH Zurich, Switzerland) Bow-Yaw Wang (Academia Sinica, Taiwan) Nobuko Yoshida (Imperial College London, UK) Lijun Zhang (Institute of Software, CAS, China)

1 0

CFP: Workshop on Generic Programming 2015 - Deadline May 15
by Sebastian Erdweg 05 Mar '15

05 Mar '15

====================================================================== CALL FOR PAPERS WGP 2015 11th ACM SIGPLAN Workshop on Generic Programming Vancouver, Canada Sunday, August 30, 2015 http://www.wgp-sigplan.org/2015 Co-located with the International Conference on Functional Programming (ICFP 2015) ====================================================================== Goals of the workshop --------------------- Generic programming is about making programs more adaptable by making them more general. Generic programs often embody non-traditional kinds of polymorphism; ordinary programs are obtained from them by suitably instantiating their parameters. In contrast with normal programs, the parameters of a generic program are often quite rich in structure; for example they may be other programs, types or type constructors, class hierarchies, or even programming paradigms. Generic programming techniques have always been of interest, both to practitioners and to theoreticians, and, for at least 20 years, generic programming techniques have been a specific focus of research in the functional and object-oriented programming communities. Generic programming has gradually spread to more and more mainstream languages, and today is widely used in industry. This workshop brings together leading researchers and practitioners in generic programming from around the world, and features papers capturing the state of the art in this important area. We welcome contributions on all aspects, theoretical as well as practical, of * generic programming, * programming with (C++) concepts, * meta-programming, * programming with type classes, * programming with modules, * programming with dependent types, * type systems for generic programming, * polytypic programming, * adaptive object-oriented programming, * component-based programming, * strategic programming, * aspect-oriented programming, * family polymorphism, * object-oriented generic programming, * implementation of generic programming languages, * static and dynamic analyses of generic programs, * and so on. Program Committee ----------------- * Patrick Bahr (co-chair), University of Copenhagen * Sebastian Erdweg (co-chair), Technical University of Darmstadt * Edwin Brady, University of St Andrews * Edsko de Vries, Well-Typed LLP * Mauro Jaskelioff, National University of Rosario * Johan Jeuring, Utrecht University * Pieter Koopman, Radboud University Nijmegen * Bruno C. d. S. Oliveira, University of Hong Kong * Nicolas Pouillard, IT University of Copenhagen * Sukyoung Ryu, Korea Advanced Institute of Science and Technology * Sibylle Schupp, Hamburg University of Technology * Sam Tobin-Hochstadt, Indiana University Proceedings and Copyright ------------------------- We plan to have formal proceedings, published by the ACM. Accepted papers will be included in the ACM Digital Library. Authors must grant ACM publication rights upon acceptance (http://authors.acm.org/main.html) but may retain copyright if they wish. Authors are encouraged to publish auxiliary material with their paper (source code, test data, and so forth). The proceedings will be freely available for download from the ACM Digital Library from one week before the start of the conference until two weeks after the conference. Submission details ------------------ * Submission deadline: Fri, 15th May 2015 * Author notification: Fri, 26th June 2015 * Final version due: Sun, 19th July 2015 * Workshop: Sun, 30th August 2015 Submitted papers should fall into one of two categories: * Regular research papers (12 pages) * Short papers: case studies, tool demos, generic pearls (6 pages) Regular research papers are expected to present novel and interesting research results. Short papers need not present novel or fully polished results. Good candidates for short papers are those that report on interesting case studies of generic programming in open source or industry, present demos of generic programming tools or libraries, or discuss elegant and illustrative uses of generic programming ('pearls'). All submissions should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines (two-column, 9pt). Regular research papers must not exceed 12 pages. Short papers must not exceed 6 pages. If applicable, papers should be marked with one of the labels 'case study, 'tool demo' or 'generic pearl' in the title at the time of submission. Papers should be submitted via HotCRP at https://icfp-wgp15.hotcrp.com/ Travel Support -------------- Student attendees with accepted papers can apply for a SIGPLAN PAC grant to help cover travel expenses. PAC also offers other support, such as for child-care expenses during the meeting or for travel costs for companions of SIGPLAN members with physical disabilities, as well as for travel from locations outside of North America and Europe. For details on the PAC program, see its web page (http://www.sigplan.org/PAC.htm) History of the Workshop on Generic Programming ---------------------------------------------- Earlier Workshops on Generic Programming have been held in * Gothenburg, Sweden 2014 (affiliated with ICFP), * Boston, Massachusetts, US 2013 (affiliated with ICFP), * Copenhagen, Denmark 2012 (affiliated with ICFP), * Tokyo, Japan 2011 (affiliated with ICFP), * Baltimore, Maryland, US 2010 (affiliated with ICFP), * Edinburgh, UK 2009 (affiliated with ICFP), * Victoria, BC, Canada 2008 (affiliated with ICFP), * Portland 2006 (affiliated with ICFP), * Ponte de Lima 2000 (affiliated with MPC), * Marstrand 1998 (affiliated with MPC). Furthermore, there were a few informal workshops * Utrecht 2005 (informal workshop), * Dagstuhl 2002 (IFIP WG2.1 Working Conference), * Nottingham 2001 (informal workshop). There were also (closely related) DGP workshops in Oxford (June 3-4 2004), and a Spring School on DGP in Nottingham (April 24-27 2006, which had a half-day workshop attached). WGP Steering Committee ---------------------- * Andres Löh * Ronald Garcia * Jacques Carette * Jeremiah Willcock * José Pedro Magalhães * Tiark Rompf * Tarmo Uustalo * Stephanie Weirich * Fritz Henglein

1 0

[TFPIE 2015] 2nd call for papers
by Peter Achten 05 Mar '15

05 Mar '15

Trends in Functional Programming in Education (TFPIE 2015) 2nd Call for papers https://wiki.science.ru.nl/tfpie/TFPIE2015 The 4th International Workshop on Trends in Functional Programming in Education, TFPIE 2015, will be held on June 2, 2015 in Sophia-Antipolis in France. It is co-located with the Symposium on Trends in Functional Programming (TFP 2015) which takes place from June 3 - 5. *** Goal *** The goal of TFPIE is to gather researchers, teachers and professionals that use, or are interested in the use of, functional programming in education. TFPIE aims to be a venue where novel ideas, classroom-tested ideas and work-in-progress on the use of functional programming in education are discussed. The one-day workshop will foster a spirit of open discussion by having a review process for publication after the workshop. The program chair of TFPIE 2015 will screen submissions to ensure that all presentations are within scope and are of interest to participants. Potential presenters are invited to submit an extended abstract (4-6 pages) or a draft paper (up to 16 pages) in EPTCS style. The authors of accepted presentations will have their preprints and their slides made available on the workshop's website/wiki. Visitors to the TFPIE 2015 website/wiki will be able to add comments. This includes presenters who may respond to comments and questions as well as provide pointers to improvements and follow-up work. After the workshop, presenters will be invited to submit (a revised version of) their article for review. The PC will select the best articles for publication in the journal Electronic Proceedings in Theoretical Computer Science (EPTCS). Articles rejected for presentation and extended abstracts will not be formally reviewed by the PC. TFPIE workshops have previously been held in St Andrews, Scotland (2012), Provo Utah, USA (2013), and Soesterberg, The Netherlands (2014). *** Program Committee *** Peter Achten, Radboud University Nijmegen, The Netherlands Edwin Brady, University of St Andrews, UK Johan Jeuring, Utrecht University and Open University, The Netherlands (Chair) Shriram Krishnamurthi, Brown University, US Rita Loogen, Philipps-Universität Marburg, Germany Marco Morazan, Seton Hall University, US Norman Ramsey, Tufts University, US *** Submission Guidelines *** TFPIE 2015 welcomes submissions describing techniques used in the classroom, tools used in and/or developed for the classroom and any creative use of functional programming (FP) to aid education in or outside Computer Science. Topics of interest include, but are not limited to: - FP and beginning CS students - FP and Computational Thinking - FP and Artificial Intelligence - FP in Robotics - FP and Music - Advanced FP for undergraduates - Tools supporting learning FP - FP in graduate education - Engaging students in research using FP - FP in Programming Languages - FP in the high school curriculum - FP as a stepping stone to other CS topics - FP and Philosophy *** Best Lectures *** In addition to papers, we request “best lecture” presentations. What is your best lecture topic in an FP related course? Do you have a fun way to present FP concepts to novices or perhaps an especially interesting presentation of a difficult topic? In either case, please consider sharing it. Best lecture topics will be selected for presentation based on a short abstract describing the lecture and its interest to TFPIE attendees. *** Submission *** Papers and abstracts can be submitted via easychair at the following link: https://easychair.org/conferences/?conf=tfpie2015 It is expected at at least one author for each submitted paper will attend the workshop. *** Important Dates *** April 7, 2015: Early Registration for TFP closes April 27, 2015: Submission deadline for draft TFPIE papers and abstracts May 3 2015: Notification of acceptance for presentation ?? (Probably May 22 2015): Registration for TFPIE closes - as does late registration for TFP June 2, 2015: Presentations in Sophia-Antipolis, France July 7, 2015: Full papers for EPTCS proceedings due. September 1, 2015: Notification of acceptance for proceedings September 22, 2015: Camera ready copy due for EPTCS Submission of an abstract implies no obligation to submit a full version; abstracts with no corresponding full versions by the full paper deadline will be considered as withdrawn.

1 0