- Haskell - Haskell.org

CFP ARRAY'14
by Mary Sheeran 19 Mar '14

19 Mar '14

The ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming Date of workshop: Friday June 13th Location: Edinburgh (colocated with PLDI) Deadline for submissions (4-6 pages): April 2 (2 weeks from today) web site: http://www.sable.mcgill.ca/array/ This interesting workshop welcomes submissions from functional programmers! Contact Mary Sheeran (ms(a)chalmers.se) if you have questions.

1 0

BX2014: Call for participation
by Soichiro Hidaka 18 Mar '14

18 Mar '14

Third International Workshop on Bidirectional Transformations (BX 2014) Friday March 28th, 2014 Athens, Greece co-located with EDBT/ICDT 2014 Workshop information: http://bx-community.wikidot.com/bx2014:home Online Proceedings: http://ceur-ws.org/Vol-1133/#bx Online registration is open until March 20th at http://www.edbticdt2014.gr/index.php/registration On-site registration is also available during the conference (at a higher rate). ----- Bidirectional transformations (bx) are a mechanism for maintaining the consistency of at least two related sources of information. Such sources can be relational data, software models, documents, graphs, trees, and so on. BX are an emerging topic in a wide range of research areas with prominent presence at top conferences in different fields. However, much of the research in bx tends to get limited exposure outside of a single field of study. The purpose of this workshop series is not only to further research into bx, but to promote cross-disciplinary research and awareness in the area. **************** Workshop program **************** 08:45-09:00 Opening Remarks: James Terwilliger 09:00-10:40 Session 1: Types, Transformations, and Benchmark ------------------------------------------------------------ 09:00-09:15 Implementing a Bidirectional Model Transformation Language as an Internal DSL in Scala Arif Wider 09:15-09:30 Towards a framework for multi-directional model transformations Nuno Macedo, Alcino Cunha, Hugo Pacheco 09:30-09:45 Formalizing Semantic Bidirectionalization with Dependent Types Helmut Grohne, Andres Löh, and Janis Voigtländer 09:45-10:00 Group discussion 10:00-10:15 BenchmarX Anthony Anjorin, Manuel Alcino Cunha, Holger Giese, Frank Hermann, Arend Rensink, and Andy Schürr 10:15-10:30 Towards a Repository of Bx Examples James Cheney, Jeremy Gibbons, James McKinna, and Perdita Stevens 10:30-10:40 Group discussion 10:40-11:00 Coffee Break 11:00-12:30 Session 2: Databases, Monads, and Lenses -------------------------------------------------------- 11:00-11:15 Intersection Schemas as a Dataspace Integration Technique Richard Brownlow and Alex Poulovassilis 11:15-11:30 Bidirectional Transformations in Database Evolution: A Case Study "At Scale" Mathieu Beine, Nicolas Hames, Jens Weber, and Anthony Cleve 11:30-11:40 Group discussion 11:40-11:55 Entangled State Monads Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, and Perdita Stevens 11:55-12:10 Spans of Lenses Michael Johnson and Robert Rosebrugh 12:10-12:30 Group discussion and closing

1 0

PhD student position at Chalmers
by Mary Sheeran 18 Mar '14

18 Mar '14

