February 2015 - Haskell

GHC 7.10 will use Plan FTP
by Simon Peyton Jones 23 Feb '15

23 Feb '15

Colleagues You will remember (see this email<https://mail.haskell.org/pipermail/libraries/2015-February/024925.html>) that the Haskell community has been engaged in a debate about proposed changes to the Haskell Prelude, the Plan-List or Plan-FTP debate<https://ghc.haskell.org/trac/ghc/wiki/Prelude710>. We decided to hold an open survey to get feedback from the community. Simon Marlow and Simon PJ were asked to make a decision in the light of that feedback. The survey closed on 21 Feb, so it's time to decide. Bottom line: we recommend Plan FTP. There are strong arguments in both directions. For the record, our own personal instincts were both in the conservative, Plan List direction. But the survey gave some pretty compelling feedback, and was far more unequivocal than we expected. Some details * Over 800 people participated in the survey. That's a lot for an 11-day window. Many wrote several paragraphs of supporting information. Thank you for participating so actively! * Overall, 82% of respondents were in favour of FTP, a 4:1 majority. Simon and I found this level of unanimity quite surprising - and it made our task much easier. We clearly under-estimated the Haskell community's appetite for absorbing change when they approve of the direction of travel. * Herbert helped us by doing a rough categorisation into hobbyist/non-hobbyist responses. o The first interesting fact is that there were a lot of non-hobbyist responses: in fact a majority (58%) of the responses were from non-hobbyists. So increasingly people are using Haskell for real work. o The support for Plan FTP among hobbyists was overwhelming (over 87%). But it was still very strong indeed among non-hobbyists (over 79%). Caveat: time was short, so the hobby/non-hobby categorisation is extremely approximate. But since the results are so unambiguous, even the crude results are helpful. * We tried filtering out responses that were blank in the name field and both text boxes. The 82% majority did not budge. What happens now * GHC 7.10 will embody Plan FTP. * The Core Libraries committee, freshly energised and informed by this episode, is drafting new guidelines to clarify what it does, and how it works; and to help avoid a repetition of the recent drama. * The responses. In the survey we said "We won't publish either textual responses or personally-identifying information without your consent. The full responses will be made available only to a limited few." However, the English-language comments are a remarkable snapshot of the Haskell community, and it would be a shame to discard them without deeper study. We propose to make them available to the Core Libraries Committee, to inform their future choices. If anyone else wants to digest the comments into a summary report, we think that would be a service to the community, and (in our view, provided they are a reputable person etc) would fall under the "available to a limited few" rubric. If that appeals to you, write to us. If you object even to such limited sharing, write to us too. This wasn't an entirely easy process, especially because it happened so late in the release cycle. But although many people felt quite strongly about List vs FTP, the whole debate has involved light rather than heat; people have concentrated on the technical issues, rather than yelling. Overall, it's been very encouraging to see the resilience, transparency, and constructive tone of the community. We really appreciate that - thank you. Simon Marlow and Simon Peyton Jones

1 0

PPDP 2015: 2nd call for papers
by Moreno Falaschi 22 Feb '15

22 Feb '15

====================================================================== Call for papers 17th International Symposium on Principles and Practice of Declarative Programming PPDP 2015 Special Issue of Science of Computer Programming (SCP) Siena, Italy, July 14-16, 2015 (co-located with LOPSTR 2015) http://costa.ls.fi.upm.es/ppdp15 ====================================================================== SUBMISSION DEADLINE: 20 MARCH, 2015 PPDP 2015 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 25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2015). The conference will be held in Siena, Italy. Previous symposia were held at 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. 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 2016. Important Dates Abstract Submission: 14 March, 2015 Paper submission: 20 March, 2015 Notification: 14 May, 2015 Camera-ready: To be announced Symposium: 14-16 July, 2015 Authors should submit an electronic copy of the full paper in PDF. Papers should be submitted to the submission website for PPDP 2015. 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. -------------------------------------------------------------------------------------------------------------------------- INVITED SPEAKERS Patrick Cousot, New York University, USA (Jointly with LOPSTR) Martin Hofmann, LMU Munich, Germany ———————————————————————————————————————— Program Committee Michael Adams, University of Utah, USA Puri Arenas, Complutense University of Madrid, Spain Amir Ben-Amram, Tel-Aviv Academic College, Israel Ines Castro, Universidade do Porto, Portugal Patrick Cousot, New York University, USA Gregory Duck, National University of Singapore, Singapore Fabio Fioravanti, University of Chieti-Pescara, Italy Thom Frühwirth, University of Ulm, Germany Roberto Giacobazzi, University of Verona, Italy Michael Hanus, CAU Kiel, Germany Andy King, University of Kent, UK F. López-Fraguas, Complutense University of Madrid, Spain Ian Mackie, University of Sussex, UK Dale Miller, INRIA and LIX/Ecole Polytechnique, France Torsten Schaub, University of Potsdam, Germany Tom Schrijvers KU Leuven, Belgium Frank D. Valencia, CNRS and LIX, Ecole Polytechnique, France German Vidal, Universitat Politecnica de Valencia, Spain Marina Vos, University of Bath, UK Nobuko Yoshida, Imperial College London, UK Program Chair Elvira Albert Complutense University of Madrid C/ Profesor Garcia Santesmases E-28040 Madrid, Spain Email: elvira(a)sip.ucm.es<mailto:elvira@sip.ucm.es> Symposium Chair Moreno Falaschi Department of information engineering and mathematics University of Siena, Italy Email: moreno.falaschi(a)unisi.it<mailto:moreno.falaschi@unisi.it>

1 0

LOPSTR 2015: 2nd Call for Papers
by Moreno Falaschi 22 Feb '15

22 Feb '15

============================================================ 25th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2015 Special Issue of Formal Aspects of Computing http://alpha.diism.unisi.it/lopstr15/ University of Siena, Siena, IT, July 13-15, 2015 (co-located with PPDP 2015) DEADLINES Abstract submission: April 6, 2015 Paper/Extended abstract submission: April 13, 2015 ============================================================ 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 25th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2015) will be held at the University of Siena, Siena, Italy; previous symposia were held in 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 2015 will be co-located with PPDP 2015 (International Symposium on Principles and Practice of Declarative Programming). 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: April 6, 2015 Paper/Extended abstract submission: April 13, 2015 Notification: May 25, 2015 Camera-ready (for electronic pre-proceedings): June 15, 2015 Symposium: July 13-15, 2015 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 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 2015, which can be accessed through the website of LOPSTR 2015. 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. Special journal issue After the symposium, a selection of the best papers will be invited to a special issue of the 'Formal Aspects of Computing' journal. The submissions to the special issue must be substantial extensions of the proceedings versions and will undergo the usual journal reviewing process. Invited speakers Patrick Cousot, New York University, USA (Jointly with PPDP) Gilles Barthe, IMDEA Software Institute, Spain Dale Miller, INRIA and LIX/Ecole Polytechnique, France Program Committee Slim Abdennadher, German University of Cairo, Egypt Maria Alpuente, Universitat Politecnica de Valencia, Spain Demis Ballis, University of Udine, Italy Olaf Chitil, University of Kent, UK Michael Codish, Ben-Gurion University, Israel Moreno Falaschi, University of Siena, Italy (Program Chair) Jerome Feret, INRIA and ENS, France Maurizio Gabbrielli, University of Bologna, Italy Jurgen Giesl, RWTH Aachen University, Germany Miguel Gomez-Zamalloa, Complutense University of Madrid, Spain Arnaud Gotlieb, SIMULA Research Laboratory, Norway Gopal Gupta, University of Texas at Dallas, USA Manuel Hermenegildo, IMDEA, Spain Viktor Kuncak, EPFL Lausanne, Switzerland Luigi Liquori, INRIA Sophia-Antipolis Mediterranee, France Alexei Lisitsa, University of Liverpool, UK Narciso Marti-Oliet, Universidad Complutense de Madrid, Spain Jorge Navas, NASA, USA Kazuhiro Ogata, JAIST, Japan Carlos Olarte, ECT, Univ. Federal do Rio Grande do Norte, Brasil Catuscia Palamidessi, INRIA and Ecole Polytechnique, France Maurizio Proietti, IASI-CNR, Italy Albert Rubio, Universitat Politecnica de Catalunya, Barcelona, Spain Wim Vanhoof, University of Namur, Belgium Program and Symposium Chair: Moreno Falaschi, Dept. of Information Engineering and Mathematics, Univ. of Siena, Italy (moreno.falaschi(a)unisi.it<mailto:moreno.falaschi@unisi.it>) Organizing Committee Monica Bianchini, DIISM, Univ. of Siena, Italy Sara Brunetti, DIISM, Univ. of Siena, Italy Andrea Machetti, DIISM, Univ. of Siena, Italy Simonetta Palmas, DIISM, Univ. of Siena, Italy Maurizio Proietti, IASI-CNR, Italy Simone Rinaldi, DIISM, Univ. of Siena, Italy Elisa Tiezzi, DIISM, Univ. of Siena, Italy Sara Ugolini, Dip. Informatica, Univ. of Pisa

1 0

Fwd: FARM 2015 Workshop - 1st call for papers and demos
by Henrik Nilsson 18 Feb '15

18 Feb '15

Dear Haskell interested, Please find enclosed the call for paper for FARM that may be of interest to many of you. Best, /Henrik -------- Original Message -------- Subject: FARM 2015 Workshop - 1st call for papers and demos Date: Thu, 12 Feb 2015 08:30:04 +0000 From: FARM 2015 <farm-2015(a)easychair.org> To: Henrik Nilsson <nhn(a)Cs.Nott.AC.UK> FARM 2015 3rd ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design Vancouver, Canada, 5 September, 2015 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. The language used need not be purely functional (“mostly functional” is fine), and may be manifested as a domain specific language or tool. Theoretical foundations, language design, implementation issues, and applications in industry or the arts are all within the scope of the workshop. Submissions are invited in two categories: * Full papers 5 to 12 pages using the ACM SIGPLAN template. FARM 2015 is an interdisciplinary conference, so a wide range of approaches are encouraged and we recognize that the appropriate length of a paper may vary considerably depending on the approach. However, all submissions must propose an original contribution to the FARM theme, cite relevant previous work, and apply appropriate research methods. * Demo abstracts Demo abstracts should describe the demonstration 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. Abstracts should be no longer than 2 pages, using the ACM SIGPLAN template and will be subject to a light-touch peer review. 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 organisers at: farm-2015(a)easychair.org KEY DATES: Full Paper and Demo Abstract submission Deadline: 17 May Author Notification: 26 June Camera Ready: 19 July Workshop: 5 September SUBMISSION All papers and demo abstracts must be in portable document format (PDF), using the ACM SIGPLAN style guidelines. The text should be in a 9-point font in two columns. The submission itself will be via EasyChair: https://easychair.org/conferences/?conf=farm2015 PUBLICATION Accepted papers will be included in the formal proceedings published by ACM Press and will also be made available through the the ACM Digital Library; 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. WORKSHOP ORGANISATION Workshop Chair: Henrik Nilsson, University of Nottingham Program Chair: David Janin, University of Bordeaux Publicity Chair: Samuel Aaron, University of Cambridge Program Committee: Samuel Aaron, University of Cambridge Jean Bresson, IRCAM Paris David Broman, KTH and UC Berkeley Paul Hudak, Yale University David Janin (chair), University of Bordeaux Anton Kholomiov, Orffeus instrumental ensemble Moscow Alex Mclean, University of Leeds Carin Meier, Outpace Systems Henrik Nilsson, University of Nottingham Yann Orlarey, GRAME Lyon Donya Quick, Yale University Shigeki Sagayama, Meiji University Chung-chieh Shan, Indiana University Michael Sperber, Active Group GmbH Bodil Stokke, FutureAdLabs For further details, see the FARM website: http://functional-art.org 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.

1 0

ANN: New Haskell.org Homepage Now Live
by Gershom B 15 Feb '15

15 Feb '15

I’m pleased to announce that http://www.haskell.org has received its first significant design update since 2010! More significantly, for the first time since 2006 it is not a wiki, but an actual language homepage. More significantly still, for the first time ever, the Haskell homepage now runs on a fully Haskell-powered stack. I suppose some people might also be interested in the fact that it looks quite nice, and has significantly cleaned up the information it presents, so as to provide a more focused experience for newcomers looking to explore the language. The page is now includes the collective work of over 230 commits by 17 contributors. First and foremost among those is Chris Done, who conceived the vision, wrote the bulk of the code, and executed the design. Also thanks to our many admins, including Austin Seipp, Ricky Elrod, et al., who managed the deployment, and have been working behind the scenes to continue to modernize and update our creaking infrastructure. Onto a few key things to remember: * The wiki is still around at https://wiki.haskell.org and it is still a fantastic resource. It is now speedy again, and we have an account creation process. By all means, jump in, and help curate and cultivate its wealth of knowledge. * The new site is all on github: https://github.com/haskell-infra/hl — there you will also find an issue tracker as well. We are sure there are many gaffes, gaps, and oddities that remain to be patched up in the site, especially with regards to its content. Tickets, pull requests, and comments are encouraged. * The official home for our mailinglists is now http://mail.haskell.org — hopefully this will cause no problems or confusion, and the redirects should be in place properly. Please let us know if there are any issues. * We think we covered everything, but there is the possibility that some item, service, or redirect broke in the course of this transition. Please let us know if this is the case. * If you have been responsible for some subdirectory under the www.haskell.org banner, then you will find that you do not yet have an account on the new server. Please contact us and we’ll get you set up to continue to maintain that portion of the site. * As always, you can reach the haskell ops and admin team at admin(a)haskell.org, or on freenode irc at #haskell-infrastructure. Regards, Gershom (and also the Haskell.org Committee and Haskell.org Admin Team)

3 2

ETAPS 2015 call for participation
by Tarmo Uustalu 13 Feb '15

13 Feb '15

****************************************************************** CALL FOR PARTICIPATION ETAPS 2015 18th European Joint Conferences on Theory And Practice of Software London, UK, 11-18 April 2015 http://www.etaps.org/ ****************************************************************** -- ABOUT ETAPS -- The European Joint Conferences on Theory And Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of six main annual conferences, accompanied by satellite workshops. ETAPS 2015 is already the eighteenth event in the series. -- MAIN CONFERENCES (13-17 April) -- * CC: Compiler Construction * ESOP: European Symposium on Programming * FASE: Fundamental Approaches to Software Engineering * FOSSACS: Foundations of Software Science and Computation Structures * POST: Principles of Security and Trust * TACAS: Tools and Algorithms for the Construction and Analysis of Systems -- INVITED TALKS -- Unifying speakers: Daniel Licata (Wesleyan University, USA) Catuscia Palamidessi (INRIA Saclay and LIX, France) CC invited speaker: Keshav Pingali (University of Texas, USA) FoSSaCS invited speaker: Frank Pfenning (Carnegie Mellon University, USA) TACAS invited speaker: Wang Yi (Uppsala University, Sweden) -- CONTRIBUTED PAPERS See the accepted paper lists and the programme of the main conferences at the conference website. -- SATELLITE EVENTS (11-12 and 18 April) -- 17 satellite workshops will take place before or after ETAPS 2015. GALOP, GaM, QAPL (11-12 April) FMSPLE, FOPARA, SynCop, VPT (11 April) DICE, FESCA, VerifyThis, WoC, WPLI (12 April) HotSpot, MBT, PLACES, TTATT, TPDP (18 April) -- REGISTRATION Early registration is until Saturday, 14 February 2015. Normal-rate registration is until Tuesday, 10 March 2015. -- ACCOMMODATION We request that participants arrange their accommodation on their own. See our recommendations on the website. -- HOST CITY -- London is one of the most visited and cosmopolitan cities on earth. It is a leading global city, with strengths in the arts, commerce, education, entertainment, fashion, finance, healthcare, media, professional services, research and development, tourism and transport all contributing to its prominence. It can be reached by more people, from more destinations, in less time, than any other destination in the world. -- ORGANIZERS General chairs: Pasquale Malacaria, Nikos Tzevelekos Workshop chair: Paulo Oliva Publicity chairs: Michael Tautschnig and Greta Yorsh Further organizers: Dino Distefano, Edmund Robinson and Mehrnoosh Sadrzadeh --- HOST INSTITUTION Queen Mary University of London -- FURTHER INFORMATION -- Please do not hesitate to contact the organizers at etaps2015(a)qmul.ac.uk

1 0

TYPES 2015 2nd call for contributions
by Tarmo Uustalu 13 Feb '15

13 Feb '15

Reminder: Abstracts (2 pp easychair.cls) due by 13 March 2015 News: Tutorials by Joachim Kock and Peter LeFanu Lumsdaine. Post-proceedings volume in LIPIcs confirmed. CALL FOR CONTRIBUTIONS 21st International Conference on Types for Proofs and Programs, TYPES 2015 Tallinn, Estonia, 18-21 May 2015 http://cs.ioc.ee/types15/ Background The TYPES meetings are a forum to present new and on-going work in all aspects of type theory and its applications, especially in formalized and computer assisted reasoning and computer programming. The meetings from 1990 to 2008 were annual workshops of a sequence of five EU funded networking projects. Since 2009, TYPES has been run as an independent conference series. Previous TYPES meetings were held in Antibes (1990), Edinburgh (1991), Båstad (1992), Nijmegen (1993), Båstad (1994), Torino (1995), Aussois (1996), Kloster Irsee (1998), Lökeberg (1999), Durham (2000), Berg en Dal near Nijmegen (2002), Torino (2003), Jouy en Josas near Paris (2004), Nottingham (2006), Cividale del Friuli (2007), Torino (2008), Aussois (2009), Warsaw (2010), Bergen (2011), Toulouse (2013), Paris (2014). The TYPES areas of interest include, but are not limited to: foundations of type theory and constructive mathematics; applications of type theory; dependently typed programming; industrial uses of type theory technology; meta-theoretic studies of type systems; proof assistants and proof technology; automation in computer-assisted reasoning; links between type theory and functional programming; formalizing mathematics using type theory. We encourage talks proposing new ways of applying type theory. Invited speakers Gilles Barthe (IMDEA Software) Andrej Bauer (University of Ljubljana) Peter Selinger (Dalhousie University) Tutorials Joachim Kock (Universitat Autònoma de Barcelona) Peter LeFanu Lumsdaine (Stockholm University) Contributed talks We solicit contributed talks. Selection of those will be based on extended abstracts/short papers of 2 pp formatted with easychair.cls. Submission is via EasyChair by 13 March 2015. The authors will be notified of acceptance/rejection by 3 April 2015. Camera-ready versions of the accepted contributions, due by 24 April 2015, will be published in an informal book of abstracts for distribution at the workshop. Post-proceedings Similarly to TYPES 2011, 2013, 2014, we will publish a post-proceedings in the Leibniz International Proceedings in Informatics (LIPIcs) series. Submission to that volume will be open for everyone. Tentative submission deadline: mid-September 2015. Programme committee Andrea Asperti (Università di Bologna) Robert Atkey (University of Edinburgh) Ulrich Berger (Swansea University) Jean-Philippe Bernardy (Chalmers University of Technology) Edwin Brady (University of St Andrews) Joëlle Despeyroux (INRIA Sophia Antipolis - Méditerranée) Herman Geuvers (Radboud Universiteit Nijmegen) Sam Lindley (University of Edinburgh) Assia Mahboubi (INRIA Saclay - Île-de-France) Ralph Matthes (IRIT, CNRS and Université Paul Sabatier) Aleks Nanevski (IMDEA Software) Christine Paulin-Mohring (LRI, Université Paris-Sud) Simona Ronchi Della Rocca (Università di Torino) Ulrich Schöpp (Ludwig-Maximilians-Universität München) Bas Spitters (Carnegie Mellon University) Pawel Urzyczyn (University of Warsaw) Tarmo Uustalu (Institute of Cybernetics, Tallinn) (chair) Organizers Logic and semantics group, Institute of Cybernetics, Tallinn Sponsors ERDF via EXCS, the Estonian Centre of Excellence in Computer Science

1 0

ICFP 2015: Final Call for Papers
by David Van Horn 13 Feb '15

13 Feb '15

===================================================================== 20th ACM SIGPLAN International Conference on Functional Programming ICFP 2015 Vancouver, Canada, August 31 - September 2, 2015 http://www.icfpconference.org/icfp2015 ===================================================================== Important Dates ~~~~~~~~~~~~~~~ Submissions due: Friday, February 27 2015, 23:59 UTC-11 https://icfp15.hotcrp.com/ Author response: Tuesday, April 21, 2015 through Thursday, 23 April, 2015 Notification: Friday, May 1, 2015 Final copy due: Friday, June 12, 2015 Scope ~~~~~ ICFP 2015 seeks original papers on the art and science of functional programming. Submissions are invited on all topics from principles to practice, from foundations to features, and from abstraction to application. The scope includes all languages that encourage functional programming, including both purely applicative and imperative languages, as well as languages with objects, concurrency, or parallelism. Topics of interest include (but are not limited to): * Language Design: concurrency, parallelism, and distribution; modules; components and composition; metaprogramming; type systems; interoperability; domain-specific languages; and relations to imperative, object-oriented, or logic programming. * Implementation: abstract machines; virtual machines; interpretation; compilation; compile-time and run-time optimization; garbage collection and memory management; multi-threading; exploiting parallel hardware; interfaces to foreign functions, services, components, or low-level machine resources. * Software-Development Techniques: algorithms and data structures; design patterns; specification; verification; validation; proof assistants; debugging; testing; tracing; profiling. * Foundations: formal semantics; lambda calculus; rewriting; type theory; monads; continuations; control; state; effects; program verification; dependent types. * Analysis and Transformation: control-flow; data-flow; abstract interpretation; partial evaluation; program calculation. * Applications: symbolic computing; formal-methods tools; artificial intelligence; systems programming; distributed-systems and web programming; hardware design; databases; XML processing; scientific and numerical computing; graphical user interfaces; multimedia and 3D graphics programming; scripting; system administration; security. * Education: teaching introductory programming; parallel programming; mathematical proof; algebra. * Functional Pearls: elegant, instructive, and fun essays on functional programming. * Experience Reports: short papers that provide evidence that functional programming really works or describe obstacles that have kept it from working. If you are concerned about the appropriateness of some topic, do not hesitate to contact the program chair. Abbreviated instructions for authors ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ * By Friday, 27 February 2015, 23:59 UTC-11, submit a full paper of at most 12 pages (6 pages for an Experience Report) in standard ACM conference format, including bibliography, figures, and appendices. The deadlines will be strictly enforced and papers exceeding the page limits will be summarily rejected. * Authors have the option to attach supplementary material to a submission, on the understanding that reviewers may choose not to look at it. * Each submission must adhere to SIGPLAN's republication policy, as explained on the web at http://www.sigplan.org/Resources/Policies/Republication * Authors of resubmitted (but previously rejected) papers have the option to attach an annotated copy of the reviews of their previous submission(s), explaining how they have addressed these previous reviews in the present submission. If a reviewer identifies him/herself as a reviewer of this previous submission and wishes to see how his/her comments have been addressed, the program chair will communicate to this reviewer the annotated copy of his/her previous review. Otherwise, no reviewer will read the annotated copies of the previous reviews. Overall, a submission will be evaluated according to its relevance, correctness, significance, originality, and clarity. It should explain its contributions in both general and technical terms, clearly identifying what has been accomplished, explaining why it is significant, and comparing it with previous work. The technical content should be accessible to a broad audience. Functional Pearls and Experience Reports are separate categories of papers that need not report original research results and must be marked as such at the time of submission. Detailed guidelines on both categories are on the conference web site. Proceedings will be published by ACM Press. Authors of accepted submissions will have a choice of one of three ways to manage their publication rights. These choices are described at http://authors.acm.org/main.html Presentations will be videotaped and released online if the presenter consents. 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. Formatting: 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 ACM 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/ Submission: Submissions will be accepted on the web using a link that will be posted at https://icfp15.hotcrp.com/ Improved versions of a paper may be submitted at any point before the submission deadline using the same web interface. Author response: Authors will have a 72-hour period, starting at 0:00 UTC on Tuesday, 21 April 2015, to read reviews and respond to them. ACM Author-Izer is a unique service that enables ACM authors to generate and post links on either their home page or institutional repository for visitors to download the definitive version of their articles from the ACM Digital Library at no charge. Downloads through Author-Izer links are captured in official ACM statistics, improving the accuracy of usage and impact measurements. Consistently linking the definitive version of ACM article should reduce user confusion over article versioning. After your article has been published and assigned to your ACM Author Profile page, please visit http://www.acm.org/publications/acm-author-izer-service to learn how to create your links for free downloads from the ACM DL. Publication date: The official publication date of accepted papers is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work. General Chair: Kathleen Fisher Tufts University (USA) Program Chair: John Reppy University of Chicago (USA) Program Committee: Amal Ahmed Northeastern University (USA) Jean-Philippe Bernardy Chalmers University of Technology (Sweden) Matthias Blume Google (USA) William Byrd University of Utah (USA) Andy Gill University of Kansas (USA) Neal Glew Google (USA) Fritz Henglein University of Copenhagen (Denmark) Gabriele Keller University of New South Wales and NICTA (Australia) Andrew Kennedy Microsoft Research Cambridge (UK) Neelakantan Krishnaswami Birmingham University (UK) Daan Leijen Microsoft Research Redmond (USA) Keiko Nakata FireEye Dresden (Germany) Mike Rainey INRIA Rocquencourt (France) Andreas Rossberg Google (Germany) Manuel Serrano INRIA Sophia Antipolis (France) Simon Thompson University of Kent (UK) David Van Horn University of Maryland (USA) Stephanie Weirich University of Pennsylvania (USA)

1 0

[TFP 2015] 2nd call for papers
by Peter Achten 13 Feb '15

13 Feb '15

----------------------------- S E C O N D C A L L F O R P A P E R S ----------------------------- ======== TFP 2015 =========== 16th Symposium on Trends in Functional Programming June 3-5, 2015 Inria Sophia Antipolis, France http://tfp2015.inria.fr/ 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. The selected revised papers will be published as a Springer Lecture Notes in Computer Science (www.springer.com/lncs) volume. TFP 2015 will be the main event of a pair of functional programming events. TFP 2015 will be accompanied by the International Workshop on Trends in Functional Programming in Education (TFPIE), which will take place on June 2nd. 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; * and in Soesterberg (The Netherlands) in 2014. For further general information about TFP please see the TFP homepage. (http://www.tifp.org/) == INVITED SPEAKER == TFP is pleased to announce a talk by the following invited speaker: * Laurence Rideau is a researcher at INRIA and is interested in the semantics of programming languages , the formal methods, and the verification tools for programs and mathematical proofs. She participated in the beginnings of the Compcert project (certified compiler), and is part of the Component Mathematical team in the MSR-INRIA joint laboratory, who performed the formalization of the Feit-Thompson theorem successfully. Thirty years ago, computers barged in mathematics with the famous proof of the Four Color Theorem. Initially limited to simple calculation, their role is now expanding to the reasoning whose complexity is beyond the capabilities of most humans, as the proof of the classification of finite simple groups. We present our large collaborative adventure around the formalization of the Feit-Thompson theorem (http://en.wikipedia.org/wiki/Feit%E2%80%93Thompson_theorem) that is a first step to the classification of finite groups and that uses a palette of methods and techniques that range from formal logic to software (and mathematics) engineering. == 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: 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 2015 program chair, Manuel Serrano. == 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 <to be announced> == 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=tfp2015 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: March 17, 2015 Notification: March 24, 2015 Registration: April 7, 2015 TFP Symposium: June 3-5, 2015 Student papers feedback: June 9, 2015 Submission for formal review: July 1, 2015 Notification of acceptance: September 8, 2015 Camera ready paper: October 8, 2015 == PROGRAM COMMITTEE == Janis Voigtländer University of Bonn, DE Scott Owens University of Kent, UK Neil Sculthorpe Swansea University, UK Colin Runciman University of York, UK Manuel Serrano Inria (PC chair), FR Rinus Plasmeijer University of Nijmegen, NL Tomas Petricek University of Cambridge, UK Marco T. Morazan Seton Hall University, USA Wolfgang De Meuter Vrije Universiteit Brussel, BE Michel Mauny Ensta ParisTech, FR Sam Lindley The University of Edinburgh, UK Daan Leijen Microsoft, USA Jurriaan Hage Utrecht University, NL Andy Gill University of Kansas, USA Thomas Gazagnaire University of Cambrige, UK Lars-Ake Fredlund Universidad Politécnica de Madrid, ES Jean-Christophe Filliatre Université Paris Sud Orsay, FR Marc Feeley Université de Montréal, CA Olaf Chitil University of Kent, UK Edwin Brady University of St Andrews, UK

1 0

STAF 2015: Joint Call for Papers
by Vadim Zaytsev 13 Feb '15

13 Feb '15

———————————————————————————————————————————— * Joint Call for Papers for STAF 2015 * Software Technologies: Applications and Foundations * 20-24 July 2015, L'Aquila, Italy * http://www.disim.univaq.it/staf2015/ * https://twitter.com/staf2015 ———————————————————————————————————————————— STAF 2015 events include: - ICMT'15: Eighth International Conference on Model Transformation - ECMFA'15: Eleventh European Conference on Modelling Foundations and Applications - TAP'15: Ninth International Conference on Tests and Proofs - ICGT'15: Seventh International Conference on Graph Transformation - TTC'15: Eighth Transformation Tool Contest - BX'15: Fourth International Workshop on Bidirectional Transformations - Projects Showcase - Doctoral Symposium - (more workshops TBA) ———————————————————————————————————————————— The deadlines coming up soon are (abstract/paper deadlines given, if applicable): - 13/20 February: TAP - 15/22 February: ICMT - 27 February/6 March: ECMFA - 11 March: TTC (cases) - 20/27 March: ICGT We provide some brief information on each of the conferences below, please refer to their corresponding websites for complete calls for submissions, as well as more detailed explanation of each event's topics and priorities. ———————————————————————————————————————————— * 9th International Conference on Tests and Proofs (TAP 2015) * http://tap2015.in.tum.de/ * http://tap2015.in.tum.de/call.shtml * https://www.easychair.org/conferences/?conf=tap2015 The TAP conference is devoted to the synergy of proofs and tests, to the application of techniques from both sides and their combination for the advancement of software quality. TAP 2015 will accept three kinds of submissions: regular research papers, short papers and tutorial proposals. TAP 2015 keynote talk will be given by Einar Broch Johnsen. Organisation: - Program Co-Chair: Jasmin C. Blanchette (TU Muenchen, Inria) - Program Co-Chair: Nikolai Kosmatov (CEA LIST) ———————————————————————————————————————————— * 8th International Conference on Model Transformation (ICMT 2015) * http://www.model-transformation.org/ * http://www.di.univaq.it/diruscio/sites/ICMT2015/?page_id=21 * https://easychair.org/conferences/?conf=icmt2015 Model transformation encompasses a variety of technical spaces (modelware, grammarware, dataware, ontoware), a variety of model representations (text, tables, trees, graphs) and a variety of transformation paradigms (rule-based transformations, term rewriting, OO manipulations, weaving, refactoring). The study of model transformation includes foundations, structuring mechanisms, and properties, such as modularity, composability and parametrisation of transformations, transformation languages, techniques and tools. To achieve impact on software engineering in general, methodologies and tools are required to integrate model transformation into existing development environments and processes. Four kinds of submissions are sought: research papers, application papers, exploratory papers and tool demo papers. Organisation: - Program Co-Chair: Dimitris Kolovos (University of York, UK) - Program Co-Chair: Manuel Wimmer (Vienna University of Technology, Austria) - Social Chair: James R. Williams (University of York, UK) - Web Chair: Javier Troya (Vienna University of Technology, Austria) ———————————————————————————————————————————— * 11th European Conference on Modelling Foundations and Applications (ECMFA 2015) * https://www.uni-marburg.de/fb12/swt/ecmfa2015/ * https://www.uni-marburg.de/fb12/swt/ecmfa2015/cfp.pdf * https://www.easychair.org/conferences/?conf=ecmfa2015 The ECMFA conference series is dedicated to advancing the state of knowledge and fostering the industrial application of Model-Based Engineering as an approach to the design, analysis and development of software and systems that relies on exploiting high-level models and computer-based automation to achieve significant boosts in both productivity and quality. Its focus is on engaging the key figures of research and industry in a dialogue which results in stronger and more effective practical application of MBE, hence producing more reliable software based on state-of-the-art research results. ECMFA has two distinct Paper Tracks: one for research papers (Track F) dealing with the foundations for MBE, and one for industrial applications papers (Track A) dealing with the applications of MBE, including experience reports on MBE tools. Organisation: - Foundations Program Chair: Gabriele Taentzer (Philipps-Universitaet Marburg, Germany) - Applications Program Chair: Francis Bordeleau (Carleton University, Ottawa, Canada) ———————————————————————————————————————————— * 8th Transformation Tool Contest (TTC 2015) * http://www.transformation-tool-contest.eu/ * http://www.transformation-tool-contest.eu/cfc.html * https://www.easychair.org/conferences/?conf=ttc2015 The aim of the Transformation Tool Contest is to evaluate and compare the expressiveness, the usability and the performance of transformation tools for structured data along a number of selected challenging case studies. Cases can still be submitted up to 11 March 2015. In 2015, our special focus is on program transformations and bidirectional transformations. Shortly after that deadline, the best cases will be selected, a Call for Solutions will be issued, and then people have the chance to submit solutions to the selected cases until 29 April 2015. Organisation: - Tassilo Horn (University of Koblenz-Landau, Germany) - Filip Krikava (University of Lille & INRIA Lille) - Louis Rose (University of York, UK) ———————————————————————————————————————————— * 7th International Conference on Graph Transformation (ICGT 2015) * http://btn1x4.inf.uni-bayreuth.de/icgt2015/ * http://btn1x4.inf.uni-bayreuth.de/icgt2015/cfp.html * http://www.easychair.org/conferences/?conf=icgt2015 Many dynamic structures can be represented as graphs and their changes modeled as graph transformations. Theory and applications of graphs, graph grammars and graph transformation systems have been studied in our community for more than 40 years. This year ICGT offers two tracks: a Foundations Track and an Applications Track. The research papers (limited to 16 pages) submitted for the Foundations Track describe innovative contributions to current research on the foundations of graph transformations and are evaluated with respect to their originality, significance, and technical soundness. Papers for the applications track can be submitted in different categories: technical papers (limited to 16 pages), case studies (limited to 12 pages) and tool demo papers (limited to 8 pages). Organisation: - Program Co-Chair: Francesco Parisi-Presicce (University of Rome La Sapienza, Italy) - Program Co-Chair: Bernhard Westfechtel (University of Bayreuth, Germany) - Publicity Chair: Thomas Buchmann (University of Bayreuth, Germany) ———————————————————————————————————————————— Organisation of STAF 2015: - General Chair: Alfonso Pierantonio (Università degli Studi dell’Aquila, Italy) - Workshop Co-Chair: Davide Di Ruscio (Università degli Studi dell’Aquila, Italy) - Workshop Co-Chair: Pieter Van Gorp (Eindhoven University of Technology, The Netherlands) - Doctoral Symposium Co-Chair: Henry Muccini (Università degli Studi dell’Aquila, Italy) - Doctoral Symposium Co-Chair: Dániel Varró (Budapest University of Technology and Economics, Hungary) - Doctoral Symposium Co-Chair: Martin Gogolla (University of Bremen, Germany) - Projects Showcase Co-Chair: Marco Autili (Università degli Studi dell’Aquila, Italy) - Projects Showcase Co-Chair: Bernhard Schätz (firtiss GmbH, Germany) - Publication Co-Chair: Louis Rose (University of York, UK) - Publication Co-Chair: Javier Troya (Technische Universität Wien, Austria) - Social Media and Publicity Chair: Vadim Zaytsev (Universiteit van Amsterdam, The Netherlands) - Web Chair: Francesco Basciani (Università degli Studi dell’Aquila, Italy) - Local: Massimo Tivoli, Romina Eramo, Ludovico Iovino, Francesco Gallo, Juri Di Rocco, Gianni Rosa ————————————————————————————————————————————

1 0