From ekmett at gmail.com Tue Mar 1 05:58:32 2016 From: ekmett at gmail.com (Edward Kmett) Date: Tue, 1 Mar 2016 00:58:32 -0500 Subject: [Haskell] Haskell Summer of Code Message-ID: I'm sorry to announce that this year haskell.org was not accepted for the 2016 Google Summer of Code. There has been a lot of turnover over the last 3 years as they have rotated in and out new organizations, including many that have been in the program as long as us, so while this isn't entirely unexpected, it is disheartening. As this comes on the tail of our most successful year in the program, the news was particularly devastating to all involved. We do not expect this to be a permanent condition. Many organizations rotate back in and out of the Summer of Code each year. Operationally, this raises two main concerns: The first is that there will be a rather sharp dip in income for the next year for haskell.org. Last year's GSoC accounted for $9500 worth of income towards managing servers and the like, but we will not receive such a booster shot this year. The second is that we absolutely do not want the infrastructure we have in place around the Summer of Code to fall away. We had 50 mentors register last year! To address both of these concerns, we are exploring running our own self-funded *Haskell Summer of Code *this year*. *In December, we incorporated haskell.org as a 501(c)(3) non-profit. This now enables us to pay for work directly. We should be able to fund at least one slot out of pocket from existing haskell.org funds and fund additional slots with donations. https://wiki.haskell.org/Donate_to_Haskell.org More information will be forthcoming as we work out the details. Please feel free to contact me if you think you can help or if you have any questions or concerns. -Edward Kmett -------------- next part -------------- An HTML attachment was scrubbed... URL: From P.Achten at cs.ru.nl Tue Mar 1 07:59:54 2016 From: P.Achten at cs.ru.nl (Peter Achten) Date: Tue, 1 Mar 2016 08:59:54 +0100 Subject: [Haskell] [TFP 2016] 2nd call for papers Message-ID: <56D54BFA.9010905@cs.ru.nl> ----------------------------- C A L L F O R P A P E R S ----------------------------- ======== TFP 2016 =========== 17th Symposium on Trends in Functional Programming June 8-10, 2016 University of Maryland, College Park Near Washington, DC http://tfp2016.org/ The symposium on Trends in Functional Programming (TFP) is an international forum for researchers with interests in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions (see below). Authors of draft papers will be invited to submit revised papers based on the feedback receive at the symposium. A post-symposium refereeing process will then select a subset of these articles for formal publication. TFP 2016 will be the main event of a pair of functional programming events. TFP 2016 will be accompanied by the International Workshop on Trends in Functional Programming in Education (TFPIE), which will take place on June 7nd. == INVITED SPEAKERS == TFP 2016 is pleased to announce keynote talks by the following two invited speakers: * Ronald Garcia, University of British Columbia * Steve Zdancewic, University of Pennsylvania == HISTORY == The TFP symposium is the heir of the successful series of Scottish Functional Programming Workshops. Previous TFP symposia were held in * Edinburgh (Scotland) in 2003; * Munich (Germany) in 2004; * Tallinn (Estonia) in 2005; * Nottingham (UK) in 2006; * New York (USA) in 2007; * Nijmegen (The Netherlands) in 2008; * Komarno (Slovakia) in 2009; * Oklahoma (USA) in 2010; * Madrid (Spain) in 2011; * St. Andrews (UK) in 2012; * Provo (Utah, USA) in 2013; * Soesterberg (The Netherlands) in 2014; * and Inria Sophia-Antipolis (France) in 2015. For further general information about TFP please see the TFP homepage. (http://www.tifp.org/). == SCOPE == The symposium recognizes that new trends may arise through various routes. As part of the Symposium's focus on trends we therefore identify the following five article categories. High-quality articles are solicited in any of these categories: Research Articles: leading-edge, previously unpublished research work Position Articles: on what new trends should or should not be Project Articles: descriptions of recently started new projects Evaluation Articles: what lessons can be drawn from a finished project Overview Articles: summarizing work with respect to a trendy subject Articles must be original and not simultaneously submitted for publication to any other forum. They may consider any aspect of functional programming: theoretical, implementation-oriented, or experience-oriented. Applications of functional programming techniques to other languages are also within the scope of the symposium. Topics suitable for the symposium include, but are not limited to: Functional programming and multicore/manycore computing Functional programming in the cloud High performance functional computing Extra-functional (behavioural) properties of functional programs Dependently typed functional programming Validation and verification of functional programs Debugging and profiling for functional languages Functional programming in different application areas: security, mobility, telecommunications applications, embedded systems, global computing, grids, etc. Interoperability with imperative programming languages Novel memory management techniques Program analysis and transformation techniques Empirical performance studies Abstract/virtual machines and compilers for functional languages (Embedded) domain specific languages New implementation strategies Any new emerging trend in the functional programming area If you are in doubt on whether your article is within the scope of TFP, please contact the TFP 2016 program chair, David Van Horn. == BEST PAPER AWARDS == To reward excellent contributions, TFP awards a prize for the best paper accepted for the formal proceedings. TFP traditionally pays special attention to research students, acknowledging that students are almost by definition part of new subject trends. A student paper is one for which the authors state that the paper is mainly the work of students, the students are listed as first authors, and a student would present the paper. A prize for the best student paper is awarded each year. In both cases, it is the PC of TFP that awards the prize. In case the best paper happens to be a student paper, that paper will then receive both prizes. == SPONSORS == TFP is financially supported by CyberPoint, Galois, Trail of Bits, and the University of Maryland Computer Science Department. == PAPER SUBMISSIONS == Acceptance of articles for presentation at the symposium is based on a lightweight peer review process of extended abstracts (4 to 10 pages in length) or full papers (20 pages). The submission must clearly indicate which category it belongs to: research, position, project, evaluation, or overview paper. It should also indicate which authors are research students, and whether the main author(s) are students. A draft paper for which ALL authors are students will receive additional feedback by one of the PC members shortly after the symposium has taken place. We use EasyChair for the refereeing process. Papers must be submitted at: https://easychair.org/conferences/?conf=tfp2016 Papers must be written in English, and written using the LNCS style. For more information about formatting please consult the Springer LNCS web site: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 == IMPORTANT DATES == Submission of draft papers: April 8, 2016 Notification: April 15, 2016 Registration: May 13, 2016 TFP Symposium: June 8-10, 2016 Student papers feedback: June 14, 2016 Submission for formal review: July 14, 2016 Notification of acceptance: September 14, 2016 Camera ready paper: October 14, 2016 == PROGRAM COMMITTEE == Amal Ahmed Northeastern University (US) Nada Amin ?cole Polytechnique F?d?rale de Lausanne (CH) Kenichi Asai Ochanomizu University (JP) Malgorzata Biernacka University of Wroclaw (PL) Laura Castro University of A Coru?a (ES) Ravi Chugh University of Chicago (US) Silvia Ghilezan University of Novi Sad (SR) Clemens Grelck University of Amsterdam (NL) John Hughes Chalmers University of Technology (SE) Suresh Jagannathan Purdue University (US) Pieter Koopman Radboud University Nijmegen (NL) Geoffrey Mainland Drexel University (US) Chris Martens University of California, Santa Cruz (US) Jay McCarthy University of Massachusetts, Lowell (US) Heather Miller ?cole Polytechnique F?d?rale de Lausanne (CH) Manuel Serrano INRIA, Sophia-Antipolis (FR) Scott Smith Johns Hopkins University (US) ?ric Tanter University of Chile (CL) David Van Horn (Chair) University of Maryland (US) Niki Vazou University of California, San Diego (US) Stephanie Weirich University of Pennsylvania (US) From dominic at steinitz.org Tue Mar 1 14:26:01 2016 From: dominic at steinitz.org (Dominic Steinitz) Date: Tue, 1 Mar 2016 14:26:01 +0000 Subject: [Haskell] Haskell Summer of Code Message-ID: <61B4D249-1BD2-4BFF-A04E-B891E0275AD6@steinitz.org> Sad news. I'd like to say a very big thank you to you and everyone else involved in organising our GSoC participation. I know it must have been a considerable amount of work. I for one really appreciate the efforts you have made on all our behalves. On 01/03/2016 12:00, haskell-request at haskell.org wrote: > I'm sorry to announce that this year haskell.org was not accepted for the > 2016 Google Summer of Code. > > Dominic Steinitz dominic at steinitz.org http://idontgetoutmuch.wordpress.com From erlangworkshop at gmail.com Thu Mar 3 07:19:21 2016 From: erlangworkshop at gmail.com (Erlang Workshop) Date: Thu, 3 Mar 2016 08:19:21 +0100 Subject: [Haskell] First Call For Papers -- Erlang Workshop 2016 Message-ID: <56D7E579.5000400@gmail.com> Apologies for any duplicates you may receive. CALL FOR PAPERS =============== Fifteenth ACM SIGPLAN Erlang Workshop ----------------------------------------------------------- Nara, Japan, September 23, 2016 Satellite event of the 21st ACM SIGPLAN International Conference on Functional Programming (ICFP 2016) September 18-24, 2016 The Erlang Workshop aims to bring together the open source, academic, and industrial communities of Erlang, to discuss technologies and languages related to Erlang. The Erlang model of concurrent programming has been widely emulated, for example by Akka in Scala, and even new programming languages were designed atop of the Erlang VM, such as Elixir. Therefore we would like to broaden the scope of the workshop to include systems like those mentioned above. The workshop will enable participants to familiarize themselves with recent developments on new techniques and tools, novel applications, draw lessons from users' experiences and identify research problems and common areas relevant to the practice of Erlang, Erlang-like languages, functional programming, distribution, concurrency etc. We invite three types of submissions. 1. Technical papers describing interesting contributions either in theoretical work or real world applications. Submission related to Erlang, Elixir, Akka, CloudHaskell, Occam, and functional programming are welcome and encouraged. Topics of interest include (but are not limited to): - virtual machine extensions and compilation techniques - implementations and interfaces of Erlang in/with other languages - new tools (profilers, tracers, debuggers, testing frameworks etc.) - language extensions - formal semantics, correctness and verification - testing Erlang programs - program analysis and transformation - Erlang-like languages and technologies - functional languages and multi-processing - concurrency in functional languages - functional languages and distributed computing - parallel programming - pattern based programming - Erlang in education The maximum length for technical papers is restricted to 12 pages. 2. Experience reports describing uses of Erlang in the "real-world", Erlang libraries for specific tasks, experiences from using Erlang in specific application domains, reusable programming idioms and elegant new ways of using Erlang to approach or solve a particular problem. The maximum length for the experience report is restricted to 2 pages. 3. Poster presentations describing topics related to the workshop goals. Each includes a maximum of 2 pages of the abstract and summary. Presentations in this category will be given an hour of shared simultaneous demonstration time. Workshop Co-Chairs ------------------ Melinda T?th, E?tv?s Lor?nd University, Hungary Scott Lystig Fritchie, Basho Japan KK Program Committee ----------------------------- (Note: the Workshop Co-Chairs are also committee members) Jamie Allen, Typesafe Laura M. Castro, University of A Coru?a, Spain Natalia Chechina, University of Glasgow Viktoria F?rd?s, Erlang Solutions Yosuke Hara, Rakuten, Inc. Kenji Rikitake, KRPEO Bruce Tate, iCanMakeItBetter Simon Thompson, University of Kent, UK Important Dates ----------------------- Submissions due: Friday, 3 June, 2016 Author notification: Friday, 8 July, 2016 Final copy due: Sunday, 31 July, 2016 Workshop date: September 23, 2016 Instructions to authors -------------------------------- Papers must be submitted online via EasyChair (via the "Erlang2016" event). The submission page is https://www.easychair.org/conferences/?conf=erlang2016 Submitted papers should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines. Each submission must adhere to SIGPLAN's republication policy. Violation risks summary rejection of the offending submission. Accepted papers will be published by the ACM and will appear in the ACM Digital Library. Paper submissions will be considered for poster submission in the case they are not accepted as full papers. Venue & Registration Details ------------------------------------------ For registration, please see the ICFP 2016 web site at: http://conf.researchr.org/home/icfp-2016 Related Links -------------------- CFP: http://conf.researchr.org/track/icfp-2016/erlang-2016-papers ICFP 2016 web site: http://conf.researchr.org/home/icfp-2016 Past ACM SIGPLAN Erlang workshops: http://www.erlang.org/workshop/ Open Source Erlang: http://www.erlang.org/ EasyChair submission site: https://www.easychair.org/conferences/?conf=erlang2016 Author Information for SIGPLAN Conferences: http://www.sigplan.org/authorInformation.htm Atendee Information for SIGPLAN Events: http://www.sigplan.org/Resources/Policies/Anti-harassment -------------- next part -------------- An HTML attachment was scrubbed... URL: From icfp.publicity at googlemail.com Thu Mar 3 07:56:11 2016 From: icfp.publicity at googlemail.com (Lindsey Kuper) Date: Wed, 2 Mar 2016 23:56:11 -0800 Subject: [Haskell] ICFP 2016 Final Call for Papers Message-ID: ICFP 2016 The 21st ACM SIGPLAN International Conference on Functional Programming http://conf.researchr.org/home/icfp-2016 Final Call for Papers Important dates --------------- Submissions due: Wednesday, March 16 2016, 15:00 (UTC) https://icfp2016.hotcrp.com (now open) Author response: Monday, 2 May, 2016, 15:00 (UTC) - Thursday, 5 May, 2016, 15:00 (UTC) Notification: Friday, 20 May, 2016 Final copy due: TBA Early registration: TBA Conference: Monday, 19 September - Wednesday, 21 September, 2016 Please note ----------- For the sake of lightweight double-blind reviewing, the submission procedure may take a little more time than in previous ICFPs; we recommend that you register your submission as early as possible (you can update your paper until the deadline). Scope ----- ICFP 2016 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 Wednesday, March 16 2016, 15:00 (UTC), submit a full paper of at most 12 pages (6 pages for an Experience Report), in standard SIGPLAN conference format, including figures but ***excluding bibliography***. The deadlines will be strictly enforced and papers exceeding the page limits will be summarily rejected. ***ICFP 2016 will employ a lightweight double-blind reviewing process.*** To facilitate this, submitted papers must adhere to two rules: 1. ***author names and institutions must be omitted***, and 2. ***references to authors' own related work should be in the third person*** (e.g., not "We build on our previous work ..." but rather "We build on the work of ..."). The purpose of this process is to help the PC and external reviewers come to an initial judgement about the paper without bias, not to make it impossible for them to discover the authors if they were to try. Nothing should be done in the name of anonymity that weakens the submission or makes the job of reviewing the paper more difficult (e.g., important background references should not be omitted or anonymized). In addition, authors should feel free to disseminate their ideas or draft versions of their paper as they normally would. For instance, authors may post drafts of their papers on the web or give talks on their research ideas. We have put together a document answering frequently asked questions that should address many common concerns: http://conf.researchr.org/track/icfp-2016/icfp-2016-papers#Submission-and-Reviewing-FAQ (last updated February 8, 2016). - Authors have the option to attach supplementary material to a submission, on the understanding that reviewers may choose not to look at it. The material should be uploaded at submission time, as a single pdf or a tarball, not via a URL. This supplementary material may or may not be anonymized; if not anonymized, it will only be revealed to reviewers after they have submitted their review of your paper and learned your identity. - 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 given below. 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 at least 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 SIGPLAN conference format: two columns, nine-point font on a ten-point baseline, with columns 20pc (3.33in) wide and 54pc (9in) tall, with a column gutter of 2pc (0.33in). A suitable document template for LaTeX is available at http://www.sigplan.org/Resources/Author/ Submission: Submissions will be accepted at https://icfp2016.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 15:00 UTC on Monday, 2 May, 2016, 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. AUTHORS TAKE NOTE: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of your conference. The official publication date affects the deadline for any patent filings related to published work. Special categories of papers ---------------------------- In addition to research papers, ICFP solicits two kinds of papers that do not require original research contributions: Functional Pearls, which are full papers, and Experience Reports, which are limited to six pages. Authors submitting such papers may wish to consider the following advice. Functional Pearls ================= A Functional Pearl is an elegant essay about something related to functional programming. Examples include, but are not limited to: - a new and thought-provoking way of looking at an old idea - an instructive example of program calculation or proof - a nifty presentation of an old or new data structure - an interesting application of functional programming techniques - a novel use or exposition of functional programming in the classroom While pearls often demonstrate an idea through the development of a short program, there is no requirement or expectation that they do so. Thus, they encompass the notions of theoretical and educational pearls. Functional Pearls are valued as highly and judged as rigorously as ordinary papers, but using somewhat different criteria. In particular, a pearl is not required to report original research, but, it should be concise, instructive, and entertaining. Your pearl is likely to be rejected if your readers get bored, if the material gets too complicated, if too much specialized knowledge is needed, or if the writing is inelegant. The key to writing a good pearl is polishing. A submission you wish to have treated as a pearl must be marked as such on the submission web page, and should contain the words ``Functional Pearl'' somewhere in its title or subtitle. These steps will alert reviewers to use the appropriate evaluation criteria. Pearls will be combined with ordinary papers, however, for the purpose of computing the conference's acceptance rate. Experience Reports ================== The purpose of an Experience Report is to help create a body of published, refereed, citable evidence that functional programming really works ? or to describe what obstacles prevent it from working. Possible topics for an Experience Report include, but are not limited to: - insights gained from real-world projects using functional programming - comparison of functional programming with conventional programming in the context of an industrial project or a university curriculum - project-management, business, or legal issues encountered when using functional programming in a real-world project - curricular issues encountered when using functional programming in education - real-world constraints that created special challenges for an implementation of a functional language or for functional programming in general An Experience Report is distinguished from a normal ICFP paper by its title, by its length, and by the criteria used to evaluate it. - Both in the proceedings and in any citations, the title of each accepted Experience Report must begin with the words ``Experience Report'' followed by a colon. The acceptance rate for Experience Reports will be computed and reported separately from the rate for ordinary papers. - An Experience Report is at most six pages long. Each accepted Experience Report will be presented at the conference, but depending on the number of Experience Reports and regular papers accepted, authors of Experience reports may be asked to give shorter talks. - Because the purpose of Experience Reports is to enable our community to accumulate a body of evidence about the efficacy of functional programming, an acceptable Experience Report need not add to the body of knowledge of the functional-programming community by presenting novel results or conclusions. It is sufficient if the Report states a clear thesis and provides supporting evidence. The thesis must be relevant to ICFP, but it need not be novel. The program committee will accept or reject Experience Reports based on whether they judge the evidence to be convincing. Anecdotal evidence will be acceptable provided it is well argued and the author explains what efforts were made to gather as much evidence as possible. Typically, more convincing evidence is obtained from papers which show how functional programming was used than from papers which only say that functional programming was used. The most convincing evidence often includes comparisons of situations before and after the introduction or discontinuation of functional programming. Evidence drawn from a single person's experience may be sufficient, but more weight will be given to evidence drawn from the experience of groups of people. An Experience Report should be short and to the point: make a claim about how well functional programming worked on your project and why, and produce evidence to substantiate your claim. If functional programming worked for you in the same ways it has worked for others, you need only to summarize the results?the main part of your paper should discuss how well it worked and in what context. Most readers will not want to know all the details of your project and its implementation, but please characterize your project and its context well enough so that readers can judge to what degree your experience is relevant to their own projects. Be especially careful to highlight any unusual aspects of your project. Also keep in mind that specifics about your project are more valuable than generalities about functional programming; for example, it is more valuable to say that your team delivered its software a month ahead of schedule than it is to say that functional programming made your team more productive. If your paper not only describes experience but also presents new technical results, or if your experience refutes cherished beliefs of the functional-programming community, you may be better off submitting it as a full paper, which will be judged by the usual criteria of novelty, originality, and relevance. If you are unsure in which category to submit, the program chair will be happy to help you decide. Organizers ---------- General Co-Chairs: Jacques Garrigue (Nagoya University) Gabriele Keller (University of New South Wales) Program Chair: Eijiro Sumii (Tohoku University) Program Committee: Koen Claessen (Chalmers University of Technology) Joshua Dunfield (University of British Columbia, Canada) Matthew Fluet (Rochester Institute of Technology) Nate Foster (Cornell University) Dan Grossman (University of Washington, USA) Jurriaan Hage (Utrecht University) Roman Leshchinskiy (Standard Chartered Bank) Keisuke Nakano (The University of Electro-Communications) Aleksandar Nanevski (IMDEA Software Institute) Scott Owens (University of Kent) Sungwoo Park (Pohang University of Science and Technology) Amr Sabry (Indiana University) Tom Schrijvers (KU Leuven) Olin Shivers (Northeastern University) Walid Taha (Halmstad University) Dimitrios Vytiniotis (Microsoft Research, Cambridge) David Walker (Princeton University) Nobuko Yoshida (Imperial College London, UK) External Review Committee: See http://conf.researchr.org/committee/icfp-2016/icfp-2016-papers-external-review-committee . From dom.orchard at gmail.com Fri Mar 4 16:50:45 2016 From: dom.orchard at gmail.com (Dominic Orchard) Date: Fri, 4 Mar 2016 16:50:45 +0000 Subject: [Haskell] Call for Participation: PLACES 2016 Message-ID: <56D9BCE5.8010206@gmail.com> --------------------------------------------------------- Call for participation: 9th Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software Friday 8th April 2016 Co-located with ETAPS 2016, Eindhoven, The Netherlands --------------------------------------------------------- For more information: http://places16.by.di.fc.ul.pt --------------------------------------------------------- Modern hardware platforms, from the very small to the very large, increasingly provide parallel computing resources for applications to maximise performance. Many applications therefore need to make effective use of tens, hundreds, and even thousands of compute nodes. Computation in such systems is thus inherently concurrent and communication centric. Effectively programming such applications is challenging; performance, correctness, and scalability are difficult to achieve. Various programming paradigms and methods have emerged to aid this task. The development of effective programming methodologies for this increasingly parallel landscape therefore demands exploration and understanding of a wide variety of foundational and practical ideas. This workshop offers a forum where researchers from different fields can exchange new ideas on this key challenge to modern and future programming- where concurrency and distribution are the norm rather than a marginal concern. *** Keynote *** We are excited to have Prof. Dr. Peter Mueller (ETH Zurich) giving this years' keynote presentation. *** Accepted papers *** * Secure Multiparty Sessions with Topics Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Ugo De?Liguoro * Formalization of Phase Ordering Tiago Cogumbreiro, Jun Shirako, Vivek Sarkar * Parallel Monitors for Adaptive Sessions Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri * Event-driven adaptation in COP Pierpaolo Degano, Gianluigi Ferrari, Letterio Galletta * From Events to Reactions: A Progress Report Tony Garnock-Jones * Reversible Sessions Using Monitors Claudio Antares Mezzina, Jorge A. P?rez * Future-based Static Analysis of Message Passing Programs Wytse Oortwijn, Stefan Blom, Marieke Huisman * Multiparty compatibility for concurrent objects Roly Perera, Julien Lange, Simon Gay * Program Execution on Reconfigurable Multicore Architectures Sanjiva Prasad * Type-checking Availability in Choreographic Programming(presentation-only) Hugo A. L?pez, Flemming Nielson, Hanne Riis Nielson *** Registration *** Via the ETAPS website: http://www.etaps.org/index.php/2016 If you have any questions please contact Dominic Orchard (dominic.orchard at cl.cam.ac.uk). Programme chairs: Dominic Orchard, Nobuko Yoshida Organising committee: Simon Gay, Alan Mycroft, Vasco T. Vasconcelos, Nobuko Yoshida Programme committee: * Francisco Martins, University of Lisbon * Heather Miller, EPFL * Fabrizio Montesi, University of Southern Denmark * Dominic Orchard, University of Cambridge / Imperial College London (co-chair) * Josef Svenningsson, Chalmers * Francesco Tiezzi, University of Camerino * Bernardo Toninho, Imperial College London * Wim Vanderbauwhede, University of Glasgow * Steven Wright, University of Warwick * Nobuko Yoshida, Imperial College London (co-chair) * Lukasz Ziarek, University at Buffalo -------------- next part -------------- An HTML attachment was scrubbed... URL: From jtd at galois.com Mon Mar 7 17:56:47 2016 From: jtd at galois.com (Jonathan Daugherty) Date: Mon, 7 Mar 2016 09:56:47 -0800 Subject: [Haskell] [ANN] brick-users discussion list Message-ID: <20160307175645.GC13708@galois.com> Hi, If you use the 'brick' library then you might like to know that there is now a library discussion list for it: https://groups.google.com/d/forum/brick-users -- Jonathan Daugherty Software Engineer Galois, Inc. From icfp.publicity at googlemail.com Wed Mar 9 08:08:51 2016 From: icfp.publicity at googlemail.com (Lindsey Kuper) Date: Wed, 9 Mar 2016 00:08:51 -0800 Subject: [Haskell] ICFP 2016 Call for Sponsorships Message-ID: ICFP 2016 The 21st ACM SIGPLAN International Conference on Functional Programming http://conf.researchr.org/home/icfp-2016 Call for Sponsorships Web version of this call for sponsorships: http://conf.researchr.org/info/icfp-2016/call-for-sponsorships ## Why Sponsor ICFP 2016? ICFP is the premier conference on functional programming languages, covering all aspects of theory, implementation, and application. Every year, we bring over 400 world-leading researchers, practitioners, and students together to discuss the latest findings, collaborate on new ideas, and meet new people. By sponsoring ICFP, your organization can demonstrate its commitment to supporting high quality research and to developing the next generation of functional programming experts. Most of our sponsorship funds are used to help students from around the world afford to attend the conference and get the most out of their experience. We believe that this commitment will pay dividends for our students, our sponsors, and the public good for years to come. ## Sponsorship Opportunities and Benefits Bronze: $500: Logo on website, poster at industrial reception, listed in proceedings. Silver: $2500: As above, plus: logo in proceedings, logo on publicity materials (e.g., posters, etc.) Gold: $5000: As above, plus: named supporter of industrial reception with opportunity to speak to the audience, and opportunity to include branded merchandise in participants? swag bag. Platinum: $10000: As above, plus: named supporter of whole event, logo on lanyards, badge ribbon, table/booth-like space available (in coffee break areas), other negotiated benefits (subject to ACM restrictions on commercial involvement). ## How to Become a Sponsor If you?re interested in becoming a sponsor, we?d love to hear from you. You can get in touch with our Industrial Relations Chair at ryan.trinkle at gmail.com. From storm at cwi.nl Wed Mar 9 20:10:19 2016 From: storm at cwi.nl (Tijs van der Storm) Date: Wed, 9 Mar 2016 21:10:19 +0100 Subject: [Haskell] Upcoming deadlines SPLASH'16 in Amsterdam: OOPSLA & Onward! Message-ID: /************************************************************************************/ ACM Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH'16) Amsterdam, The Netherlands Sun 30th October - Fri 4th November , 2016 http://2016.splashcon.org Sponsored by ACM SIGPLAN /************************************************************************************/ # Important dates OOPSLA Papers: * Submissions due: March 23, 2016 * Author Response: May 19 - May 21, 2016 * Author Notification: June 1, 2016 * Camera Ready: August 26, 2016 Onward! Papers & Essays: * Submissions due: April 1, 2016 * First notification: May 20, 2016 * Revised papers: July 15, 2016 * Final notification: July 31, 2016 * Camera ready: August 26, 2016 # SPLASH 2016 The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) embraces all aspects of software construction, to make it the premier conference at the intersection of programming, languages, systems, and software engineering. We invite high quality submissions describing original and unpublished work. ## OOPSLA Research Papers Papers that address any aspect of software development are welcome, including requirements, modeling, prototyping, design, implementation, generation, analysis, verification, testing, evaluation, maintenance, reuse, replacement, and retirement of software systems. Papers may address these topics in a variety of ways, including new tools (such as languages, program analyses, and runtime systems), new techniques (such as methodologies, design processes, code organization approaches, and management techniques), and new evaluations (such as formalisms and proofs, corpora analyses, user studies, and surveys). Submissions due: Wed 23 March, 2016 http://2016.splashcon.org/track/splash-2016-oopsla ## Onward! Research Papers Onward! is a premier multidisciplinary conference focused on everything to do with programming and software: including processes, methods, languages, communities, and applications. Onward! is more radical, more visionary, and more open than other conferences to ideas that are well-argued but not yet proven. We welcome different ways of thinking about, approaching, and reporting on programming language and software engineering research. Submissions due: Fri 1 April, 2016 http://2016.splashcon.org/track/onward2016/onward-2016-papers ## Onward! Essays Onward! Essays is looking for clear and compelling pieces of writing about topics important to the software community. An essay can be an exploration of a topic, its impact, or the circumstances of its creation; it can present a personal view of what is, explore a terrain, or lead the reader in an act of discovery; it can be a philosophical digression or a deep analysis. It can describe a personal journey, perhaps by which the author reached an understanding of such a topic. The subject area should be interpreted broadly and can include the relationship of software to human endeavors, or its philosophical, sociological, psychological, historical, or anthropological underpinnings. Submissions due: Fri 1 April, 2016 http://2016.splashcon.org/track/onward2016/onward2016-essays ## More information Contact: publicity at splashcon.org Website: http://2016.splashcon.org Location: M?venpick Hotel Amsterdam City Centre Amsterdam, The Netherlands ## Organization: SPLASH General Chair: Eelco Visser (TU Delft) OOPSLA Papers Chair: Yannis Smaragdakis (University of Athens) Onward! Papers Chair: Emerson Murphy-Hill (North Carolina State University) Onward! Essays Chair: Crista Lopes (University of California, Irvine) Artifacts Co-Chairs: Michael Hind (IBM Research) and Michael Bond (Ohio State University) Publications Chair: Alex Potanin (Victoria University of Wellington) Sponsorship Chair: Jurgen Vinju (Purdue University) Publicity and Web Co-Chairs: Tijs van der Storm (CWI) and Ron Garcia (University of British Columbia) Web Technology Chair: Eelco Visser (TU Delft) /************************************************************************************/ -- Researcher Centrum Wiskunde & Informatica (CWI) Master of Software Engineering Universiteit van Amsterdam (UvA) Dr. Tijs van der Storm @ Centrum Wiskunde & Informatica (CWI) Office: L225 | Phone: +31 (0)20 5924164 | Address: Science Park 123 P.O. Box 94079 | Postal code: 1090 GB | Amsterdam, The Netherlands -------------- next part -------------- An HTML attachment was scrubbed... URL: From Horatiu.Cirstea at loria.fr Fri Mar 11 08:50:22 2016 From: Horatiu.Cirstea at loria.fr (Horatiu Cirstea) Date: Fri, 11 Mar 2016 09:50:22 +0100 Subject: [Haskell] CfP WPTE 2016 (affiliated with FSCD 2016) Message-ID: <5C38C8A3-1B7F-4FA6-856F-76B5BE094B93@loria.fr> [We apologize if you have received multiple copies of this message] [Please disseminate] ======================================================================================== CALL FOR PAPERS Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation WPTE 2016 affiliated with FSCD 2016 23 June, 2016, Porto, Portugal http://project.inria.fr/wpte2016/ ======================================================================================== Aims and Scope ============== The aim of WPTE is to bring together the researchers working on program transformations, evaluation, and operationally-based programming language semantics, using rewriting methods, in order to share the techniques and recent developments and to exchange ideas to encourage further activation of research in this area. The previous WPTE were held in Vienna 2014, and Warsaw in 2015. Topics of interest in the scope of this workshop include: * Correctness of program transformations, optimizations and translations. * Program transformations for proving termination, confluence and other properties. * Correctness of evaluation strategies. * Operational semantics of programs, operationally-based program equivalences such as contextual equivalences and bisimulations. * Cost-models for reasoning about the optimizing power of transformations and the costs of evaluation. * Program transformations for verification and theorem proving purposes. * Translation, simulation, equivalence of programs with different formalisms, and evaluation strategies. * Program transformations for applying rewriting techniques to programs in specific programming languages. * Program transformations for program inversions and program synthesis. * Program transformation and evaluation for Haskell and Rewriting. The programming languages of interest include pure, deterministic, impure, nondeterministic, concurrent, parallel languages, and may employ programming paradigms such as functional, logical, typed, imperative, object-oriented, and higher-order. Proceedings =========== The WPTE post-proceedings will be published in in Electronic Proceedings in Theoretical Computer Science (http://eptcs.org/). Extended abstracts of work in progress are not included in the EPTCS proceedings but they will be included in the USB memory which is distributed to the FSCD participants. Paper Submissions ================= WPTE accepts two different kinds of contributions: * Full-papers: ------------ Full-papers must represent original work and should not be submitted to another conference at the same time. Full-papers should not exceed 15 pages. Accepted papers will be included in the formal proceedings after revision. * Work in progress: ----------------- There will also be a slot for presenting work in progress. An extended abstract of at most 10 pages is required to be submitted. These contributions will not be included in the formal proceedings for full-papers but they will be distributed to the workshop participants. One author of each accepted paper or abstract is expected to present it at the workshop. Submissions must be prepared in LaTeX using the EPTCS macro package (http://style.eptcs.org/). Important Dates =============== * Submission deadline: April 22nd, 2016 * Notification of acceptance: May 13th, 2016 * Deadline for camera-ready proceedings: May 27th, 2016 * Workshop: June 23rd, 2016 Weblinks ======== * EasyChair Submission Website https://easychair.org/conferences/?conf=wpte2016 * Homepage of WPTE 2016 http://project.inria.fr/wpte2016 * FSCD 2016 http://fscd2016.dcc.fc.up.pt/ Program Committee ================= Takahito Aoto (Niigata University) Yuki Chiba (JAIST) Horatiu Cirstea (LORIA, Universit? de Lorraine, France) - chair Fer-Jan de Vries (University of Leicester) Santiago Escobar (Universitat Polit?cnica de Val?ncia) - chair Maribel Fern?ndez (King's College London) Johan Jeuring (Open Universiteit Nederland and Universiteit Utrecht) Delia Kesner (Universit? Paris-Diderot) Sergue? Lenglet (Universit? de Lorraine) Elena Machkasova (University of Minnesota, Morris) William Mansky (University of Pennsylvania) Georg Moser (University of Innsbruck) Joachim Niehren (INRIA Lille) Naoki Nishida (Nagoya University) Kristoffer H Rose (Two Sigma Investments, LLC) David Sabel (Goethe-University Frankfurt am Main) Masahiko Sakai (Nagoya University) Manfred Schmidt-Schau? (Goethe-University Frankfurt am Main) Janis Voigtl?nder (University of Bonn) Johannes Waldmann (HTWK Leipzig) -------------- next part -------------- An HTML attachment was scrubbed... URL: From ardubois at gmail.com Fri Mar 11 21:34:18 2016 From: ardubois at gmail.com (Andre Rauber Du Bois) Date: Fri, 11 Mar 2016 18:34:18 -0300 Subject: [Haskell] CFP SBLP 2016: 20th Brazilian Symposium on Programming Languages Message-ID: [Apologies if you receive multiple copies of this CFP] ======================================================= 20th Brazilian Symposium on Programming Languages http://cbsoft.org/sblp2016/call-for-papers The Brazilian Symposium on Programming Languages is a well-established symposium which provides a venue for researchers and practitioners interested in the fundamental principles and innovations in the design and implementation of programming languages and systems. SBLP 2016 will be held in Maring?, in the Southern region of Brazil, and will be the 20th edition of the symposium. IMPORTANT DATES Abstract submission: April 8th 2016 Paper submission: April 15th 2016 Author notification: May 27th 2016 Camera ready deadline: June 10th 2016 Authors are invited to submit original research on any relevant topic which can be either in the form of regular or short papers. TOPICS Topics of interest include, but are not limited to: - Program generation and transformation, including domain-specific languages, and model-driven development in the context of programming languages. - Programming paradigms and styles, including functional, object-oriented, aspect-oriented, scripting languages, real-time, service-oriented, multithreaded, parallel, and distributed programming. - Formal semantics and theoretical foundations, including denotational, operational, algebraic, and categorical. - Program analysis and verification, including type systems, static analysis, and abstract interpretation. - Programming language design and implementation, including new programming models, programming language environments, compilation, and interpretation techniques. SUBMISSION AND PUBLICATION All submissions will be peer-reviewed and judged on the basis of its originality, contribution to the field, technical and presentation quality, and relevance to the symposium. Contributions should be written in Portuguese or English. Papers should fall into one of two different categories: regular papers, which can be up to 15 pages long in LNCS format, or short papers, with up to 6 pages in LNCS format. Short papers can discuss new ideas which are at an early stage of development and which have not yet been thoroughly evaluated. We encourage the submission of short papers reporting partial results of on-going master dissertations or doctoral theses. Accepted papers written in English will be published in a volume of Lecture Notes in Computer Science (LNCS), by Springer. Both regular and short papers must be prepared using the LNCS format, available at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0. Papers must be submitted electronically (in PDF format) via the Easychair System: http://www.easychair.org/conferences/?conf=sblp2016. As in previous editions, after the conference, authors of selected regular papers will be invited to submit an extended version of their work to be considered for publication in a journal special issue. Since 2009, selected papers of each SBPL edition are being published in a special issue of Science of Computer Programming, by Elsevier. PROGRAM CHAIRS Fernando Castor, Federal University of Pernambuco Yu David Liu, State University of New York, Binghamton PROGRAM COMMITTEE Alberto Pardo, Universidad de la Rep?blica Alex Garcia, IME Alvaro Moreira, Federal University of Rio Grande do Sul Ana Milanova, Rensselaer Polytechnic Institute Andre Rauber Du Bois, Federal University of Pelotas Bruno Oliveira, The University of Hong Kong Carlos Camar?o, Federal University of Minas Gerais Christiano Braga, Fluminense Federal University Doaitse Swierstra, Utrecht University Fabio Mascarenhas, Federal University of Rio de Janeiro Fernando Pereira, Federal University of Minas Gerais Fernando Castor, Federal University of Pernambuco Francisco Carvalho-Junior Federal University of Ceara Gustavo Pinto, Federal Institute of Science and Technology of Para Hans-Wolfgang Loidl, Heriot-Watt University Ismael Figueroa Pontificia, Universidad Cat?lica de Valparaiso Jo?o Saraiva, University of Minho Jo?o Ferreira, Teesside University Jo?o Paulo Fernandes, University of Beira Interior Leopoldo Teixeira, Federal University of Pernambuco Louis-Noel Pouchet, University of California Lucilia Figueiredo, Federal University of Ouro Preto Luis Barbosa, University of Minho Manuel-A. Martins, University of Aveiro Marcelo Maia, Federal University of Uberl?ndia Marcelo D'Amorim, Federal University of Pernambuco Mariza Bigonha, Federal University of Minas Gerais Martin Musicante, Federal University of Rio Grande do Norte Noemi Rodriguez, PUC-Rio Rafael Lins, Federal University of Pernambuco Roberto Bigonha, Federal University of Minas Gerais Roberto Ierusalimschy, PUC-Rio Rodrigo Geraldo, Federal University of Ouro Preto Sandro Rigo, State University of Campinas S?rgio Medeiros, Federal University of Rio Grande do Norte Simon Thompson, University of Kent Varmo Vene, University of Tartu Yu David Liu, State University of New York at Binghamton Zachary Palmer, Swarthmore College Zongyan Qiu, Peking University -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- The Brazilian Symposium on Programming Languages is a well-established symposium which provides a venue for researchers and practitioners interested in the fundamental principles and innovations in the design and implementation of programming languages and systems. SBLP 2016 will be held in Maring??, in the Southern region of Brazil, and will be the 20th edition of the symposium. IMPORTANT DATES Abstract submission: April 8th 2016 Paper submission: April 15th 2016 Author notification: May 27th 2016 Camera ready deadline: June 10th 2016 Authors are invited to submit original research on any relevant topic which can be either in the form of regular or short papers. TOPICS Topics of interest include, but are not limited to: - Program generation and transformation, including domain-specific languages, and model-driven development in the context of programming languages. - Programming paradigms and styles, including functional, object-oriented, aspect-oriented, scripting languages, real-time, service-oriented, multithreaded, parallel, and distributed programming. - Formal semantics and theoretical foundations, including denotational, operational, algebraic, and categorical. - Program analysis and verification, including type systems, static analysis, and abstract interpretation. - Programming language design and implementation, including new programming models, programming language environments, compilation, and interpretation techniques. SUBMISSION AND PUBLICATION All submissions will be peer-reviewed and judged on the basis of its originality, contribution to the field, technical and presentation quality, and relevance to the symposium. Contributions should be written in Portuguese or English. Papers should fall into one of two different categories: regular papers, which can be up to 15 pages long in LNCS format, or short papers, with up to 6 pages in LNCS format. Short papers can discuss new ideas which are at an early stage of development and which have not yet been thoroughly evaluated. We encourage the submission of short papers reporting partial results of on-going master dissertations or doctoral theses. Accepted papers written in English will be published in a volume of Lecture Notes in Computer Science (LNCS), by Springer. Both regular and short papers must be prepared using the LNCS format, available at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0. Papers must be submitted electronically (in PDF format) via the Easychair System: http://www.easychair.org/conferences/?conf=sblp2016. As in previous editions, after the conference, authors of selected regular papers will be invited to submit an extended version of their work to be considered for publication in a journal special issue. Since 2009, selected papers of each SBPL edition are being published in a special issue of Science of Computer Programming, by Elsevier. PROGRAM CHAIRS Fernando Castor, Federal University of Pernambuco Yu David Liu, State University of New York, Binghamton PROGRAM COMMITTEE Alberto Pardo, Universidad de la Rep??blica Alex Garcia, IME Alvaro Moreira, Federal University of Rio Grande do Sul Ana Milanova, Rensselaer Polytechnic Institute Andre Rauber Du Bois, Federal University of Pelotas Bruno Oliveira, The University of Hong Kong Carlos Camar??o, Federal University of Minas Gerais Christiano Braga, Fluminense Federal University Doaitse Swierstra, Utrecht University Fabio Mascarenhas, Federal University of Rio de Janeiro Fernando Pereira, Federal University of Minas Gerais Fernando Castor, Federal University of Pernambuco Francisco Carvalho-Junior Federal University of Ceara Gustavo Pinto, Federal Institute of Science and Technology of Para Hans-Wolfgang Loidl, Heriot-Watt University Ismael Figueroa Pontificia, Universidad Cat??lica de Valparaiso Jo??o Saraiva, University of Minho Jo??o Ferreira, Teesside University Jo??o Paulo Fernandes, University of Beira Interior Leopoldo Teixeira, Federal University of Pernambuco Louis-Noel Pouchet, University of California Lucilia Figueiredo, Federal University of Ouro Preto Luis Barbosa, University of Minho Manuel-A. Martins, University of Aveiro Marcelo Maia, Federal University of Uberl??ndia Marcelo D'Amorim, Federal University of Pernambuco Mariza Bigonha, Federal University of Minas Gerais Martin Musicante, Federal University of Rio Grande do Norte Noemi Rodriguez, PUC-Rio Rafael Lins, Federal University of Pernambuco Roberto Bigonha, Federal University of Minas Gerais Roberto Ierusalimschy, PUC-Rio Rodrigo Geraldo, Federal University of Ouro Preto Sandro Rigo, State University of Campinas S??rgio Medeiros, Federal University of Rio Grande do Norte Simon Thompson, University of Kent Varmo Vene, University of Tartu Yu David Liu, State University of New York at Binghamton Zachary Palmer, Swarthmore College Zongyan Qiu, Peking University From Y.Lin at hw.ac.uk Tue Mar 15 16:40:16 2016 From: Y.Lin at hw.ac.uk (Lin, Yuhui) Date: Tue, 15 Mar 2016 16:40:16 +0000 Subject: [Haskell] Second Call for Papers: Special Issue of the SCP on Automated Verification of Critical Systems Message-ID: <3D57199C-383E-4403-82D5-4A48E1FC7D8D@hw.ac.uk> Science of Computer Programming Special Issue on Automated Verification of Critical Systems Second Call for Papers Guest editors: Gudmund Grov & Andrew Ireland Submission deadline: 20 May 2016 Notification: 31 August 2016 This special issue is devoted to the 15th international workshop on Automated Verification of Critical Systems (AVoCS 2015): https://sites.google.com/site/avocs15/ The aim of AVoCS is to contribute to the interaction and exchange of ideas among members of the international research community on tools and techniques for the verification of critical systems. These topics are to be interpreted broadly and inclusively. It covers all aspects of automated verification, and typical (but not exclusive) topics of interest are: - Model Checking - Automatic and Interactive Theorem Proving - SAT, SMT or Constraint Solving for Verification - Abstract Interpretation - Specification and Refinement - Requirements Capture and Analysis - Verification of Software and Hardware - Specification and Verification of Fault Tolerance and Resilience - Probabilistic and Real-Time Systems - Dependable Systems - Verified System Development - Industrial Applications Submission to this special issue is open. We expect original articles (typically 20-30 pages) that present high-quality contributions, have not been previously published in an archival venue and that must not be simultaneously submitted for publication elsewhere. Submissions must be written in English and comply with SCP's author guidelines http://www.elsevier.com/wps/find/journaldescription.cws_home/505623/authorinstructions Submission is over the SCP website: http://ees.elsevier.com/scico/default.asp which you will have to register for if you do not have an account. When submitting your paper please choose the article type "Special issue: AVoCS 2015". Please send any queries you may have to Gudmund Grov (G.Grov at hw.ac.uk) From me at alang.ca Fri Mar 18 21:43:33 2016 From: me at alang.ca (Alex Lang) Date: Fri, 18 Mar 2016 14:43:33 -0700 Subject: [Haskell] CUFP 2016 Call for Presentations Message-ID: Apologies for any duplicates you may receive. CUFP 2016 Call for Presentations Commercial Users of Functional Programming 2016 Sponsored by SIGPLAN Co-located with ICFP 2016 Nara, Japan September 22-24 Talk Proposal Submission Deadline: 24 June 2016 CUFP 2016 Presentation Submission Form: http://goo.gl/forms/gWDSoKfizW The annual CUFP event is a place where people can see how others are using functional programming to solve real world problems; where practitioners meet and collaborate; where language designers and users can share ideas about the future of their favorite language; and where one can learn practical techniques and approaches for putting functional programming to work. Giving a CUFP Talk If you have experience using functional languages in a practical setting, we invite you to submit a proposal to give a talk at the event. We're looking for two kinds of talks: Retrospective talks are typically 25 minutes long. Now that CUFP has run for more than a decade, we intend to invite past speakers to share what they?ve learned after a decade spent as commercial users of functional programming. We will favour experience reports that include technical content. Technical talks are also 25 minutes long, and should focus on teaching the audience something about a particular technique or methodology, from the point of view of someone who has seen it play out in practice. These talks could cover anything from techniques for building functional concurrent applications, to managing dynamic reconfigurations, to design recipes for using types effectively in large-scale applications. While these talks will often be based on a particular language, they should be accessible to a broad range of programmers. We strongly encourage submissions from people in communities that are underrepresented in functional programming, including but not limited to women; people of color; people in gender, sexual and romantic minorities; people with disabilities; people residing in Asia, Africa, or Latin America; and people who have never presented at a conference before. We recognize that inclusion is an important part of our mission to promote functional programming. So that CUFP can be a safe environment in which participants openly exchange ideas, we abide by the SIGPLAN Conference Anti-Harassment Policy ( http://www.sigplan.org/Resources/Policies/Anti-harassment). If you are interested in offering a talk, or nominating someone to do so, please submit your presentation before 24 June 2016 via the CUFP 2016 Presentation Submission Form (http://goo.gl/forms/gWDSoKfizW) You do not need to submit a paper, just a short proposal for your talk. There will be a short scribe's report of the presentations and discussions but not of the details of individual talks, as the meeting is intended to be more of a discussion forum than a technical interchange. Nevertheless, presentations will be recorded and presenters will be expected to sign an ACM copyright release form. Note that we will need all presenters to register for the CUFP workshop and travel to Japan at their own expense. There are some funds available to would-be presenters who require assistance in this respect. Program Committee Katie Ots (Facebook), co-chair Alex Lang (Tsuru Capital), co-chair R?nar ?li Bjarnason (Verizon Labs) Mark Hibberd (Ambiata) Mirai Ikebuchi (Nagoya University) Paul Khuong (AppNexus) Carin Meier (Cognitect) Kenji Rikitake (Kenji Rikitake Professional Engineer's Office) More information For more information on CUFP, including videos of presentations from previous years, take a look at the CUFP website at http://cufp.org. Note that presenters, like other attendees, will need to register for the event. Acceptance and rejection letters will be sent out by July 15th. Guidance on giving a great CUFP talk Focus on the interesting bits: Think about what will distinguish your talk, and what will engage the audience, and focus there. There are a number of places to look for those interesting bits. Setting: FP is pretty well-established in some areas, including formal verification, financial processing, and server-side web services. An unusual setting can be a source of interest. If you're deploying FP-based mobile UIs or building servers on oil rigs, then the challenges of that scenario are worth focusing on. Did FP help or hinder in adapting to the setting? Technology: The CUFP audience is hungry to learn about how FP techniques work in practice. What design patterns have you applied, and to what areas? Did you use functional reactive programming for user interfaces, or DSLs for playing chess, or fault-tolerant actors for large-scale geological data processing? Teach us something about the techniques you used, and why we should consider using them ourselves. Getting things done: How did you deal with large-scale software development in the absence of pre-existing support tools that are often expected in larger commercial environments (IDEs, coverage tools, debuggers, profilers) and without larger, proven bodies of libraries? Did you hit any brick walls that required support from the community? Don't just be a cheerleader: It's easy to write a rah-rah talk about how well FP worked for you, but CUFP is more interesting when the talks also cover what doesn't work. Even when the results were all great, you should spend more time on the challenges along the way than on the parts that went smoothly. -------------- next part -------------- An HTML attachment was scrubbed... URL: From w.s.swierstra at uu.nl Tue Mar 22 12:38:08 2016 From: w.s.swierstra at uu.nl (Wouter Swierstra) Date: Tue, 22 Mar 2016 13:38:08 +0100 Subject: [Haskell] CFP: Workshop on Type-driven Development (TyDe '16) Message-ID: -------------------------------------------------------------------------------- CALL FOR PAPERS 1st Type-Driven Development (TyDe '16) A Workshop on Dependently Typed and Generic Programming 18 September, Nara, Japan -------------------------------------------------------------------------------- # Goals of the workshop The workshop on Type-Driven Development aims to show how static type information may be used effectively in the development of computer programs. The workshop, co-located with ICFP, unifies two workshops: the Workshop on Dependently Typed Programming and the Workshop on Generic Programming. These two research areas have a rich history and bridge both theory and practice. Novel techniques explored by both communities has gradually spread to more mainstream languages. This workshop aims to bring together leading researchers and practitioners in generic programming and dependently typed programming from around the world, and features papers capturing the state of the art in these important areas. We welcome all contributions, both theoretical and practical, on: - dependently typed programming; - generic programming; - design and implementation of programming languages, exploiting types in novel ways; - exploiting typed data, data dependent data, or type providers; - static and dynamic analyses of typed programs; - tools, IDEs, or testing tools exploiting type information; - pearls, being elegant, instructive examples of types used in the derivation, calculation, or construction of programs. # Program Committee - James Chapman, University of Strathclyde (co-chair) - Wouter Swierstra, University of Utrecht (co-chair) - David Christiansen, Indiana University - Pierre-Evariste Dagand, LIP6 - Richard Eisenberg, University of Pennsylvania - Catalin Hritcu, INRIA Paris - James McKinna, University of Edinburgh - Keiko Nakata, FireEye - Tomas Petricek, University of Cambridge - Birgitte Pientka, McGill University - Tom Schrijvers, KU Leuven - Makoto Takeyama, Kanagawa University - Nicolas Wu, University of Bristol - Brent Yorgey, Hendrix College # Proceedings and Copyright We plan to have formal proceedings, published by the ACM. Accepted papers will be included in the ACM Digital Library. Authors must grant ACM publication rights upon acceptance, but may retain copyright if they wish. Authors are encouraged to publish auxiliary material with their paper (source code, test data, and so forth). The proceedings will be freely available for download from the ACM Digital Library from one week before the start of the conference until two weeks after the conference. # Submission details Submitted papers should fall into one of two categories: - Regular research papers (12 pages) - Extended abstracts (2 pages) Submission is handled through Easychair: https://easychair.org/conferences/?conf=tyde16 Regular research papers are expected to present novel and interesting research results. Extended abstracts should report work in progress that the authors would like to present at the workshop. We welcome submissions from PC members (with the exception of the two co-chairs), but these submissions will be held to a higher standard. All submissions should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines (two-column, 9pt). Extended abstracts must be submitted with the label 'Extended abstract' clearly in the title. # Important Dates - Regular paper deadline: Friday, 10th June, 2016 - Extended abstract deadline: Friday, 24th June, 2016 - Author notification: Friday, 8th July, 2016 - Workshop: Sunday, 18th September, 2016 # Travel Support Student attendees with accepted papers can apply for a SIGPLAN PAC grant to help cover travel expenses. PAC also offers other support, such as for child-care expenses during the meeting or for travel costs for companions of SIGPLAN members with physical disabilities, as well as for travel from locations outside of North America and Europe. For details on the PAC program, see its web page. From P.Achten at cs.ru.nl Tue Mar 22 13:25:04 2016 From: P.Achten at cs.ru.nl (Peter Achten) Date: Tue, 22 Mar 2016 14:25:04 +0100 Subject: [Haskell] [TFPIE 2016] 2nd call for papers Message-ID: <56F147B0.1030300@cs.ru.nl> Trends in Functional Programming in Education (TFPIE 2016) 2nd Call for papers https://wiki.science.ru.nl/tfpie/TFPIE2016 The 5th International Workshop on Trends in Functional Programming in Education, TFPIE 2016, will be held on June 7, 2016 at the University of Maryland College Park in the USA. It is co-located with the Symposium on Trends in Functional Programming (TFP 2016) which takes place from June 8 - 10. *** Goal *** The goal of TFPIE is to gather researchers, teachers and professionals that use, or are interested in the use of, functional programming in education. TFPIE aims to be a venue where novel ideas, classroom-tested ideas and work-in-progress on the use of functional programming in education are discussed. The one-day workshop will foster a spirit of open discussion by having a review process for publication after the workshop. The program chair of TFPIE 2016 will screen submissions to ensure that all presentations are within scope and are of interest to participants. Potential presenters are invited to submit an extended abstract (4-6 pages) or a draft paper (up to 16 pages) in EPTCS style. The authors of accepted presentations will have their preprints and their slides made available on the workshop's website/wiki. Visitors to the TFPIE 2016 website/wiki will be able to add comments. This includes presenters who may respond to comments and questions as well as provide pointers to improvements and follow-up work. After the workshop, presenters will be invited to submit (a revised version of) their article for review. The PC will select the best articles for publication in the journal Electronic Proceedings in Theoretical Computer Science (EPTCS). Articles rejected for presentation and extended abstracts will not be formally reviewed by the PC. TFPIE workshops have previously been held in St Andrews, Scotland (2012), Provo Utah, USA (2013), Soesterberg, The Netherlands (2014), and Sophia-Antipolis, France (2015). *** Program Committee *** Stephen Chang at Northeastern University in Massachusetts, USA Marc Feeley at Universit? de Montr?al in Qu?bec, Canada Patricia Johann at Appalachian State University in North Carolina, USA Jay McCarthy at University of Massachusetts Lowell in Massachusetts, USA (Chair) Prabhakar Ragde at University of Waterloo in Ontario, Canada Brent Yorgey at Hendrix College in Arkansas, USA *** Submission Guidelines *** TFPIE 2016 welcomes submissions describing techniques used in the classroom, tools used in and/or developed for the classroom and any creative use of functional programming (FP) to aid education in or outside Computer Science. Topics of interest include, but are not limited to: - FP and beginning CS students - FP and Computational Thinking - FP and Artificial Intelligence - FP in Robotics - FP and Music - Advanced FP for undergraduates - Tools supporting learning FP - FP in graduate education - Engaging students in research using FP - FP in Programming Languages - FP in the high school curriculum - FP as a stepping stone to other CS topics - FP and Philosophy *** Best Lectures *** In addition to papers, we request "best lecture" presentations. What is your best lecture topic in an FP related course? Do you have a fun way to present FP concepts to novices or perhaps an especially interesting presentation of a difficult topic? In either case, please consider sharing it. Best lecture topics will be selected for presentation based on a short abstract describing the lecture and its interest to TFPIE attendees. *** Submission *** Papers and abstracts can be submitted via EasyChair at the following link: https://easychair.org/conferences/?conf=tfpie2016 It is expected at at least one author for each submitted paper will attend the workshop. *** Registration & Local Information *** Please see the TFP site for registration and local information: http://tfp2016.org/ *** Important Dates *** April 27, 2016: Submission deadline for draft TFPIE papers and abstracts May 3, 2016: Notification of acceptance for presentation May 13, 2016: Registration for TFP/TFPIE closes June 7, 2016: Presentations in Maryland, USA July 7, 2016: Full papers for EPTCS proceedings due. September 1, 2016: Notification of acceptance for proceedings September 22, 2016: Camera ready copy due for EPTCS Submission of an abstract implies no obligation to submit a full version; abstracts with no corresponding full versions by the full paper deadline will be considered as withdrawn. From M.W.Wang at kent.ac.uk Tue Mar 22 22:11:10 2016 From: M.W.Wang at kent.ac.uk (Meng Wang) Date: Tue, 22 Mar 2016 22:11:10 +0000 Subject: [Haskell] Haskell-related PhD Studentship at Kent In-Reply-To: <75B07F0E-F6BB-4855-A8F1-65A22BF1B2B2@kent.ac.uk> References: <75B07F0E-F6BB-4855-A8F1-65A22BF1B2B2@kent.ac.uk> Message-ID: <62D48451-395F-47F4-8CD7-B41F07E291CA@kent.ac.uk> Dear Haskellers, I am seeking a PhD student on Haskell-related projects, particularly in the area of bidirectional programming (lenses), property-based testing (QuickCheck) and refactoring. This would be a good opportunity for someone who is interested in applying Haskell ideas to real problems. The student will be part of the Programming Languages and Systems (PLAS) group in the School of Computing at the University of Kent. A major focus within the group is functional programming (FP), where it has had an international reputation for more than twenty five years. The group currently has 12 FTE academic staff, 3 RAs and 15 doctoral students. The funding covers maintenance, EU student fees and research related expenses. But non-EU students are welcome to apply too. For Sep 2016 starting, the application deadline is 8 April 2016. If you are interested, please contact me at m.w.wang at kent.ac.uk. Best wishes, Meng ? Dr Meng Wang School of Computing University of Kent http://www.cs.kent.ac.uk/people/staff/mw516/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From dons00 at gmail.com Wed Mar 23 09:38:43 2016 From: dons00 at gmail.com (Don Stewart) Date: Wed, 23 Mar 2016 09:38:43 +0000 Subject: [Haskell] Three Haskell dev roles at Standard Chartered Message-ID: Hi all I'm hiring another 3 devs to join Strats at Standard Chartered in London or Singapore. This is a good chance to join a growing, experienced team using Haskell for a wide set of projects in finance. More details in https://donsbot.wordpress.com/2016/03/23/haskell-developer-roles-at-standard-chartered-london-singapore-3/ -- Don -------------- next part -------------- An HTML attachment was scrubbed... URL: From c.grelck at uva.nl Thu Mar 24 08:44:41 2016 From: c.grelck at uva.nl (Clemens Grelck) Date: Thu, 24 Mar 2016 09:44:41 +0100 Subject: [Haskell] ARRAY 2016 2nd Call for Papers Message-ID: <56F3A8F9.2020704@uva.nl> *************************************************************************** CALL FOR PAPERS ARRAY 2016 3rd ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming Santa Barbara, CA, USA June 14, 2016 http://conf.researchr.org/home/array-2016/ Deadline: April 1, 2016 *************************************************************************** ARRAY 2016 is part of PLDI 2016 37th Annual ACM SIGPLAN Conference on Programming Language Design and Implementation June 13-17, 2016 http://conf.researchr.org/home/pldi-2016/ *************************************************************************** About: Array-oriented programming is a powerful abstraction for compactly implementing numerically intensive algorithms. Many modern languages now provide some support for collective array operations, which are used by an increasing number of programmers (and non-programmers) for data analysis and scientific computing. This workshop is intended to bring together researchers from many different communities, including language designers, library developers, compiler researchers and practitioners who are working on numeric, array-centric aspects of programming languages, libraries and methodologies from all domains: imperative or declarative, object-oriented or not, interpreted or compiled, strongly typed, weakly typed or untyped. *************************************************************************** Keynotes: We are proud to announce two distinguished keynote speakers: Bradford Chamberlain Principal Engineer at Cray Inc, Seattle, USA Chief designer of the Chapel high productivity language Morten Kromberg User Experience Director (CXO) at Dyalog Ltd, Bramley, UK Commercial provider of APL interpreters, tools and services *************************************************************************** Focus: The aim of the ARRAY workshop series is to foster the cross-pollination of concepts across domains, projects and research communities and to explore new directions, such as: + Expanding the scope of array programming to encompass a wider range of data types and computations, + Transparently utilizing parallel hardware (multi-core, SIMD, GPU, FPGA) by leveraging the implicitly parallel semantics of array operations, + Simplifying the embedding of array constructs within existing languages which weren't designed for numerical computing, + Connections between array abstractions and other models such as dataflow programming, stream programming, and data parallelism, + High-level compilation and optimization techniques for array-oriented programs, + Compilers, virtual machines and frameworks for array-oriented programming languages. *************************************************************************** Important Dates: Paper submissions: Fri, Apr 1, 2016 (anywhere on earth) Notification of authors: Wed, Apr 27, 2016 Camera-ready copies due: Fri, May 27, 2016 (anywhere on earth) Workshop date: Tue, Jun 14, 2016 *************************************************************************** Submissions: Manuscripts may fall into one of the following categories: + research papers on any topic related to the focus of the workshop + tool descriptions reporting on a tool relevant to the workshop area Submissions should be 4-8 pages for research papers 4-6 pages for tool descriptions. In the case of a tool description the workshop presentation should include a demo of the tool, and the submission should include a short appendix summarizing the tool demo. This appendix is for the information of the PC only, and will not be part of the published paper, nor does it count into the six page limit. Clearly mark your submission as either a research paper or a tool description in the paper's subtitle. Submissions must be in PDF format printable in black and white on US Letter sized paper and interpretable by Ghostscript. Papers must adhere to the standard SIGPLAN conference format: two columns, nine-point font on a ten-point baseline, with columns 20pc (3.33in) wide and 54pc (9in) tall, with a column gutter of 2pc (0.33in). A suitable document template for LaTeX is available at http://www.sigplan.org/Resources/Author/. Papers must be submitted using EasyChair: https://easychair.org/conferences/?conf=array2016 As in previous years, accepted papers will be published in the ACM Digital Library. *************************************************************************** Organizing Committee: Martin Elsman, University of Copenhagen (Chair) Clemens Grelck, University of Amsterdam (Chair) David Padua, University of Illinois at Urbana-Champaign Andreas Kl?ckner, University of Illinois at Urbana-Champaign *************************************************************************** Programme Committee: Robert Bernecky, Snake Island Research, Canada Martin Elsman, University of Copenhagen, Denmark (Chair) Clemens Grelck, University of Amsterdam, Netherlands (Chair) Laurie Hendren , McGill University, Canada Stephan Herhut, Google Inc, Denmark Gabriele Keller, University of New South Wales, Australia Andreas Kl?ckner, University of Illinois at Urbana-Champaign, USA (Chair) Hidehiko Masuhara, Tokyo Institute of Technology, Japan David Padua, University of Illinois at Urbana-Champaign, USA (Chair) Mary Sheeran, Chalmers University of Technology, Sweden Jan Vitek, Northeastern University, USA *************************************************************************** Travel Funding: Since ARRAY 2006 is sponsored by ACM SIGPLAN, presenters and authors of papers are eligible to apply for SIGPLAN PAC funding. *************************************************************************** -- ---------------------------------------------------------------------- Dr Clemens Grelck Science Park 904 University Lecturer 1098XH Amsterdam Netherlands University of Amsterdam Institute for Informatics T +31 (0) 20 525 8683 Computer Systems Architecture Group F +31 (0) 20 525 7490 Office C3.105 staff.fnwi.uva.nl/c.u.grelck ---------------------------------------------------------------------- From mainland at drexel.edu Mon Mar 28 17:44:17 2016 From: mainland at drexel.edu (Geoffrey Mainland) Date: Mon, 28 Mar 2016 13:44:17 -0400 Subject: [Haskell] [2nd CFP] Haskell Symposium 2016 Message-ID: <56F96D71.2020207@drexel.edu> ======================================================================== ACM SIGPLAN CALL FOR SUBMISSIONS Haskell Symposium 2016 Nara, Japan, 22-23 September 2015, directly after ICFP http://www.haskell.org/haskell-symposium/2016 ======================================================================== ** The Haskell Symposium has an early track this year ** ** See the Submission Timetable for details. ** The ACM SIGPLAN Haskell Symposium 2016 will be co-located with the International Conference on Functional Programming (ICFP 2016) in Vancouver, Canada. The Haskell Symposium aims to present original research on Haskell, discuss practical experience and future development of the language, and to promote other forms of denotative programming. Topics of interest include: * Language Design, with a focus on possible extensions and modifications of Haskell as well as critical discussions of the status quo; * Theory, such as formal semantics of the present language or future extensions, type systems, effects, metatheory, and foundations for program analysis and transformation; * Implementations, including program analysis and transformation, static and dynamic compilation for sequential, parallel, and distributed architectures, memory management, as well as foreign function and component interfaces; * Libraries, that demonstrate new ideas or techniques for functional programming in Haskell; * Tools, such as profilers, tracers, debuggers, preprocessors, and testing tools; * Applications, to scientific and symbolic computing, databases, multimedia, telecommunication, the web, and so forth; * Functional Pearls, being elegant and instructive programming examples; * Experience Reports, to document general practice and experience in education, industry, or other contexts. Papers in the latter three categories need not necessarily report original academic research results. For example, they may instead report reusable programming idioms, elegant ways to approach a problem, or practical experience that will be useful to other users, implementors, or researchers. The key criterion for such a paper is that it makes a contribution from which other Haskellers can benefit. It is not enough simply to describe a standard solution to a standard programming problem, or report on experience where you used Haskell in the standard way and achieved the result you were expecting. More advice is available via the Haskell wiki: (http://wiki.haskell.org/HaskellSymposium/ExperienceReports) Regular papers should explain their research contributions in both general and technical terms, identifying what has been accomplished, explaining why it is significant, and relating it to previous work, and to other languages where appropriate. In addition, we solicit proposals for: * System Demonstrations, based on running software rather than novel research results. These proposals should summarize the system capabilities that would be demonstrated. The proposals will be judged on whether the ensuing session is likely to be important and interesting to the Haskell community at large, whether on grounds academic or industrial, theoretical or practical, technical, social or artistic. Please contact the program chair with any questions about the relevance of a proposal. Travel Support: =============== Student attendees with accepted papers can apply for a SIGPLAN PAC grant to help cover travel expenses. PAC also offers other support, such as for child-care expenses during the meeting or for travel costs for companions of SIGPLAN members with physical disabilities, as well as for travel from locations outside of North America and Europe. For details on the PAC program, see its web page (http://pac.sigplan.org). Proceedings: ============ Accepted papers will be included in the ACM Digital Library. Authors must grant ACM publication rights upon acceptance (http://authors.acm.org/main.html). Authors are encouraged to publish auxiliary material with their paper (source code, test data, etc.); they retain copyright of auxiliary material. Accepted proposals for system demonstrations will be posted on the symposium website but not formally published in the proceedings. All accepted papers and proposals will be posted on the conference website one week before the meeting. Publication date: The official publication date of accepted papers is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work. Submission Details: =================== Submitted papers should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines (http://www.acm.org/sigs/sigplan/authorInformation.htm). The text should be in a 9-point font in two columns. The length is restricted to 12 pages, except for "Experience Report" papers, which are restricted to 6 pages. Papers need not fill the page limit---for example, a Functional Pearl may be much shorter than 12 pages. Each paper submission must adhere to SIGPLAN's republication policy, as explained on the web. Demo proposals are limited to 2-page abstracts, in the same ACM format as papers. "Functional Pearls", "Experience Reports", and "Demo Proposals" should be marked as such with those words in the title at time of submission. The paper submission deadline and length limitations are firm. There will be no extensions, and papers violating the length limitations will be summarily rejected. Papers may be submitted at: https://icfp-haskell2016.hotcrp.com/ Submission Timetable: ===================== Early Track Regular Track System Demos ---------------- ------------------- --------------- 1st April Paper Submission 20th May Notification 6th June Abstract Submission 10th June Paper Submission 17th June Resubmission Demo Submission 8th July Notification Notification Notification 31st July Camera ready due Camera ready due Deadlines stated are valid anywhere on earth. The Haskell Symposium uses a two-track submission process so that some papers can gain early feedback. Papers can be submitted to the early track on 1st April. On 20th May, strong papers are accepted outright, and the others will be given their reviews and invited to resubmit. On 17th June, early track papers may be resubmitted and are sent back to the same reviewers. The Haskell Symposium regular track operates as in previous years. Papers accepted via the early and regular tracks are considered of equal value and will not be distinguished in the proceedings. Although all papers may be submitted to the early track, authors of functional pearls and experience reports are particularly encouraged to use this mechanism. The success of these papers depends heavily on the way they are presented, and submitting early will give the program committee a chance to provide feedback and help draw out the key ideas. Program Committee: =================== James Cheney University of Edinburgh Iavor Diatchki Galois David Duke University of Leeds Richard Eisenberg University of Pennsylvania Ken Friis Larsen University of Copenhagen Andy Gill University of Kansas Zhenjiang Hu National Institute of Informatics Ranjit Jhala UC San Diego Yukiyoshi Kameyama University of Tsukuba Geoffrey Mainland (chair) Drexel University Mary Sheeran Chalmers University of Technology David Terei Stanford Niki Vazou UC San Diego Dimitrios Vytiniotis Microsoft Research ===================================================================== From pakin at lanl.gov Thu Mar 31 20:04:25 2016 From: pakin at lanl.gov (Scott Pakin) Date: Thu, 31 Mar 2016 14:04:25 -0600 Subject: [Haskell] Postdoc ad: quantum-computing programming languages Message-ID: <56FD82C9.6020400@lanl.gov> My institution just bought a D-Wave 2X adiabatic quantum computer. The problem is, no one really has a grasp on how to *program* an adiabatic quantum computer. It's a totally different beast from the gate-model quantum computers that most people imply when they talk about quantum computing. I'm looking to hire a postdoc to work with me on designing and implementing programming models suitable for execution on D-Wave-style quantum computers. The formal job ad can be found at http://tinyurl.com/jdlo556 or go to http://jobs.lanl.gov/ and look up job IRC49031. Disclaimer: This is not specifically a Haskell-hacking position, although you can use any language you want for the classical-side development. I'm posting here because a key skill I'm looking for is breadth of language knowledge. I see a candidate who knows nonstrict functional programming, declarative programming, and maybe a few "fringe" programming models as more valuable than one who knows only a dozen isomorphic imperative languages. -- Scott