PhD position in Functional Programming at the Department of Computer Science and Engineering at Chalmers University of Technology, Gothenburg, Sweden. Application deadline: March 31, 2014 Expected starting date: September 1 2014 (but flexible) The PhD student will join the Chalmers Functional Programming Group, one of the leading groups in the field. The Chalmers FP Group has a strong interest in Embedded Domain Specific Languages, beginning with their work on Lava for hardware design. The focus of the advertised position is on returning to the problem of how to use Functional Programming to support hardware design and deterministic parallel programming. We are particularly interested in the implementation of cryptographic algorithms. Our favoured platform is the open source Parallella board from Adapteva ( http://www.adapteva.com/parallella-board/) which combines Field Programmable Gate Array (FPGA), two ARM cores and 16 or 64 cores connected in a grid. This small board promises high performance, low power computing, but the question of how best to program it is an interesting one. The new PhD student will work on the use of Functional Programming to enable programming of such highly parallel heterogeneous systems. The selection of the specific research topic will take into account the interests of the new PhD student and the evolving research interests of the Functional Programming Group. The ideal candidate will have a strong background in functional programming and at least one of hardware design and parallel programming. The PhD student will be supervised by Prof. Mary Sheeran, who has long pioneered the combination of hardware design and functional programming, particularly working with her former students Koen Claessen and Satnam Singh. The work will be closely connected to the SSF funded project on Productivity and Performance through Resource Aware Functional Programming ( http://www.cse.chalmers.se/~ms/SSF10Final.pdf) and also to Sheeran's project on hardware acceleration of algorithms ( http://www.cse.chalmers.se/~ms/A11.pdf) Note that in Sweden a PhD takes four years of full time study and research, and five years when teaching is included (as for this position). Being a PhD student is a real job, with a real salary. *How to apply* The application should be written in English and include the following items: 1. An application of a maximum of one A4 page summarising your track record and providing your research statement 2. Attested copies of education certificates, including grade reports and other documents 3. Curriculum Vitae 4. Letters of recommendation and name of reference persons 5. Evidence of written work: research papers and theses It is important to include parts of your own work such as theses and articles that you have authored or co-authored. Please notice also that it is highly recommended that you include letters of recommendation; we typically get a large number of applications, and it is not feasible for us to request individual letters. The application should be submitted electronically at http://www.chalmers.se/en/about-chalmers/vacancies/Pages/default.aspx?rmpag… If you have any questions, please contact Mary Sheeran (ms(a)chalmers.se)

1 0

RV 2014: 3rd Call for Papers, Deadline in 3 weeks
by Runtime Verification 18 Mar '14

18 Mar '14

[Apologizes for duplicates] 14th International Conference on Runtime Verification September 22 - 25, 2014 *Toronto, Canada* http://rv2014.imag.fr/ <http://rv2014.imag.fr/images/CfP.pdf> Scope: Runtime verification is concerned with monitoring and analysis of software and hardware system executions. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification. Runtime verification can be used prior to deployment, for testing, verification, and debugging purposes, and after deployment for ensuring reliability, safety, and security and for providing fault containment and recovery as well as online system repair. Topics of interest to the conference include: - specification languages - specification mining - program instrumentation - monitor construction techniques - logging, recording, and replay - fault detection, localization, containment, recovery and repair - program steering and adaptation - metrics and statistical information gathering - combination of static and dynamic analyses - program execution visualization - monitoring techniques for safety/mission-critical systems - monitoring distributed systems, cloud services, and big data applications - monitoring security and privacy policies Application areas of runtime verification include safety/mission-critical systems, enterprise and systems software, autonomous and reactive control systems, health management and diagnosis systems, and system security and privacy. Technical Research Papers Track: Technical research papers can be submitted in two categories: regular and short papers. Papers in both categories will be reviewed by the conference Program Committee. All accepted technical papers will appear in an LNCS<http://www.springer.com/series/558> volume. Submitted papers must use the LNCS style<http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0>. At least one author of each accepted paper must attend RV'14 to present the paper. Papers must be submitted electronically using theEasyChair<https://www.easychair.org/conferences/?conf=rv2014> system. - *Regular papers* (up to 15 pages) should present original unpublished results. Theoretical and experimental papers as well as papers on applications of runtime verification and case studies are all welcome. A non-monetary Best Paper Award will be given. A selection of accepted regular papers will be invited to appear in a special issue of the Springer Journal on Formal Methods in System Design. - *Short papers* (up to 5 pages) may present novel but not necessarily thoroughly worked out ideas, for example emerging runtime verification techniques and applications, or techniques and applications that establish relationships between runtime verification and other domains. Accepted short papers will be presented in special short talk (10 minutes) and poster sessions. Program committee Borzoo Bonakdarpour <https://cs.uwaterloo.ca/~bbonakda/> (University of Waterloo, Canada), *co-chair* Scott Smolka <http://www.cs.sunysb.edu/~sas/> (Stony Brook Universtiy, USA), *co-chair* Gul Agha <http://cs.illinois.edu/directory/profile/agha> (University of Illinois at Urbana-Champaign, USA) Thomas Ball <http://research.microsoft.com/en-us/people/tball/> (Microsoft Research, Redmond, USA) Howard Barringer <http://www.manchester.ac.uk/research/howard.barringer> (The University of Manchester, UK) Ezio Bartocci <http://www.eziobartocci.com/> (TU Wien, Austria) David Basin <http://www.inf.ethz.ch/personal/basin/> (ETH Zurich, Switzerland) Saddek Bensalem <http://www-verimag.imag.fr/~bensalem/> (Verimag, France) Eric Bodden <http://www.bodden.de/> (TU - Darmstadt, Germany) Ivona Brandic <http://www.infosys.tuwien.ac.at/staff/ivona/> (TU Wien, Austria) Marsha Chechik <http://www.cs.toronto.edu/~chechik/> (University of Toronto, Canada) Michael Clarkson <http://faculty.cs.gwu.edu/~clarkson/> (George Washington University, USA) Laura Dillon <http://www.cse.msu.edu/~ldillon/> (Michigan State University, USA) Shlomi Dolev <http://www.cs.bgu.ac.il/~dolev/> (Ben Gurion University, Israel) Alastair Donaldson <http://www.doc.ic.ac.uk/~afd/> (Imperial College London, UK) Dawson Engler <http://www.stanford.edu/~engler/> (Stanford University, USA) Ylies Falcone <http://www.ylies.fr/> (Université Joseph Fourier, France) Vijay Garg <http://users.ece.utexas.edu/~garg/> (University of Texas at Austin, USA) Steve Goddard <http://cse.unl.edu/~goddard/papers.html> (University of Nebraska-Lincoln, USA) Ganesh Gopalakrishnan <http://www.cs.utah.edu/~ganesh/> (University of Utah, USA) Wolfgang Grieskamp (Google, USA) Radu Grosu <http://www.cs.sunysb.edu/~grosu/> (TU- Wien, Austria) Klaus Havelund <http://www.havelund.com/> (NASA/JPL, USA) Mats Heimdahl <http://www.umsec.umn.edu/about/director> (University of Minnesota, USA) Laurie Hendren <http://www.sable.mcgill.ca/~hendren/> (McGill University, Canada) Gerard Holzmann <http://lars-lab.jpl.nasa.gov/people/gh.html> (NASA/JPL, USA) Daniel Keren <http://www.cs.haifa.ac.il/~dkeren/> (Haifa University, Israel) Sandeep Kulkarni <http://www.cse.msu.edu/~sandeep/>(Michigan State University, USA) Marta Kwiatkowska <http://www.cs.ox.ac.uk/marta.kwiatkowska/> (University of Oxford, UK) Insup Lee <http://www.cis.upenn.edu/~lee/home/home/index.shtml> (University of Pennsylvania, USA) Axel Legay <http://people.irisa.fr/Axel.Legay/> (IRISA/INRIA, France) Martin Leucker <http://www.isp.uni-luebeck.de/leucker/> (University of Lübeck, Germany) Leonardo Mariani<http://www.lta.disco.unimib.it/lta/personalPages/leonardoMariani/leonardoMa…> (University of Milano Bicocca, Italy) Patrick Meredith <http://fsl.cs.illinois.edu/index.php/Patrick_Meredith> (University of Illinois at Urbana-Champaign, USA) David Naumann <http://www.cs.stevens.edu/~naumann/> (Stevens Institute of Technology, USA) Doron Peled <http://u.cs.biu.ac.il/~doronp/> (Bar Ilan University, Israel) Mauro Pezze <http://www.inf.usi.ch/personal-info?id=1187> (University of Lugano, Switzerland) Lee Pike <http://www.cs.indiana.edu/~lepike/> (Galois Inc., USA) Zvonimir Rakamaric <http://www.zvonimir.info/> (University of Utah, USA) Grigore Rosu <http://fsl.cs.illinois.edu/index.php/Grigore_Rosu> (University of Illinois at Urbana-Champaign, USA) Andrey Rybalchenko <http://www7.in.tum.de/~rybal/> (TU-Munich, Germany) Andre Schiper <http://people.epfl.ch/andre.schiper?lang=fr> (EPFL, Switzerland) Oleg Sokolsky <http://www.cis.upenn.edu/~sokolsky/> (University of Pennsylvania, USA) Scott Stoller <http://www.cs.sunysb.edu/~stoller/> (Stony Brook University, USA) Serdar Tasiran <http://home.ku.edu.tr/~stasiran/> (Koc University, Turkey) Michael Whalen <http://www.umsec.umn.edu/directory/Michael-Whalen> (University of Minnesota, USA) Lenore Zuck <http://www.cs.uic.edu/~lenore/> (University of Illinois at Chicago, USA) Tool Demonstrations Track: The aim of the RV 2014 tool demonstration track is to provide an opportunity for researchers and practitioners to show and to discuss the latest advances, experiences and challenges in devising and developing reliable software tools for runtime verification. Tool demonstration papers will be reviewed by the Tools Track Program Committee. All accepted tool demonstration papers will appear in the conference proceedings LNCS volume. Submitted papers must use the LNCS style. At least one author of each accepted paper must attend RV'14 to present the paper. Papers must be submitted electronically using the EasyChair<https://www.easychair.org/conferences/?conf=rv2014> system. Tool papers should meet the following criteria: - A tool paper should present a new tool, a new tool component or novel extensions to existing tools supporting runtime verification. Each submission should be original and not published previously in a tool paper form. - Each submission must not exceed 8 pages in the LNCS/Springer proceeding format, including all text, references and figures. The paper must be written in English and provided in PDF format. - Each submission must be accompanied at the time of the submission by a short screencast (between 5-10 minutes), with voice and overlay text commentary illustrating the demonstration of the tool (a link to it should be provided in the paper). - The paper must include information on tool availability, maturity, selected experimental results and it should provide a link to a website containing the theoretical background and user guide. Furthermore, we strongly encourage authors to make their tools and benchmarks available with their submission. - Each tool paper must include a script in an appendix (not included in the page count) describing how the demo will be conducted during the conference presentation with screenshots presenting step-by-step the tool's capabilities, highlighting the main characteristics and the usage. Evaluation Each submission will be reviewed by at least four members of the tool demonstration track program committee. The evaluation criteria will include: - the presentation quality - the availability (possibly in a open-source format) of the software. - the relevance for the Runtime Verification audience - the technical soundness of the presented tool - the originality of the underlying ideas Tool Demonstration Committee Ezio Bartocci, (TU-Vienna, Austria), *Chair* Eric Bodden (TU - Darmstadt, Germany) Alastair Donaldson (Imperial College London, UK) Dawson Engler (Stanford University, USA) Ylies Falcone (Université Joseph Fourier, France) Klaus Havelund (NASA/JPL, USA) Michael Whalen (University of Minnesota, USA) Important Dates: Both research papers and tool demonstration tracks will follow the following timeline: - *Abstract deadline:* April 8, 2014 - *Full paper deadline:* April 15, 2014 - *Rebuttal phase:* May 18-20, 2014 - *Acceptance notification:* June 10, 2014 - *Camera ready submission:* June 25, 2014 - *Conference dates:* 22-25 September, 2014 Competition on Software for Runtime Verification (CSRV-2014) A satellite event of RV'14 is the first *International Competition on Software for Runtime Verification* (CRVS'14). The main aims of CSRV-2014 competition are to: - Stimulate the development of new efficient and practical runtime verification tools and the maintenance of the already developed ones. - Produce a benchmark suite for runtime verification tools, by sharing case studies and programs that researchers and developers can use in the future to test and to validate their prototypes. - Discuss the metrics employed for comparing the tools. - Provide a comparison of the tools running with different benchmarks and evaluating using different criteria. - Enhance the visibility of presented tools among the different communities (software engineering, formal methods and automated verification, distributed computing, security, and safety-critical systems) involved in software monitoring. CRVS'14 will follow the following time line: - *Declaration of intent:* December 15, 2013 - *Deadline for submission of benchmarks:* March 1, 2014 - *Monitoring tool submission:* June 1, 2014 - *Notification:* July 1, 2014 For more information, visit http://rv2014.imag.fr/monitoring-competition or contact the event organizers: - *Ezio Bartocci* (TU-Wien, Austria), ezio.bartocci(a)tuwien.ac.at - *Borzoo Bonakdarpour* (U. Waterloo, Canada), borzoo(a)cs.uwaterloo.ca - *Ylies Falcone* (U. Joseph Fourier, France), ylies.falcone(a)ujf-grenoble.fr

1 0

Call for papers: HLPP 2014 - 7th Symposium on High-Level Parallel Programming and Applications
by Clemens Grelck 17 Mar '14

17 Mar '14

=========================================================================== CALL FOR PAPERS HLPP 2014 7th International Symposium on High-level Parallel Programming and Applications Amsterdam, Netherlands July 3-4, 2014 https://sites.google.com/site/hlpp2014amsterdam/ =========================================================================== Aims and scope: As processor and system manufacturers increase the amount of both inter- and intra-chip parallelism it becomes crucial to provide the software industry with high-level, clean and efficient tools for parallel programming. Parallel and distributed programming methodologies are currently dominated by low-level techniques such as send/receive message passing, or equivalently unstructured shared memory mechanisms. Higher-level, structured approaches offer many possible advantages and have a key role to play in the scalable exploitation of ubiquitous parallelism. Since 2001 the HLPP series of workshops/symposia has been a forum for researchers developing state-of-the-art concepts, tools and applications for high-level parallel programming. The general emphasis is on software quality, programming productivity and high-level performance models. The 7th Symposium on High-Level Parallel Programming and Applications will be held July 3-4 in the historic center of Amsterdam. =========================================================================== Proceedings: Accepted papers will be distributed as informal draft proceedings during the symposium. All accepted papers will be published by Springer in a special issue of the International Journal of Parallel Programming (IJPP). =========================================================================== Important dates: Submission deadline: April 4 (anywhere on earth) Author notification: May 1 Camera-ready paper due: June 16 =========================================================================== Topics: HLPP 2014 invites papers on all topics in high-level parallel programming, its tools and applications including, but not limited to, the following aspects: + High-level programming and performance models (BSP, CGM, LogP, MPM, etc.) and their tools + Declarative parallel programming methodologies + Algorithmic skeletons and constructive methods + Declarative parallel programming languages and libraries: semantics and implementation + Verification of declarative parallel and distributed programs + Software synthesis, automatic code generation for parallel programming + Model-driven software engineering with parallel programs + High-level programming models for heterogeneous/hierarchical platforms + High-level parallel methods for large datasets + Applications of parallel systems using high-level languages and tools + Teaching experience with high-level tools and methods =========================================================================== Paper preparation and submission: Papers submitted to HLPP2014 must describe original research results and must not have been published or simultaneously submitted anywhere else. Manuscripts must be prepared with the Springer IJSS latex macro package and submitted via the EasyChair Conference Management System. The strict page limit for initial submission and camera-ready version is 20 pages in the aforementioned format. Each paper will receive a minimum of three reviews by members of the international technical programme committee (see below). Papers will be selected based on their originality, relevance, technical clarity and quality of presentation. At least one author of each accepted paper must register for the HLPP 2014 symposium and present the paper. =========================================================================== Programme committee: Marco Aldinucci, University of Torino, Italy Jost Berthold, University of Copenhagen, Denmark Rob Bisseling, Utrecht University, Netherlands Murray Cole, University of Edinburgh, United Kingdom Joel Falcou, MetaScale / Université Paris-Sud, France Clemens Grelck, University of Amsterdam, Netherlands (Chair) Gaétan Hains, Université Paris-Est, France Zhenjiang Hu, National Institute of Informatics, Japan Youry Khmelevsky, University of British Columbia Okanagan, Canada Herbert Kuchen, University of Münster, Germany Kiminori Matsuzaki, Kochi University of Technology, Japan Frank Penczek, Intel Ulm, Germany Susanna Pelagatti, University of Pisa, Italy Tiark Rompf, Google / Ecole Polytechnique Fédérale de Lausanne, Switzerland Francisco de Sande, University of La Laguna, Spain Kostis Sagonas, Uppsala University, Sweden Vijay Saraswat, IBM Thomas J. Watson Research Center, USA Sven-Bodo Scholz, Heriot-Watt University, United Kingdom =========================================================================== HLPP Organizer and programme chair: Clemens Grelck Informatics Institute University of Amsterdam Science Park 904 1098XH Amsterdam Netherlands c.grelck(a)uva.nl =========================================================================== HLPP steering committee: Clemens Grelck (Universiteit van Amsterdam, Netherlands) Gaétan Hains (Université Paris-Est, France) Kiminori Matsuzaki (Kochi University of Technology, Japan) Frédéric Loulergue (Université d'Orléans, France) Quentin Miller (Somerville College Oxford, United Kingdom) Alexander Tiskin (University of Warwick, United Kingdom) =========================================================================== Previous HLPP symposia and workshops: HLPP 2013, Paris, France HLPP 2011, Tokyo, Japan HLPP 2010, Baltimore, USA HLPP 2005, Coventry, United Kingdom HLPP 2003, Paris, France HLPP 2001, Orléans, France =========================================================================== -- ---------------------------------------------------------------------- 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 www.science.uva.nl/~grelck ----------------------------------------------------------------------

1 0

Save the date: BayHac '14
by Mark Lentczner 15 Mar '14

15 Mar '14

The Silicon Valley / San Francisco Bay Area Haskell Hackaton's 4th year! Save the date for a weekend of Haskell hacking: *BayHac '14* *May 16th ~ 18th,* *Hacker Dojo* *Mountain View, California* Details and registration will follow in few weeks. Wiki page for event: BayHac2014 - HaskellWiki<http://www.haskell.org/haskellwiki/BayHac2014> — Jonathan Fischoff & Mark Lentczner

1 0

HaL-9 - regional Haskell meeting in Halle/Saale, Germany, 2014-06-20 - Save the date
by Henning Thielemann 15 Mar '14

15 Mar '14

Save the date for our local Haskell meeting in Halle/Saale, Germany, presenting tutorials, talks, demonstrations ... everything you like. Workshop language is German (mainly), and English (by request). Switching to German: ------------------------------------------------- Was: Haskell-Treffen HaL-9 Wann: Freitag, 2014-06-20 Wo: Institut für Informatik an der Martin-Luther-Universität in Halle an der Saale Der offizielle Aufruf zum Einreichen von Beiträgen folgt demnächst. Mit besten Grüßen Henning Thielemann

1 0

[UPDATE] 5th Answer Set Programming Competition 2014 - CALL FOR PARTICIPANTS
by Francesco Calimeri 14 Mar '14

14 Mar '14

[apologies for any cross-posting] [UPDATED: **IMPORTANT DATES**] ======================================================================== ================================================================== 5th Answer Set Programming Competition 2014 Call for Participant Systems Aalto University, University of Calabria, University of Genova Spring/Summer 2014 https://www.mat.unical.it/aspcomp2014 aspcomp2014(a)mat.unical.it ================================================================== Special edition of the ASP competition series: system track **Part of the Olympic Games of the Vienna Summer of Logic 2014** == Important Dates (NEW) == * March 1st, 2014: Participant registration opens * March 31st, 2014: Participant registration closes (NEW) * April 15th, 2014: The competition starts (EXTENDED) * July 2014: Awards are presented at FLoC (22nd) and at ICLP (19th-22nd) ========================================================================

1 0

Haskell Symposium 2014: Call for papers
by Wouter Swierstra 13 Mar '14

13 Mar '14

=================================================================== ACM SIGPLAN HASKELL SYMPOSIUM 2014 CALL FOR SUBMISSIONS Gothenburg, Sweden, 4-5 September 2014, directly after ICFP http://www.haskell.org/haskell-symposium/2014 haskell2014(a)easychair.org =================================================================== The ACM SIGPLAN Haskell Symposium 2014 will be colocated with the 2014 International Conference on Functional Programming (ICFP) in Gothenburg, Sweden. Like last year, the symposium will last 2 days. Thanks to broader participation from a growing community, we will be able to include more regular papers as well as system demonstrations, while upholding the scientific quality of the symposium. The Haskell Symposium seeks to present original research on Haskell, to discuss practical experience and future development of the language, as well as to promote other forms of denotative programming. Topics of interest include * Language Design, with a focus on possible extensions and modifications of Haskell as well as critical discussions of the status quo; * Theory, such as formal semantics of the present language or future extensions, type systems, effects, metatheory, and foundations for program analysis and transformation; * Implementations, including program analysis and transformation, static and dynamic compilation for sequential, parallel, and distributed architectures, memory management, as well as foreign function and component interfaces; * Tools, such as profilers, tracers, debuggers, preprocessors, and testing tools; * Applications, to scientific and symbolic computing, databases, multimedia, telecommunication, the web, and so forth; * Functional Pearls, being elegant and instructive programming examples; * Experience Reports, to document general practice and experience in education, industry, or other contexts. Such reports are shorter than regular papers; they are limited to six pages. Papers in the latter two categories need not necessarily report original research results. They may report instead, for example, reusable programming idioms, elegant ways to approach a problem, or practical experience that will be useful to other users, implementors, or researchers. The key criterion for such a paper is that it makes a contribution from which other Haskellers can benefit. It is not enough simply to describe a program! Regular papers should explain their research contributions in both general and technical terms, identifying what has been accomplished, explaining why it is significant, and relating it to previous work (also for other languages where appropriate). In addition, we solicit proposals for * System Demonstrations (no longer than a regular paper talk), based on running (perhaps prototype) software rather than necessarily on novel research results. These proposals should summarize the system capabilities that would be demonstrated. The proposals should explain (and will be judged on) whether the ensuing session is likely to be important and interesting to the Haskell community at large, whether on grounds academic or industrial, theoretical or practical, technical or social. Please contact the program chair with any questions about the relevance of a proposal. Travel Support: =============== Student attendees with accepted papers can apply for a SIGPLAN PAC grant to help cover travel expenses. PAC also offers other support, such as for child-care expenses during the meeting or for travel costs for companions of SIGPLAN members with physical disabilities, as well as for travel from locations outside of North America and Europe. For details on the PAC programme, see its web page (http://www.sigplan.org/PAC.htm) Proceedings: ============ ACM Press will publish formal proceedings. Accepted papers will be included in the ACM Digital Library. Authors must grant ACM publication rights upon acceptance (http://authors.acm.org/main.html) 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. Accepted proposals for system demonstrations will be posted on the symposium web page, but not formally published in the proceedings. Submission Details: =================== Submitted papers should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines (http://www.acm.org/sigs/sigplan/authorInformation.htm) The text should be in a 9-point font in two columns. The length is restricted to 12 pages, except for "Experience Report" papers, which are restricted to 6 pages. Papers need not fill the page limit. Each paper submission must adhere to SIGPLAN's republication policy, as explained on the web. Proposals for system demonstrations are limited to 2-page abstracts, in the same ACM format as papers. "Functional Pearls", "Experience Reports", and "Demo Proposals" should be marked as such with those words in the title at time of submission. The paper submission deadline and length limitations are firm. There will be no extensions, and papers violating the length limitations will be summarily rejected. Submission is via EasyChair: https://www.easychair.org/conferences/?conf=haskell14 * Abstract submission: Fri 09 May 2014 * Paper submission : Mon 12 May 2014 * Demo submission : Fri 30 May 2014 (prior abstract submission unnecessary) * Author notification: Wed 11 June 2014 * Final papers due : Sun 22 June 2014 All deadlines, except the final papers deadline, are in Standard Samoan Time. Programme Committee: ==================== George Giorgidze - Standard Chartered Bank Mauro Jaskelioff - Universidad Nacional de Rosario Mark Jones - Portland State University Lindsey Kuper - Indiana University José Pedro Magalhães - University of Oxford Geoffrey Mainland - Drexel University Simon Marlow - Facebook Shin Cheng Mu - Academia Sinica Keiko Nakata - Institute of Cybernetics, Tallinn University of Technology Bruno Oliveira - University of Hong Kong Lee Pike - Galois Josef Svenningsson - Chalmers University of Technology Wouter Swierstra - University of Utrecht (chair) Simon Thompson - University of Kent

1 0

[TFP2014] Final Call For Papers
by Peter Achten 11 Mar '14

11 Mar '14

--------------------------------- F I N A L C A L L F O R P A P E R S --------------------------------- ======== TFP 2014 =========== 15th Symposium on Trends in Functional Programming May 26-28, 2014 Utrecht University Soesterberg, The Netherlands http://www.cs.uu.nl/wiki/TFP2014/WebHome *** Submission for TFP 2014 is now open: please direct your browser to *** http://www.cs.uu.nl/wiki/TFP2014/PaperSubmission 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), described in draft papers submitted prior to the symposium. A formal post-symposium refereeing process then selects a subset of the articles presented at the symposium and submitted for formal publication. Selected revised papers will be published as a Springer Lecture Notes in Computer Science (LNCS) volume. TFP 2014 will be the main event of a pair of functional programming events. The other is the International Workshop on Trends in Functional Programming in Education (TFPIE). TFPIE will take place on May 25th. Its website is located at http://www.cs.uwyo.edu/~jlc/tfpie14/ 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, in Munich (Germany) in 2004, in Tallinn (Estonia) in 2005, in Nottingham (UK) in 2006, in New York (USA) in 2007, in Nijmegen (The Netherlands) in 2008, in Komarno (Slovakia) in 2009, in Oklahoma (USA) in 2010, in Madrid (Spain) in 2011, St. Andrews (UK) in 2012 and Provo (Utah, USA) in 2013. For further general information about TFP please see the TFP homepage. INVITED SPEAKERS TFP is pleased to announce talks by the following two invited speakers: John Hughes of Chalmers, Goteborg, Sweden, is well-known as author of Why Functional Programming Matters, and as one of the designers of QuickCheck (together with Koen Claessen); the paper on QuickCheck won the ICFP Most Influential Paper Award in 2010. Currently he divides his time between his professorship and Quviq, a company that performs property-based testing of software with a tool implemented in Erlang. Dr. Geoffrey Mainland received his PhD from Harvard University where he was advised by Greg Morrisett and Matt Welsh. After a two year postdoc with the Programming Principles and Tools group at Microsoft Research Cambridge, he is now an assistant professor at Drexel University. His research focuses on high-level programming language and runtime support for non-general purpose computation. 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 submitted for simultaneous publication to any other forum. They may consider any aspect of functional programming: theoretical, implementation-oriented, or more experience-oriented. Applications of functional programming techniques to other languages are also within the scope of the symposium. Topics suitable for the symposium include: 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 Using functional techniques to reason about imperative/object-oriented programs Debugging 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 2014 program chair, Jurriaan Hage at J.Hage(a)uu.nl. 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. FINANCIAL SUPPORT TFP is financially supported by the Department of Information and Computing Sciences of Utrecht University, NWO (Netherlands Organisation for Scientific Research), Well-Typed and Erlang Solutions. 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 (16 pages). The submission must clearly indicate which category it belongs to: research, position, project, evaluation, or overview paper. It should also indicate whether the main author or authors are research students. In the case of a FULL STUDENT paper, the draft paper will receive additional feedback by one of the PC members shortly after the symposium has taken place. For the preproceedings, papers can be in any format (inclduing LNCS, IEEE and ACM style), but papers submitted to the postrefereeing process must be in LNCS style, and are bound by the limitations on paper length. We use EasyChair for the refereeing process. IMPORTANT DATES Submission of draft papers: March 17, 2014 Notification: March 24, 2014 Registration: April 7, 2014 TFP Symposium: May 26-28, 2014 Student papers feedback: June 9th, 2014 Submission for formal review: July 1st, 2014 Notification of acceptance: September 8th, 2014 Camera ready paper: October 8th, 2014 PROGRAM COMMITTEE Peter Achten Radboud University Nijmegen Emil Axelsson Chalmers Lucilia Camarao de Figueiredo Universidade Federal de Ouro Preto Laura Castro University of A Coruna Frank Huch Christian-Albrechts-University of Kiel Matthew Fluet Rochester Institute of Technology Jurriaan Hage (chair) University of Utrecht Yukiyoshi Kameyama University of Tsukuba Andrew Kennedy Microsoft Research Tamas Kozsik Eotvos Lorand University Ben Lippmeier University of New South Wales Luc Maranget INRIA Jay McCarthy (co-chair) Brigham Young University Marco T. Morazan Seton Hall University Ricardo Pena Universidad Complutense de Madrid Alexey Rodriguez LiquidM Sven-Bodo Scholz Heriot-Watt University Manuel Serrano INRIA Sophia Antipolis Simon Thompson University of Kent Tarmo Uustalu Inst of Cybernetics David Van Horn University of Maryland Janis Voigtlaender University of Bonn

1 0