From compscience.announcement at gmail.com Mon Nov 3 18:37:36 2014 From: compscience.announcement at gmail.com (Klaus Havelund) Date: Mon, 3 Nov 2014 19:37:36 +0100 Subject: [Haskell] NFM 2015 - deadline extension: Nov 18 Message-ID: CALL FOR PAPERS *** Deadline extension: Nov 18, 2014 *** The 7th NASA Formal Methods Symposium http://www.NASAFormalMethods.org/nfm2015 27 ? 29 April 2015 Pasadena, California, USA THEME The widespread use and increasing complexity of mission- and safety-critical systems require advanced techniques that address their specification, verification, validation, and certification. The NASA Formal Methods Symposium is a forum for theoreticians and practitioners from academia, industry, and government, with the goals of identifying challenges and providing solutions to achieving assurance in mission- and safety-critical systems. Within NASA such systems include for example autonomous robots, separation assurance algorithms for aircraft, Next Generation Air Transportation (NextGen), and autonomous rendezvous and docking for spacecraft. Moreover, emerging paradigms such as property-based design, code generation, and safety cases are bringing with them new challenges and opportunities. The focus of the symposium will be on formal techniques, their theory, current capabilities, and limitations, as well as their application to aerospace, robotics, and other mission- and safety-critical systems in all design life-cycle stages. We encourage submissions on cross-cutting approaches marrying formal verification techniques with advances in critical system development, such as requirements generation, analysis of aerospace operational concepts, and formal methods integrated in early design stages and carrying throughout system development. TOPICS Topics of interest include, but are not limited to: - Model checking - Theorem proving - SAT and SMT solving - Symbolic execution - Static analysis - Runtime verification - Program refinement - Compositional verification - Modeling and specification formalisms - Model-based development - Model-based testing - Requirement engineering - Formal approaches to fault tolerance - Security and intrusion detection - Applications of formal methods to aerospace systems - Applications of formal methods to cyber-physical systems - Applications of formal methods to human-machine interaction analysis INVITED SPEAKERS Dino Distefano Software Engineer at Facebook, California, USA and Professor at Queen Mary University of London, UK. Viktor Kuncak Leads Lab for Automated Reasoning and Analysis at EPFL, Lausanne, Switzerland. Rob Manning Chief Engineer at NASA/JPL. IMPORTANT DATESPaper Submission (*** deadline extended one week ***):18 Nov 2014Paper Notifications:12 Jan 2015Camera-ready Papers:9 Feb 2015Symposium:27 ? 29 April 2015LOCATION AND COST The symposium will take place at the Hilton Hotel, Pasadena, California, USA, April 27-29, 2015. There will be no registration fee for participants. All interested individuals, including non-US citizens, are welcome to submit, to attend, to listen to the talks, and to participate in discussions; however, all attendees must register. SUBMISSION DETAILS There are two categories of submissions: 1. Regular papers describing fully developed work and complete results (15 pages) 2. Short papers describing tools, experience reports, or descriptions of work in progress with preliminary results (6 pages) All papers should be in English and describe original work that has not been published or submitted elsewhere. All submissions will be fully reviewed by members of the Programme Committee. Papers will appear in a volume of Springer?s Lecture Notes on Computer Science (LNCS), and must use LNCS style formatting. Papers should be submitted in PDF format. PC CHAIRS Klaus Havelund, NASA Jet Propulsion Laboratory, USA Gerard Holzmann, NASA Jet Propulsion Laboratory, USA Rajeev Joshi, NASA Jet Propulsion Laboratory, USA PUBLICITY SUPPORT Ylies Falcone, Universit? Joseph Fourier, France PROGRAMME COMMITTEE Erika Abraham, RWTH Aachen University, Germany Julia Badger, NASA Johnson Space Center, USA Christel Baier, Technische Universit?t Dresden, Germany Saddek Bensalem, VERIMAG/UJF, France Dirk Beyer, University of Passau, Germany Armin Biere, Johannes Kepler University, Austria Nikolaj Bjorner, Microsoft Research, USA Borzoo Bonakdarpour, McMaster University, Canada Alessandro Cimatti, Fondazione Bruno Kessler, Italy Leonardo de Moura, Microsoft Research, USA Ewen Denney, NASA Ames Research Center, USA Ben Di Vito, NASA Langley Research Center, USA Dawson Engler, Stanford University, USA Jean-Christophe Filliatre, Universit? Paris-Sud, France Dimitra Giannakopoulou, NASA Ames Research Center, USA Alwyn Goodloe, NASA Langley Research Center, USA Susanne Graf, VERIMAG, France Alex Groce, Oregon State University, USA Radu Grosu, Vienna University of Technology, Austria John Harrison, Intel Corporation, USA Mike Hinchey, University of Limerick/Lero, Ireland Bart Jacobs, University of Leuven, Belgium Sarfraz Khurshid, The University of Texas at Austin, USA Gerwin Klein, NICTA, Australia Daniel Kroening, Oxford University, UK Orna Kupferman, Hebrew University Jerusalem, Israel Kim Larsen, Aalborg University, Denmark Rustan Leino, Microsoft Research, USA Martin Leucker, University of Lubeck, Germany Rupak Majumdar, Max Planck Institute, Germany Pete Manolios, Northeastern University, USA Peter Mueller, ETH Zurich, Switzerland Kedar Namjoshi, Bell Labs/Alcatel-Lucent, USA Corina Pasareanu, NASA Ames Research Center, USA Doron Peled, Bar Ilan University, Israel Suzette Person, NASA Langley Research Center, USA Andreas Podelski, University of Freiburg, Germany Grigore Rosu, University of Illinois, USA Kristin Yvonne Rozier, NASA Ames Research Center, USA Natarajan Shankar, SRI International, USA Natasha Sharygina, University of Lugano, Switzerland Scott Smolka, Stony Brook University, USA Willem Visser, University of Stellenbosch, South Africa Mahesh Viswanathan, University of Illinois, USA Mike Whalen, University of Minnesota, USA Jim Woodcock, University of York, UK STEERING COMMITTEE Julia Badger, NASA Johnson Space Center Ewen Denney, NASA Ames Research Center Ben Di Vito, NASA Langley Research Center Klaus Havelund, NASA Jet Propulsion Laboratory Gerard Holzmann, NASA Jet Propulsion Laboratory Cesar Munoz, NASA Langley Research Center Corina Pasareanu, NASA Ames Research Center Suzette Person, NASA Langley Research Center Kristin Yvonne Rozier, NASA Ames Research Center -------------- next part -------------- An HTML attachment was scrubbed... URL: From icfp.publicity at googlemail.com Fri Nov 7 16:45:48 2014 From: icfp.publicity at googlemail.com (David Van Horn) Date: Fri, 7 Nov 2014 11:45:48 -0500 Subject: [Haskell] ICFP 2015: Call for Papers Message-ID: ===================================================================== 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 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 (anywhere in the world), 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.acm.org/sigs/sigplan/authorInformation.htm Submission: Submissions will be accepted on the web using a link that will be posted at http://icfpconference.org/icfp2015/ 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 Institute of Cybernetics at Tallinn University of Technology (Estonia) 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) From alx at mimuw.edu.pl Mon Nov 10 21:53:01 2014 From: alx at mimuw.edu.pl (Aleksy Schubert) Date: Mon, 10 Nov 2014 22:53:01 +0100 Subject: [Haskell] RDP 2015 Last Call for Workshops Message-ID: <546133BD.3030208@mimuw.edu.pl> [apologies for cross posting] ----------------------------------------------------------------------- RDP 2015 Last Call for Workshops (Rewriting, Deduction, and Programming, June-July 2015, Warsaw, Poland) ----------------------------------------------------------------------- RDP 2015 is the eighth edition of the International Conference on Rewriting, Deduction, and Programming, consisting of two main conferences * RTA (Rewriting Techniques and Applications) * TLCA (Typed Lambda Calculi and Applications) Previous RDPs were held in 2003 in Valencia (Spain), 2004 in Aachen (Germany), 2005 in Nara (Japan), 2007 in Paris (France), 2009 in Brasilia (Brasil), 2011 in Novi Sad (Serbia), 2013 in Eindhoven (The Netherlands). We solicit proposals for satellite workshops of RDP 2015 that are related in topics to one or both of the RDP conferences. We plan the workshops to proceed for up to 2 days (possibilities of longer workshops should be discussed with the organisers). It is tradition at RDP that attendance to workshops is open to participants of parallel events, similar to the way FLoC workshops are run. There will be one day (Sunday, June 28, 2015) reserved for workshops only, however, it will also be possible to run workshops on the other days in parallel to one of the main conferences. RDP will provide the possibility to print workshop proceedings, details of the procedure will be posted later by the local organising committee. RDP will not be able to reimburse invited workshop speakers for travel or living expenses, though it may be possible to waive part of the registration fees for invited speakers. The priority of RDP will be to keep registration fees for the conferences and workshops low. If you want to organise a workshop, please send the following information to rdp15 at mimuw.edu.pl: * Workshop title and description of the topic * Names and affiliations of the organisers * Pointers to descriptions of previous editions of the workshop, if any * Proposed workshop duration (from one day to two days) * Proposed format and agenda (for example, paper presentations, tutorials, demo sessions, etc.) * Plans for invited speakers or special sessions (round-table discussion, tutorials, etc.) * Estimate of the audience size * Procedures for selecting papers and participants * Plans for the publication of proceedings (informal proceedings distributed to participants, electronic journal, proceedings with separate selection process, etc.) * Other potential organisational issues IMPORTANT DATES Submission of workshop proposals: November 18, 2014 (Tuesday) Notification date: November 26, 2014 (Wednesday) Workshop dates: June 28-July 3, 2014 (Sunday-Friday) CONTACT INFORMATION Questions regarding workshop proposals should be sent to rdp15 at mimuw.edu.pl. RDP 2015 MAIN ORGANISER Aleksy Schubert http://www.mimuw.edu.pl/~alx/ Faculty of Mathematics, Informatics and Mechanics University of Warsaw From gershomb at gmail.com Sun Nov 16 23:44:20 2014 From: gershomb at gmail.com (Gershom B) Date: Sun, 16 Nov 2014 18:44:20 -0500 Subject: [Haskell] Call for Presentations: Compose Conference [New York, Jan 30-Feb 1] Message-ID: Compose is a new conference for typed functional programmers, focused specifically on Haskell, OCaml, F#, and related technologies. It will be held in New York from Jan 30-Feb 1, and registration is opening shortly.? http://www.composeconference.org/ Below is our call for presentations. We recognize the deadline is tight, so feel free to submit proposals and ideas on the less-polished side. Call for Presentations and Speakers. http://www.composeconference.org/call/index.html --- The audience for Compose is Haskell, OCaml, or F# developers who are looking to increase their skills or learn new technologies and libraries. Presentations should be aimed at teaching or introducing new ideas or tools. We are also interested in presentations aiming at taking complex concepts, such as program derivation, and putting them into productive use. However proposals on anything that you suspect our audience may find interesting are welcome. The following are some of the types of talks we would welcome: Library/Tool Talks ? Exploring the uses of a powerful toolkit or library, be it for parsing, testing, data access and analysis, or anything else. Production Systems ? Experience reports on deploying functional techniques in real systems; insights revealed, mistakes made, lessons learned. Theory made Practical ? Just because it?s locked away in papers doesn?t mean it?s hard! Accessible lectures on classic results and why they matter to us today. Such talks can include simply introducing the principles of a field of research so as to help the audience read up on it in the future; from abstract machines to program derivation to branch-and-bound algorithms, the sky?s the limit. We also welcome proposals for more formal tutorials for the Sunday unconference. Such tutorials should be aimed at a smaller audience of beginner-to-novice understanding, and ideally include hands-on exercises. The due date for submissions is November 30, 2014. We will send out notice of acceptance by 10 December. We prefer that submissions be via the EasyChair website (https://easychair.org/conferences/?conf=compose2015). Please suggest a title, and describe the topic you intend to speak on. Additional information may be included on both your expertise and the interesting elements of your topic, going on what might be included in a public abstract. Furthermore, if your abstract doesn't feel "final"?don't worry! We'll work with you to polish it up. If you want to discuss your proposal(s) before submitting, or to further nail down what you intend to speak on, please feel free to contact us at info at composeconference.org. We're happy to work with you, even if you are a new or inexperienced speaker, to help your talk be great. ?Gershom From mihai.maruseac at gmail.com Mon Nov 17 02:02:38 2014 From: mihai.maruseac at gmail.com (Mihai Maruseac) Date: Sun, 16 Nov 2014 21:02:38 -0500 Subject: [Haskell] ANNOUNCE: Haskell Communities and Activities Report (27th ed., November 2014) Message-ID: On behalf of all the contributors, we are pleased to announce that the Haskell Communities and Activities Report (27th edition, November 2014) is now available, in PDF and HTML formats: http://haskell.org/communities/11-2014/report.pdf http://haskell.org/communities/11-2014/html/report.html Many thanks go to all the people that contributed to this report, both directly, by sending in descriptions, and indirectly, by doing all the interesting things that are reported. We hope you will find it as interesting a read as we did. If you have not encountered the Haskell Communities and Activities Reports before, you may like to know that the first of these reports was published in November 2001. Their goal is to improve the communication between the increasingly diverse groups, projects, and individuals working on, with, or inspired by Haskell. The idea behind these reports is simple: Every six months, a call goes out to all of you enjoying Haskell to contribute brief summaries of your own area of work. Many of you respond (eagerly, unprompted, and sometimes in time for the actual deadline) to the call. The editors collect all the contributions into a single report and feed that back to the community. When we try for the next update, six months from now, you might want to report on your own work, project, research area or group as well. So, please put the following into your diaries now: ======================================== End of April 2015: target deadline for contributions to the May 2015 edition of the HC&A Report ======================================== Unfortunately, many Haskellers working on interesting projects are so busy with their work that they seem to have lost the time to follow the Haskell related mailing lists and newsgroups, and have trouble even finding time to report on their work. If you are a member, user or friend of a project so burdened, please find someone willing to make time to report and ask them to "register" with the editors for a simple e-mail reminder in October (you could point us to them as well, and we can then politely ask if they want to contribute, but it might work better if you do the initial asking). Of course, they will still have to find the ten to fifteen minutes to draw up their report, but maybe we can increase our coverage of all that is going on in the community. Feel free to circulate this announcement further in order to reach people who might otherwise not see it. Enjoy! Mihai Maruseac and Alejandro Serrano Mena -- Mihai Maruseac (MM) "If you don't know, the thing to do is not to get scared, but to learn." -- Atlas Shrugged. From simonpj at microsoft.com Mon Nov 17 09:17:27 2014 From: simonpj at microsoft.com (Simon Peyton Jones) Date: Mon, 17 Nov 2014 09:17:27 +0000 Subject: [Haskell] [Haskell-cafe] ANNOUNCE: Haskell Communities and Activities Report (27th ed., November 2014) In-Reply-To: References: Message-ID: <618BE556AADD624C9C918AA5D5911BEF3F3C37C2@DB3PRD3001MB020.064d.mgd.msft.net> Friends With each issue of the Haskell Communities and Activities Report I am freshly awed by the range and creativity of the things you are all doing with Haskell. From web frameworks to bioinformatics, from automatic differentiation to GUIs and games. Amazing stuff. I think we owe the editors, Mihai Maruseac and Alejandro Serrano Mena, a huge debt for putting it together. Thank you! Simon | -----Original Message----- | From: Haskell-Cafe [mailto:haskell-cafe-bounces at haskell.org] On Behalf | Of Mihai Maruseac | Sent: 17 November 2014 02:03 | To: Haskell; haskell; Haskell Beginners; Lista principala | Subject: [Haskell-cafe] [Haskell] ANNOUNCE: Haskell Communities and | Activities Report (27th ed., November 2014) | | On behalf of all the contributors, we are pleased to announce that the | | Haskell Communities and Activities Report | (27th edition, November 2014) | | is now available, in PDF and HTML formats: | | http://haskell.org/communities/11-2014/report.pdf | http://haskell.org/communities/11-2014/html/report.html From austin at well-typed.com Tue Nov 18 19:31:01 2014 From: austin at well-typed.com (Austin Seipp) Date: Tue, 18 Nov 2014 13:31:01 -0600 Subject: [Haskell] NOTE: the primary webserver is going down for immediate maintenance. Message-ID: Hello *, The primary haskell.org domain, www.haskell.org, is hosted on a system which seems to have lost one of its RAID disks completely. We were planning on moving this machine in the next few weeks to new infrastructure, but we are now expediting this plan and will be doing it ASAP. As we move this server, both the webserver and the mailing system will be going down. Please don't be alarmed if your emails aren't delivered or things go quiet. Many services will continue to work, but we do realize this will be upsetting for many. You can follow the progress on #haskell-infrastructure on Freenode, and see updates on https://status.haskell.org If you need to download something like a GHC binary or Haskell Platform package, you can use https://downloads.haskell.org in the mean time, which is a new service we were hoping to announce more officially soon, but is already working today. Unfortunately we cannot give an expected time of completion for the move, but we'll try to keep people well informed through IRC or something like Reddit. Thanks -- Regards, Austin Seipp, Haskell Consultant Well-Typed LLP, http://www.well-typed.com/ From erkokl at gmail.com Wed Nov 19 04:51:47 2014 From: erkokl at gmail.com (Levent Erkok) Date: Tue, 18 Nov 2014 20:51:47 -0800 Subject: [Haskell] [ANNOUNCE] New release of SBV (v3.2) Message-ID: I'm pleased to announce v3.2 release of SBV, providing facilities for SMT based theorem proving in Haskell. This is mainly a bug-fix/maintenance release, together with one new feature: SBV now implements 'sAssert', which works similar to 'assert' calls in Haskell or other languages to check that certain program invariants always hold. Except, SBV allows the condition to be symbolic, and all violations will be caught and reported as the underlying program is symbolically executed. (For instance, this facility can be useful in other DSL's built on top of SBV to make sure the code they generate never divides by 0, or indexes out of bounds.) Full release notes: https://github.com/LeventErkok/sbv /blob/master/CHANGES.md SBV web page: http://leventerkok.github.io/sbv/ As usual, bug reports and feedback are most welcome! -Levent. -------------- next part -------------- An HTML attachment was scrubbed... URL: From davean at xkcd.com Wed Nov 19 05:47:25 2014 From: davean at xkcd.com (davean) Date: Wed, 19 Nov 2014 00:47:25 -0500 Subject: [Haskell] NOTE: the primary webserver is going down for immediate maintenance. In-Reply-To: References: Message-ID: At this time services are starting to come back. The site is very slow due to a temporary patch while we improve the connection to the database server. Please report issues other then slowness to the #haskell-infrastructure on Freenode. Apologies for the interruption you were forced to experience. On Tue, Nov 18, 2014 at 2:31 PM, Austin Seipp wrote: > Hello *, > > The primary haskell.org domain, www.haskell.org, is hosted on a system > which seems to have lost one of its RAID disks completely. > > We were planning on moving this machine in the next few weeks to new > infrastructure, but we are now expediting this plan and will be doing > it ASAP. > > As we move this server, both the webserver and the mailing system will > be going down. Please don't be alarmed if your emails aren't delivered > or things go quiet. Many services will continue to work, but we do > realize this will be upsetting for many. > > You can follow the progress on #haskell-infrastructure on Freenode, > and see updates on https://status.haskell.org > > If you need to download something like a GHC binary or Haskell > Platform package, you can use https://downloads.haskell.org in the > mean time, which is a new service we were hoping to announce more > officially soon, but is already working today. > > Unfortunately we cannot give an expected time of completion for the > move, but we'll try to keep people well informed through IRC or > something like Reddit. > > Thanks > > -- > Regards, > > Austin Seipp, Haskell Consultant > Well-Typed LLP, http://www.well-typed.com/ > _______________________________________________ > ghc-devs mailing list > ghc-devs at haskell.org > http://www.haskell.org/mailman/listinfo/ghc-devs > -------------- next part -------------- An HTML attachment was scrubbed... URL: From dstcruz at gmail.com Thu Nov 20 04:27:17 2014 From: dstcruz at gmail.com (Daniel Santa Cruz) Date: Wed, 19 Nov 2014 21:27:17 -0700 Subject: [Haskell] Haskell Weekly News: Issue 312 Message-ID: Welcome to issue 312 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers from October 26 to November 15, 2014 Quotes of the Week * barsoap: There's no place for half measures in overkill. Top Reddit Stories * Category Theory for Programmers: The Preface Domain: bartoszmilewski.com, Score: 141, Comments: 68 Original: [1] http://goo.gl/nTaVM5 On Reddit: [2] http://goo.gl/9cnWqN * Idris 0.9.15 released: partial evaluator, uniqueness types, library cleanups, and fancier docs. Domain: idris-lang.org, Score: 111, Comments: 55 Original: [3] http://goo.gl/nL9Ptr On Reddit: [4] http://goo.gl/mkHVEl * HaskForce - The Haskell Plugin for IntelliJ IDEA Domain: carymrobbins.github.io, Score: 104, Comments: 34 Original: [5] http://goo.gl/Oa0jBA On Reddit: [6] http://goo.gl/W2jrFW * Haskell for all: How to desugar Haskell code Domain: haskellforall.com, Score: 97, Comments: 50 Original: [7] http://goo.gl/1ZfiyP On Reddit: [8] http://goo.gl/hK3xTo * Functional programming and condescension Domain: superginbaby.wordpress.com, Score: 87, Comments: 147 Original: [9] http://goo.gl/erVkNx On Reddit: [10] http://goo.gl/ncQcxX * Quick Reminder to be Courteous Domain: self.haskell, Score: 85, Comments: 39 Original: [11] http://goo.gl/pmEODB On Reddit: [12] http://goo.gl/pmEODB * Category Theory Applied to Functional Programming Domain: eafit.edu.co, Score: 84, Comments: 14 Original: [13] http://goo.gl/ax59vm On Reddit: [14] http://goo.gl/xZYksD * New Book - Game Programming in Haskell Domain: leanpub.com, Score: 84, Comments: 31 Original: [15] http://goo.gl/hAqaaU On Reddit: [16] http://goo.gl/XePpcJ * "hasql" is up to 2x and 7x faster than "postgresql-simple" and "HDBC" Domain: nikita-volkov.github.io, Score: 72, Comments: 22 Original: [17] http://goo.gl/YwU4OQ On Reddit: [18] http://goo.gl/fnfFAC * Typing Haskell in Haskell (markdownified with syntax highlighting and updated links) Domain: gist.github.com, Score: 68, Comments: 3 Original: [19] http://goo.gl/U6Jnvr On Reddit: [20] http://goo.gl/QeLcak * Using Haskell at Work Domain: self.haskell, Score: 66, Comments: 66 Original: [21] http://goo.gl/265kRm On Reddit: [22] http://goo.gl/265kRm * Category: The Essence of Composition (First section of the Category Theory for Programmers?) Domain: bartoszmilewski.com, Score: 60, Comments: 37 Original: [23] http://goo.gl/pdwr4X On Reddit: [24] http://goo.gl/AtYhI3 * PureScript 0.6 released, plus new website Domain: github.com, Score: 55, Comments: 23 Original: [25] http://goo.gl/TSuiEM On Reddit: [26] http://goo.gl/ZRBCHz * Tomatoes are a subtype of vegetables Domain: blog.ezyang.com, Score: 53, Comments: 58 Original: [27] http://goo.gl/1evzHU On Reddit: [28] http://goo.gl/qiiwSS * The Guts of a Spineless Machine Domain: jozefg.bitbucket.org, Score: 49, Comments: 11 Original: [29] http://goo.gl/KxW1iq On Reddit: [30] http://goo.gl/CNQbwk * A Large Scale Study of Programming Languages and Code Quality in Github Domain: macbeth.cs.ucdavis.edu, Score: 47, Comments: 48 Original: [31] http://goo.gl/TEoSBV On Reddit: [32] http://goo.gl/18UfCM * ghci-ng - GHCi plus extra goodies Domain: github.com, Score: 45, Comments: 14 Original: [33] http://goo.gl/g6VMiK On Reddit: [34] http://goo.gl/5Mg7n8 Top StackOverflow Questions * Haskell's type checker is allowing a very wrong type replacement, and the program still compiles votes: 68, answers: 2 Read on SO: [35] http://goo.gl/ikcCmv * Subsumption in polymorphic types votes: 29, answers: 1 Read on SO: [36] http://goo.gl/clKuju * Rewriting as a practical optimization technique in GHC: Is it really needed? votes: 23, answers: 3 Read on SO: [37] http://goo.gl/MNNuhW * Is there an unsigned integer type that will warn about negative literals? votes: 21, answers: 1 Read on SO: [38] http://goo.gl/SmRO3t * How can I make GHCI release memory votes: 19, answers: 1 Read on SO: [39] http://goo.gl/U3qroZ * How much of Pascal's triangle does this evaluate? votes: 15, answers: 1 Read on SO: [40] http://goo.gl/PsaQ3X * Why is super-compilation not implemented more prevalent? votes: 14, answers: 3 Read on SO: [41] http://goo.gl/MFNsrE Until next time, [42]+Daniel Santa Cruz References 1. http://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/ 2. http://www.reddit.com/r/haskell/comments/2kkrd3/category_theory_for_programmers_the_preface/ 3. http://www.idris-lang.org/idris-0-9-15-released/ 4. http://www.reddit.com/r/haskell/comments/2kfosg/idris_0915_released_partial_evaluator_uniqueness/ 5. http://carymrobbins.github.io/intellij-haskforce/ 6. http://www.reddit.com/r/haskell/comments/2kvzuz/haskforce_the_haskell_plugin_for_intellij_idea/ 7. http://www.haskellforall.com/2014/10/how-to-desugar-haskell-code.html 8. http://www.reddit.com/r/haskell/comments/2kf61f/haskell_for_all_how_to_desugar_haskell_code/ 9. http://superginbaby.wordpress.com/2014/10/28/suddenly-the-opposite-appeared/ 10. http://www.reddit.com/r/haskell/comments/2klj3b/functional_programming_and_condescension/ 11. http://www.reddit.com/r/haskell/comments/2lfofw/quick_reminder_to_be_courteous/ 12. http://www.reddit.com/r/haskell/comments/2lfofw/quick_reminder_to_be_courteous/ 13. http://www1.eafit.edu.co/asicard/pubs/cain-screen.pdf 14. http://www.reddit.com/r/haskell/comments/2kowzu/category_theory_applied_to_functional_programming/ 15. https://leanpub.com/gameinhaskell 16. http://www.reddit.com/r/haskell/comments/2m253y/new_book_game_programming_in_haskell/ 17. http://nikita-volkov.github.io/hasql-benchmarks/ 18. http://www.reddit.com/r/haskell/comments/2lwx9y/hasql_is_up_to_2x_and_7x_faster_than/ 19. https://gist.github.com/chrisdone/0075a16b32bfd4f62b7b 20. http://www.reddit.com/r/haskell/comments/2lo881/typing_haskell_in_haskell_markdownified_with/ 21. http://www.reddit.com/r/haskell/comments/2lcx8c/using_haskell_at_work/ 22. http://www.reddit.com/r/haskell/comments/2lcx8c/using_haskell_at_work/ 23. http://bartoszmilewski.com/2014/11/04/category-the-essence-of-composition/ 24. http://www.reddit.com/r/haskell/comments/2la0cx/category_the_essence_of_composition_first_section/ 25. https://github.com/purescript/purescript/releases/tag/v0.6.0 26. http://www.reddit.com/r/haskell/comments/2lt7oc/purescript_06_released_plus_new_website/ 27. http://blog.ezyang.com/2014/11/tomatoes-are-a-subtype-of-vegetables/ 28. http://www.reddit.com/r/haskell/comments/2meyxf/tomatoes_are_a_subtype_of_vegetables/ 29. http://jozefg.bitbucket.org/posts/2014-10-28-stg.html 30. http://www.reddit.com/r/haskell/comments/2kswnp/the_guts_of_a_spineless_machine/ 31. http://macbeth.cs.ucdavis.edu/lang_study.pdf 32. http://www.reddit.com/r/haskell/comments/2lb3oz/a_large_scale_study_of_programming_languages_and/ 33. https://github.com/chrisdone/ghci-ng 34. http://www.reddit.com/r/haskell/comments/2l9bvb/ghcing_ghci_plus_extra_goodies/ 35. http://stackoverflow.com/questions/26770247/haskells-type-checker-is-allowing-a-very-wrong-type-replacement-and-the-progra 36. http://stackoverflow.com/questions/26806653/subsumption-in-polymorphic-types 37. http://stackoverflow.com/questions/26827663/rewriting-as-a-practical-optimization-technique-in-ghc-is-it-really-needed 38. http://stackoverflow.com/questions/26574302/is-there-an-unsigned-integer-type-that-will-warn-about-negative-literals 39. http://stackoverflow.com/questions/26712188/how-can-i-make-ghci-release-memory 40. http://stackoverflow.com/questions/26729146/how-much-of-pascals-triangle-does-this-evaluate 41. http://stackoverflow.com/questions/26605431/why-is-super-compilation-not-implemented-more-prevalent 42. https://plus.google.com/105107667630152149014/about -------------- next part -------------- An HTML attachment was scrubbed... URL: From stefan.wehr at gmail.com Thu Nov 20 16:37:22 2014 From: stefan.wehr at gmail.com (Stefan Wehr) Date: Thu, 20 Nov 2014 17:37:22 +0100 Subject: [Haskell] Call for Participation: BOB 2015 in Berlin Message-ID: Hi everyone, the BOB conference is taking place soon, featuring two Haskell related tutorials! ================================================================ BOB 2015 Conference "What happens if we simply use what's best?" January 23. 2015 Berlin, Germany http://bobkonf.de/2015/ Program: http://bobkonf.de/2015/programm.html Registration: http://bobkonf.de/2015/registration.html ================================================================ BOB is the conference for developers, architects and decision-makers to explore technologies beyond the mainstream in software development, and to find the best tools available to software developers today. Our goal is for all participants of BOB to return home with new insights that enable them to improve their own software development experiences. The program features 14 talks and 8 tutorials on current topics: http://bobkonf.de/2015/programm.html The subject range of talks includes functional programming, microservices, package management, and data management. The tutorials feature introductions to Erlang, Haskell, Swift, and ClojureScript, and their applications. Anil Madhavapeddy will hold the keynote talk - about unikernels and functional programming. Registration is open online: http://bobkonf.de/2015/registration.html NOTE: The early-bird rates expire on Dec. 19, 2014! BOB cooperates with the :clojured conference on the following day. There is a registration discount available for participants of both events. http://www.clojured.de/ From moreno.falaschi at uniud.it Sun Nov 23 12:33:05 2014 From: moreno.falaschi at uniud.it (Moreno Falaschi) Date: Sun, 23 Nov 2014 12:33:05 +0000 Subject: [Haskell] PPDP 2015 -- First call for papers Message-ID: <76CD3661-8463-44C7-8BA8-E0B395CFFFE1@uniud.it> [Apologies for multiple copies] ============= First Call for papers ========================================= 17th International Symposium on Principles and Practice of Declarative Programming PPDP 2015 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). 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. Program Committee TBA Program Chair Elvira Albert Complutense University of Madrid C/ Profesor Garcia Santesmases E-28040 Madrid, Spain Email: elvira at sip.ucm.es Symposium Chair Moreno Falaschi Dipartimento di Ingegneria dell?Informazione e Scienze Matematiche University of Siena, Italy Email: moreno.falaschi at unisi.it