From karun.ramakrishnan at live.com Wed Apr 1 06:07:06 2015 From: karun.ramakrishnan at live.com (Karun Ramakrishnan) Date: Wed, 1 Apr 2015 01:07:06 -0500 Subject: [Haskell] ANNOUNCE: Arion Message-ID: Three of us have been working on Arion for a week or two now. It's a watcher and runner for Hspec tests. It associates source files with test files, watches the file system, and when a file changes it runs the corresponding test files instead of running all the test files, making the process of red-green-refactor faster. We are happy to announce that we have a nice and stable version (0.1.0.8). Thanks to the folks at hspec.github.io for listing our project on their website. To know more, please visit - https://github.com/karun012/arion Feedback/Feature Requests/Everything else welcome. -------------- next part -------------- An HTML attachment was scrubbed... URL: From Graham.Hutton at nottingham.ac.uk Wed Apr 1 08:22:53 2015 From: Graham.Hutton at nottingham.ac.uk (Graham Hutton) Date: Wed, 1 Apr 2015 09:22:53 +0100 Subject: [Haskell] Journal of Functional Programming - Call for PhD Abstracts Message-ID: ============================================================ CALL FOR PHD ABSTRACTS Journal of Functional Programming Deadline: 30th April 2015 http://tinyurl.com/jfp-phd-abstracts ============================================================ PREAMBLE: Many students complete PhDs in functional programming each year, but there is currently no common location in which to promote and advertise the resulting work. The Journal of Functional Programming would like to change that! As a service to the community, JFP recently launched a new feature, in the form of a regular publication of abstracts from PhD dissertations that were completed during the previous year. The abstracts are made freely available on the JFP website, i.e. not behind any paywall, and do not require any transfer for copyright, merely a license from the author. Please submit dissertation abstracts according to the instructions below. A dissertation is eligible if parts of it have or could have appeared in JFP, that is, if it is in the general area of functional programming. JFP will not have these abstracts reviewed. We welcome submissions from both the PhD student and PhD advisor/ supervisor although we encourage them to coordinate. ============================================================ SUBMISSION: Please submit the following information to Graham Hutton by 30th April 2015. o Dissertation title: (including any subtitle) o Student: (full name) o Awarding institution: (full name and country) o Date of PhD award: (month and year; depending on the institution, this may be the date of the viva, corrections being approved, graduation ceremony, or otherwise) o Advisor/supervisor: (full names) o Dissertation URL: (please provide a permanently accessible link to the dissertation if you have one, such as to an institutional repository or other public archive; links to personal web pages should be considered a last resort) o Dissertation abstract: (plain text, maximum 1000 words; you may use \emph{...} for emphasis, but we prefer no other markup or formatting in the abstract, but do get in touch if this causes significant problems) Please do not submit a copy of the dissertation itself, as this is not required. JFP reserves the right to decline to publish abstracts that are not deemed appropriate. ============================================================ PHD ABSTRACT EDITOR: Graham Hutton School of Computer Science University of Nottingham Nottingham NG8 1BB United Kingdom ============================================================ This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please send it back to me, and immediately delete it. Please do not use, copy or disclose the information contained in this message or in any attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. This message has been checked for viruses but the contents of an attachment may still contain software viruses which could damage your computer system, you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation. From storm at cwi.nl Wed Apr 1 09:35:55 2015 From: storm at cwi.nl (Tijs van der Storm) Date: Wed, 1 Apr 2015 11:35:55 +0200 Subject: [Haskell] DSLDI: 3rd Workshop on Domain-Specific Language Design and Implementation (EXTENDED DEADLINE) Message-ID: <146C89A3-531A-4910-8ACC-74DF0443AA61@cwi.nl> ********************************************************************* SECOND CALL FOR TALK PROPOSALS DSLDI 2015 Third Workshop on Domain-Specific Language Design and Implementation July 7, 2015 Prague, Czech Republic Co-located with ECOOP http://2015.ecoop.org/track/dsldi-2015-papers ********************************************************************* EXTENDED Deadline for talk proposals: 9th of April, 2015 If designed and implemented well, domain-specific languages (DSLs) combine the best features of general-purpose programming languages (e.g., performance) with high productivity (e.g., ease of programming). *** Workshop Goal *** The goal of the DSLDI workshop is to bring together researchers and practitioners interested in sharing ideas on how DSLs should be designed, implemented, supported by tools, and applied in realistic application contexts. We are both interested in discovering how already known domains such as graph processing or machine learning can be best supported by DSLs, but also in exploring new domains that could be targeted by DSLs. More generally, we are interested in building a community that can drive forward the development of modern DSLs. *** Workshop Format *** DSLDI is a single-day workshop and will consist of a series of short talks whose main goal is to trigger exchange of opinion and discussions. The talks should be on the topics within DSLDI's area of interest, which include but are not limited to the following ones: * DSL implementation techniques, including compiler-level and runtime-level solutions * utilization of domain knowledge for driving optimizations of DSL implementations * utilizing DSLs for managing parallelism and hardware heterogeneity * DSL performance and scalability studies * DSL tools, such as DSL editors and editor plugins, debuggers, refactoring tools, etc. * applications of DSLs to existing as well as emerging domains, for example graph processing, image processing, machine learning, analytics, robotics, etc. * practitioners reports, for example descriptions of DSL deployment i a real-life production setting *** Call for Submissions *** We solicit talk proposals in the form of short abstracts (max. 2 pages). A good talk proposal describes an interesting position, demonstration, or early achievement. The submissions will be reviewed on relevance and clarity, and used to plan the mostly interactive sessions of the workshop day. Publication of accepted abstracts and slides on the website is voluntary. * _EXTENDED_ Deadline for talk proposals: April 9th, 2015 * Notification: May 8th, 2015 * Workshop: July 7th, 2015 * Submission website: https://easychair.org/conferences/?conf=dsldi2015 *** Workshop Organization *** Organizers * Tijs van der Storm (storm at cwi.nl), CWI, The Netherlands * Sebastian Erdweg (erdweg at informatik.tu-darmstadt.de), TU Darmstadt, Germany Follow us on Twitter at https://twitter.com/wsdsldi Program committee * Emilie Balland * Martin Bravenboer (LogicBlox) * Hassan Chafi (Oracle Labs) * William Cook (UT Austin) * Shriram Krishnamurthi (Brown University) * Heather Miller (EPFL) * Bruno Oliveira (University of Hong Kong) * Cyrus Omar (CMU) * Richard Paige (University of York) * Tony Sloane (Macquarie University) * Emma S?derberg (Google) * Emma Tosch (University of Massachusetts, Amherst) * Jurgen Vinju (CWI) -- 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 From ky3 at atamo.com Wed Apr 1 16:18:25 2015 From: ky3 at atamo.com (Kim-Ee Yeoh) Date: Wed, 1 Apr 2015 23:18:25 +0700 Subject: [Haskell] Haskell Weekly News Message-ID: *Top picks:* - Bot attack on Trac pummels GHC HQ productivity! Do you know a thing or two about hardening web apps? Can you help? - A month ago you read about the absence of a correct operational spec for Core. Christiaan Baaij proffers rewriting rules for something "very much like Core" from his 2014 thesis on Digital Circuits in C?aSH, a tool designed for Computer Architecture for Embedded Systems (CAES). The consensus is that they probably also work for GHC Core. - Neil Mitchell reports Unable to load package Win32-2.3.1.0 . The problem? SetWindowLongPtrW exists only on 64-bit. The haskell win32 shim wasn't switching to SetWindowLongW on 32-bit. Darren Grant steps up to offer a fix, which Austin Seipp promptly checks in. - Ki Yung Ahn asks for a "wrapper that lifts actions of (State s1 a) to (State (s1,s2) a). " The answer? A function called "zoom" in lens libraries. - Chris Done has started the ball rolling on GPG-based package signing. So far, Michael Snoyman and Neil Mitchell have had their keys signed by Chris. He invites others to join the party. - Levant Erkok joins Lennart Augustsson in hitting a bug with signed zeros . The function isNegativeZero breaks under optimizations. - James Stevenson over at Safari Books Online reveals how they use Haskell to parse web logs more efficiently than Python. The top comment at Hacker News observes the absence of a proper benchmark pitting Python vs Haskell. James responds that they did an informal comparison that showed "the number of lines parsed/second [with Python] was far smaller than the attoparsec-based parser." Elsewhere, Luke Randall submits the link on reddit and thinks it's a "very gentle intro to parsing using attoparsec". - Ian Ross announces a new C2HS release christened "Snowmelt". Originally authored by Manuel Chakravarty, C2HS eases the pain of manually creating FFI shims for C libraries. The latest release, thanks to work contributed by Philipp Balzarek, achieves better cross-language alignment of C enum and Haskell Enum types, among other improvements. Reddit discussion here. - Michael Snoyman announces FPComplete's open sourcing of their IDE backend, comprising a wrapper around the GHC API. - Jon Sterling at PivotCloud hits an STM TQueue bug initially reported by John Lato seven months ago. A sufficiently fast writer can cause the reader to never get scheduled, which leads to live-lock in Jon's production code. The fix looks to be as simple as lazifying a case into a let in readTQueue. Curiously, the code uses let in Simon Marlow's book on Haskell concurrency but not in the STM package you have on your machine. *Tweets of the week:* - Michael Neale : Haskell Quickcheck enters a bar, asks for 1 beer, 42 beers, -Inifinity beers, shaves bartenders beard, sets off a tactical nuke. - Dierk K?nig : #Haskell is the gold standard for programming languages and #Frege makes it available on the #JVM -- Kim-Ee -------------- next part -------------- An HTML attachment was scrubbed... URL: From Henrik.Nilsson at nottingham.ac.uk Thu Apr 2 09:28:03 2015 From: Henrik.Nilsson at nottingham.ac.uk (Henrik Nilsson) Date: Thu, 02 Apr 2015 10:28:03 +0100 Subject: [Haskell] FARM 2015: 2nd Call For Papers Message-ID: <551D0BA3.5040404@nottingham.ac.uk> Dear all, The workshop on Functional Art, Music, Modelling and Design, co-located with ICFP 2015 in Vancouver, may be of interest to some of you. The 2nd call for papers is enclosed; deadline 17 May. Any help spreading the CFP to colleagues and friends who might be interested would be much appreciated. Thanks! /Henrik -- Henrik Nilsson School of Computer Science The University of Nottingham nhn at cs.nott.ac.uk This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please send it back to me, and immediately delete it. Please do not use, copy or disclose the information contained in this message or in any attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. This message has been checked for viruses but the contents of an attachment may still contain software viruses which could damage your computer system, you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation. -------------- next part -------------- ************************************************************ 2nd CFP FARM 2015 3rd ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design Vancouver, Canada, 5 September, 2015 affiliated with ICFP 2015 Full Paper and Demo Abstract submission Deadline: 17 May ************************************************************ The ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design (FARM) gathers together people who are harnessing functional techniques in the pursuit of creativity and expression. Functional Programming has emerged as a mainstream software development paradigm, and its artistic and creative use is booming. A growing number of software toolkits, frameworks and environments for art, music and design now employ functional programming languages and techniques. FARM is a forum for exploration and critical evaluation of these developments, for example to consider potential benefits of greater consistency, tersity, and closer mapping to a problem domain. FARM encourages submissions from across art, craft and design, including textiles, visual art, music, 3D sculpture, animation, GUIs, video games, 3D printing and architectural models, choreography, poetry, and even VLSI layouts, GPU configurations, or mechanical engineering designs. The language used need not be purely functional (?mostly functional? is fine), and may be manifested as a domain specific language or tool. Theoretical foundations, language design, implementation issues, and applications in industry or the arts are all within the scope of the workshop. Submissions are invited in two categories: * Full papers 5 to 12 pages using the ACM SIGPLAN template. FARM 2015 is an interdisciplinary conference, so a wide range of approaches are encouraged and we recognize that the appropriate length of a paper may vary considerably depending on the approach. However, all submissions must propose an original contribution to the FARM theme, cite relevant previous work, and apply appropriate research methods. * Demo abstracts Demo abstracts should describe the demonstration and its context, connecting it with the themes of FARM. A demo could be in the form of a short (10-20 minute) tutorial, presentation of work-in-progress, an exhibition of some work, or even a performance. Abstracts should be no longer than 2 pages, using the ACM SIGPLAN template and will be subject to a light-touch peer review. If you have any questions about what type of contributions that might be suitable, or anything else regarding submission or the workshop itself, please contact the organisers at: farm-2015 at easychair.org KEY DATES: Full Paper and Demo Abstract submission Deadline: 17 May Author Notification: 26 June Camera Ready: 19 July Workshop: 5 September SUBMISSION All papers and demo abstracts must be in portable document format (PDF), using the ACM SIGPLAN style guidelines. The text should be in a 9-point font in two columns. The submission itself will be via EasyChair: https://easychair.org/conferences/?conf=farm2015 PUBLICATION Accepted papers will be included in the formal proceedings published by ACM Press and will also be made available through the the ACM Digital Library; see http://authors.acm.org/main.cfm for information on the options available to authors. Authors are encouraged to submit auxiliary material for publication along with their paper (source code, data, videos, images, etc.); authors retain all rights to the auxiliary material. WORKSHOP ORGANISATION Workshop Chair: Henrik Nilsson, University of Nottingham Program Chair: David Janin, University of Bordeaux Publicity Chair: Samuel Aaron, University of Cambridge Program Committee: Samuel Aaron, University of Cambridge Jean Bresson, IRCAM Paris David Broman, KTH and UC Berkeley Paul Hudak, Yale University David Janin (chair), University of Bordeaux Anton Kholomiov, Orffeus instrumental ensemble Moscow Alex Mclean, University of Leeds Carin Meier, Outpace Systems Henrik Nilsson, University of Nottingham Yann Orlarey, GRAME Lyon Donya Quick, Yale University Shigeki Sagayama, Meiji University Chung-chieh Shan, Indiana University Michael Sperber, Active Group GmbH Bodil Stokke, FutureAdLabs For further details, see the FARM website: http://functional-art.org From koen at chalmers.se Thu Apr 2 12:16:31 2015 From: koen at chalmers.se (Koen Claessen) Date: Thu, 2 Apr 2015 14:16:31 +0200 Subject: [Haskell] Chalmers is advertising positions, deadline April 6 Message-ID: Dear all, Chalmers University of Technology has 2-3 open positions in the division of Software Technology (which consists of functional programming, language based security and formal methods). Please consider applying! And/or forward to people you know who would be interested. Application deadline: April 6, 2015 (soon!). --- Associate Professor in Software Technology http://www.chalmers.se/en/about-chalmers/vacancies/Pages/default.aspx?rmpage=job&rmjob=p2896 Lecturer in Software Technology http://www.chalmers.se/en/about-chalmers/vacancies/Pages/default.aspx?rmpage=job&rmjob=p2899 /Koen From gershomb at gmail.com Mon Apr 6 20:20:53 2015 From: gershomb at gmail.com (Gershom B) Date: Mon, 6 Apr 2015 16:20:53 -0400 Subject: [Haskell] Call for Haskell.org committee self-nominations Message-ID: Dear Haskellers, We have been overdue for some time in calling for a new round of nominations to the Haskell.org Committee. We have three members due for retirement -- Jason Dagit, Edward Kmett, and Brent Yorgey. The committee would like to thank them for their excellent service. To nominate yourself, please send an email to committee at haskell.org by 21 April 2015. The retiring members are eligible to re-nominate themselves. Please feel free to include any information about yourself that you think will help us to make a decision. Being a member of the committee does not necessarily require a significant amount of time, but committee members should aim to be responsive during discussions when the committee is called upon to make a decision. Strong leadership, communication, and judgement are very important characteristics for committee members. The role is about setting policy, providing direction/guidance for Haskell.org infrastructure, planning for the long term, and being fiscally responsible with the Haskell.org funds (and donations). As overseers for policy regarding the open source side of Haskell, committee members must also be able to set aside personal or business related bias and make decisions with the good of the open source Haskell community in mind. More details about the committee's roles and responsibilities are on *https://wiki.haskell.org/Haskell.org_committee * If you have any questions about the process, please feel free to e-mail us at committee at haskell.org or to contact one of us individually. Regards, Gershom -------------- next part -------------- An HTML attachment was scrubbed... URL: From ekmett at gmail.com Tue Apr 7 00:58:41 2015 From: ekmett at gmail.com (Edward Kmett) Date: Mon, 6 Apr 2015 20:58:41 -0400 Subject: [Haskell] [haskell.org Google Summer of Code] Call for Mentors Message-ID: We have had a rather large pool of potential students apply for this year's Google Summer of Code, but, ultimately, Google won't let us ask for a slot unless we have a potential mentor assigned in advance. On top of that, one thing we try to do with each project is wherever possible, assign both a primary and a backup mentor, so the available mentoring pool is drawn a little thin. Many hands make for light work, though: If you've mentored or thought about mentoring in years past, I'd encourage you to sign up on google-melange for the Google Summer of Code at: https://www.google-melange.com/gsoc/homepage/google/gsoc2015 and request a connection to haskell.org as a Mentor. Once you've done this you can help us vote on proposals, and should something seem appropriate to you, you can flag yourself as available as a potential mentor or backup mentor for one (or more) of the projects. We have a couple of weeks left to rate proposals and request slots, but it'd be good to make as much progress as we can this week. If you have any questions, feel free to reach out to me, or to Shachaf Ben-Kiki or Gershom Bazerman who have been helping out with organizational issues this year. We also have a #haskell-gsoc channel on irc.freenode.net if you have questions about what is involved. Thank you for your time and consideration, -Edward Kmett -------------- next part -------------- An HTML attachment was scrubbed... URL: From david.feuer at gmail.com Tue Apr 7 01:26:11 2015 From: david.feuer at gmail.com (David Feuer) Date: Mon, 6 Apr 2015 21:26:11 -0400 Subject: [Haskell] [Haskell-cafe] Call for Haskell.org committee self-nominations In-Reply-To: References: Message-ID: I think it would be very good to reach out especially to women who are or have been active in Haskell. We seem to have very few if any women in leadership positions?as far as I can tell, there are none on the haskell.org committee or the core libraries committee?and this does not send a very welcoming message. On Apr 6, 2015 4:21 PM, "Gershom B" wrote: > Dear Haskellers, > > We have been overdue for some time in calling for a new round of > nominations to the Haskell.org Committee. We have three members due for > retirement -- Jason Dagit, Edward Kmett, and Brent Yorgey. The committee > would like to thank them for their excellent service. > > To nominate yourself, please send an email to committee at haskell.org by > 21 April 2015. The retiring members are eligible to re-nominate themselves. > > Please feel free to include any information about yourself that you think > will help us to make a decision. > > Being a member of the committee does not necessarily require a > significant amount of time, but committee members should aim to be > responsive during discussions when the committee is called upon to make a > decision. Strong leadership, communication, and judgement are very > important characteristics for committee members. The role is about setting > policy, providing direction/guidance for Haskell.org infrastructure, > planning for the long term, and being fiscally responsible with the > Haskell.org funds (and donations). As overseers for policy regarding the > open source side of Haskell, committee members must also be able to set > aside personal or business related bias and make decisions with the good of > the open source Haskell community in mind. > > More details about the committee's roles and responsibilities are on > > *https://wiki.haskell.org/Haskell.org_committee > * > > If you have any questions about the process, please feel free to e-mail us > at committee at haskell.org or to contact one of us individually. > > Regards, > Gershom > > _______________________________________________ > Haskell-Cafe mailing list > Haskell-Cafe at haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe > > -------------- next part -------------- An HTML attachment was scrubbed... URL: From yrg at pps.univ-paris-diderot.fr Tue Apr 7 13:56:07 2015 From: yrg at pps.univ-paris-diderot.fr (=?UTF-8?B?WWFubiBSw6lnaXMtR2lhbmFz?=) Date: Tue, 07 Apr 2015 13:56:07 +0000 Subject: [Haskell] [EPIT2015] Call for participation to a Spring School about the Coq proof assistant Message-ID: *** Call for participation, please distribute. *** EPIT'2015 (http://www.epit2015.website) Spring School in Theoretical Computer Science Mechanizing Proofs of Programs in Coq May 25 to May 29, 2015, Frejus, France * Presentation The french spring school in theoretical computer science (EPIT) is a recurrent school which was created 40 years ago by Maurice Nivat. This year, the school is about the mechanization of proofs of programs using the proof assistant Coq. As no prerequisite is needed, the school targets any computer scientist that is curious about what a proof assistant is and how it can be integrated in its daily research work. * Program The school will take place between May 24 and May 29 and it will be divided into eight sessions. A session will consist in a (rather short) lecture (given in english) followed by practical exercises on computer. The five first sessions will be dedicated to a presentation of the main concepts and techniques used to mechanize proofs on a computer. The two next sessions will focus on the mechanization of two classical domains of theoretical computer science: the theory of rational languages and the computational combinatorics. Finally, during the last session, participants will work on the mechanization of their specific research domain with the help of the pedagogical team of the school. * Registration To get more information and to register, please go to http://www.epit2015.website Registration deadline : April 30, 2015 You can register directly by following https://www.azur-colloque.fr/DR01/AzurInscription/?&iColId=19&NaiveForm_id=AzChoixColloque&btnAzurP=Preinscription&lang=en * Pedagogical committee - Pierre Letouzey (University Paris-Diderot) ; - Arthur Chargu?raud (INRIA) ; - Matthieu Sozeau (INRIA) ; - Damien Pous (CNRS) ; - Assia Mahboubi (INRIA) ; - Benjamin Gr?goire (INRIA). The school is organized by: - Pierre Letouzey (University Paris-Diderot) ; - Matthieu Sozeau (INRIA) ; - Yann R?gis-Gianas (University Paris-Diderot) ; - Pierre-Marie P?drot (University Paris-Diderot). If you need any information, please contact Yann R?gis-Gianas (yrg at pps.univ-paris-diderot.fr). -------------- next part -------------- An HTML attachment was scrubbed... URL: From calimeri at mat.unical.it Tue Apr 7 17:08:20 2015 From: calimeri at mat.unical.it (Francesco Calimeri) Date: Tue, 7 Apr 2015 19:08:20 +0200 Subject: [Haskell] CfP LPNMR 2015 Announcement: SUBMISSIONS NOW OPEN! Message-ID: [apologies for any cross-posting] *** SUBMISSIONS ARE NOW OPEN *** Call for Papers --------------------------------------------------------------------------- 13th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2015 http://lpnmr2015.mat.unical.it/ Lexington, KY, USA September 27-30, 2015 (Collocated with the 4th Conference on Algorithmic Decision Theory 2015) --------------------------------------------------------------------------- AIMS AND SCOPE LPNMR 2015 is the thirteenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to the construction of systems for declarative programming and knowledge representation, as well as their use in practical applications. This edition of LPNMR will feature several workshops, a special session dedicated to the 6th ASP Systems Competition, and will be collocated with the 4th Algorithmic Decision Theory Conference, ADT 2015. Joint LPNMR-ADT Doctoral Consortium will be a part of the program. Authors are invited to submit papers presenting original and unpublished research on all aspects of non-monotonic approaches in logic programming and knowledge representation. We invite submissions of both long and short papers. TOPICS Conference topics include, but are not limited to: 1. Foundations of LPNMR Systems: * Semantics of new and existing languages; * Action languages, causality; * Relationships among formalisms; * Complexity and expressive power; * Inference algorithms and heuristics for LPNMR systems; * Extensions of traditional LPNMR languages such as new logical connectives or new inference capabilities; * Updates, revision, and other operations on LPNMR systems; * Uncertainty in LPNMR systems. 2. Implementation of LPNMR systems: * System descriptions, comparisons, evaluations; * Algorithms and novel techniques for efficient evaluation; * LPNMR benchmarks. 3. Applications of LPNMR: * Use of LPNMR in formalization of Commonsense Reasoning and other areas of KR; * LPNMR languages and algorithms in planning, diagnosis, argumentation, reasoning with preferences, decision making and policies; * Applications of LPNMR languages in data integration and exchange systems, software engineering and model checking; * Applications of LPNMR to linguistics, psychology, and other sciences * Integration of LPNMR systems with other computational paradigms; * Embedded LPNMR: Systems using LPNMR subsystems. SUBMISSION LPNMR 2015 welcomes submissions of long papers (13 pages) or short papers (6 pages) in the following categories: * Technical papers * System descriptions * Application descriptions The indicated number of pages includes title page, references and figures. All submissions will be peer-reviewed and accepted papers will appear in the conference proceedings published in the Springer-Verlag Lecture Notes in Artificial Intelligence (LNAI/LNCS) series. At least one author of each accepted paper is expected to register for the conference to present the work. Submissions must be formatted according to the Springer LNCS author instructions, http://www.springer.com/comp/lncs/Authors.html must be written in English, and present original research. Paper submission will be electronic through the LPNMR-15 Easychair site: https://www.easychair.org/conferences/?conf=lpnmr2015 Two best papers of general AI interest will be invited for rapid publication in the journal Artificial Intelligence - Journal - Elsevier. Two best papers with narrower logic programming focus will be invited for a rapid publication in the journal Theory and Practice of Logic Programming. MULTIPLE SUBMISSION POLICY LPNMR 2015 will not accept any paper which, at the time of submission, is under review or has already been published or accepted for publication in a journal or another conference. Authors are also required not to submit their papers elsewhere during LPNMR's review period. However, these restrictions do not apply to previous workshops with a limited audience and without archival proceedings. ASSOCIATED EVENTS WORKSHOPS - LPNMR 2015 will include specialized workshops to be held on September 27 prior to the main conference. Currently planned workshops include: - Grounding, Transforming, and Modularizing Theories with Variables Organizers: Marc Denecker, Tomi Janhunen Website: https://sites.google.com/site/gttv2015/ - Action Languages, Process Modeling, and Policy Reasoning Organizer: Joohyung Lee Website: https://sites.google.com/site/alpp2015/ - Natural Language Processing and Automated Reasoning Organizers: Marcello Balduccini, Ekaterina Ovchinnikova, Peter Schueller Website: https://sites.google.com/site/nlpar2015/ - Learning and Nonmonotonic Reasoning Organizers: Alessandra Russo and Alessandra Mileo Website: http://lnmr2015.insight-centre.org/ ASP COMPETITION - A special session dedicated to a discussion of the 6th ASP System Competition, including the methodology of the competition, benchmarks used, lessons learned and, most importantly, the results and the announcement of the winners. ALGORITHMIC DECISION THEORY (ADT) 2015 (collocated - same time and place) Algorithmic Decision Theory is a vibrant and growing area of research concerned with algorithmic aspects of problems arising in social choice and economics that involve optimal ways to aggregate preferences. The area abounds in hard computational problems and may be an axciting area of applications for ASP. The two conferences will seek ways to identify and promote synergies between their respective areas of focus. JOINT LPNMR-ADT DOCTORAL CONSORTIUM: co-Chairs: - Esra Erdem (LPNMR), Sabanci University, Turkey - Nick Mattei (ADT), NICTA, Australia More info: http://lpnmr2015.mat.unical.it/associated-events/adt-lpnmr-2015-doctoral-consortium COMPLIMENTARY MEMBERSHIP OFFER FOR CONFERENCE REGISTRANTS NEW TO AAAI LPNMR 2015 is pleased to acknowledge its cooperation with the Association for the Advancement of Artificial Intelligence (AAAI) [http://www.aaai.org], which will be publicizing the conference to its membership. Of special interest to conference attendees is an introductory membership offer from AAAI, which provides a complimentary 1-year online membership to conference participants who are new to AAAI. Please send a message to membership15 at aaai.org for further details. IMPORTANT DATES * Paper registration: April 19th, 2015 * Paper submission: April 24th, 2015 * Notification: June 1st, 2015 * Final versions due: June 15th, 2015 VENUE Lexington is a medium size, pleasant and quiet university town. It is located in the heart of the so-called Bluegrass Region in Central Kentucky. The city is surrounded by beautiful horse farms on green pastures dotted with ponds and traditional architecture stables, and small race tracks, and bordered by white or black fences. The Horse Museum is as beautifully located as it is interesting. Overall, the city has a nice feel that mixes well old and new. The conference will be held in the Hilton Lexington Downtown hotel. GENERAL CHAIR Victor Marek, University of Kentucky, KY, USA PROGRAM CHAIRS Giovambattista Ianni, University of Calabria, Italy Mirek Truszczynski, University of Kentucky, KY, USA WORKSHOPS CHAIR Yuliya Lierler, University of Nebrska at Omaha, NE, USA PUBLICITY CHAIR Francesco Calimeri, University of Calabria, Italy PROGRAM COMMITTEE Agostino Dovier, Universit? di Udine, Italy Agust?n Valverde, Universidad de M?laga, Spain Alessandra Mileo, National University of Ireland, Galway, INSIGHT Centre for Data Analytics, Ireland Andrea Formisano, Dip. di Matematica e Informatica, Universit? di Perugia, Italy Axel Polleres, Vienna University of Economics and Business, Austria Bart Bogaerts, Department of Computer Science, KU Leuven, Belgium Chiaki Sakama, Wakayama University, Japan Chitta Baral, Arizona State University, USA Christoph Redl, Vienna University of Technology, Austria Daniela Inclezan, Miami University, USA David Pearce, Universidad Polit?cnica de Madrid, Spain Emilia Oikarinen, Aalto University, Finland Enrico Pontelli, New Mexico State University, USA Esra Erdem, Sabanci University, Istanbul, Turkey Eugenia Ternovska, Simon Fraser University, Canada Fangkai Yang, Schlumberger Ltd Fangzhen Lin, Hong Kong University of Science and Technology, Hong Kong Francesco Calimeri, Universit? della Calabria, Italy Gerhard Brewka, Leipzig University, Germany Giovanni Grasso, Oxford University, UK Hannes Strass, Leipzig University, Germany Hans Tompits, Vienna University of Technology, Austria James Delgrande, Simon Fraser University, Canada Jia-Huai You, University of Alberta, Canada Joohyung Lee, Arizona State University, USA Jose Julio Alferes, Universidade Nova de Lisboa, Portugal Kewen Wang, Griffith University, Australia Marc Denecker, K.U.Leuven, Belgium Marcello Balduccini, Drexel University, USA Marina De Vos, University of Bath, UK Martin Gebser, Aalto University, Finland Matthias Knorr, NOVA-LINCS, Universidade Nova de Lisboa, Portugal Mauricio Osorio, Fundacion de la Universidad de las Americas, Puebla, Mexico Michael Fink, Vienna University of Technology, Austria Michael Gelfond, Texas Tech University, USA Orkunt Sabuncu, University of Potsdam, Germany Paul Fodor, Stony Brook University, USA Pedro Cabalar, University of Corunna, Spain Saadat Anwar, Arizona State University, USA Stefan Woltran, Vienna University of Technology Stefania Costantini, Dipartimento di Ingegneria e Scienze dell'Informazione, e Matematica, Univ. di L'Aquila, Italy Terrance Swift, CENTRIA, Universidade Nova de Lisboa, Portugal Thomas Eiter, Vienna University of Technology, Austria Tomi Janhunen, Aalto University, Finland Torsten Schaub, University of Potsdam, Germany Tran Cao Son, New Mexico State University, USA Vladimir Lifschitz, University of Texas at Austin, USA Wolfgang Faber, University of Huddersfield, UK Yi Zhou, University of Western Sydney, Australia Yisong Wang, Guizhou University, China Yuliya Lierler, University of Nebraska at Omaha, USA CONTACT lpnmr2015 at mat.unical.it From simon at joyful.com Wed Apr 8 14:51:06 2015 From: simon at joyful.com (Simon Michael) Date: Wed, 8 Apr 2015 07:51:06 -0700 Subject: [Haskell] ANN: hledger 0.25 Message-ID: <89DED389-49F0-4E2A-9AC8-0DD5E7973565@joyful.com> I'm pleased to announce hledger and hledger-web 0.25. This release brings GHC 7.10 compatibility, terminal width awareness, useful averages and totals columns, and a more robust hledger-web add form. Full release notes: http://hledger.org/release-notes#hledger-0.25 . Release contributors: Simon Michael, Julien Moutinho. hledger (http://hledger.org) is a command-line tool and haskell library for tracking financial transactions, which are stored in a human-readable plain text format. It can also read CSV or timelog files. It provides useful reports, and can also help you record new transactions interactively. Add-on commands include hledger-web (a web interface), hledger-irr (for calculating internal rate of return) and hledger-interest (for generating interest transactions). hledger is inspired by and largely compatible with Ledger, and can be used with some Ledger files. Installation: cabal update; cabal install hledger [hledger-web] or see http://hledger.org/download and http://hledger.org/installing for more options. Best! -Simon -------------- next part -------------- An HTML attachment was scrubbed... URL: From alcino at di.uminho.pt Wed Apr 8 16:06:49 2015 From: alcino at di.uminho.pt (Alcino Cunha) Date: Wed, 8 Apr 2015 17:06:49 +0100 Subject: [Haskell] Last CFP Bx'15: 4th International Workshop on Bidirectional Transformations Message-ID: <48C5A89E-A093-468E-BA3E-779BDFF14923@di.uminho.pt> LAST CALL FOR PAPERS Fourth International Workshop on Bidirectional Transformations (Bx 2015) L'Aquila, Italy (co-located with STAF, July 24, 2015) http://bx-community.wikidot.com/bx2015:home Bidirectional transformations (Bx) are a mechanism for maintaining the consistency of at least two related sources of information. Such sources can be relational databases, software models and code, or any other document following standard or ad-hoc formats. Bx are an emerging topic in a wide range of research areas, with prominent presence at top conferences in several different fields (namely databases, programming languages, software engineering, and graph transformation), but with results in one field often getting limited exposure in the others. Bx 2015 is a dedicated venue for Bx in all relevant fields, and is part of a workshop series that was created in order to promote cross-disciplinary research and awareness in the area. As such, since its beginning in 2012, the workshop rotated between venues in different fields. In 2015, Bx is co-located with STAF for the first time. IMPORTANT DATES Abstract submission: 24 April 2015 Paper submission: 8 May 2015 Author notification: 5 June 2015 Camera-ready version: 19 June 2015 Workshop date: 24 July 2015 AIM AND TOPICS The aim of the workshop is to bring together researchers and practitioners, established and new, interested in Bx from different perspectives, such as: * data and model synchronization * view updating * inter-model consistency analysis and repair * data/schema (or model/metamodel) co-evolution * coupled software/model transformations * inversion of transformations and data exchange mappings * domain-specific languages for Bx * analysis and classification of requirements for Bx * bridging the gap between formal concepts and application scenarios * analysis of efficiency of transformation algorithms and benchmarks * survey and comparison of Bx technologies * case studies and tool support PAPER CATEGORIES Submissions to Bx 2015 can be: * Regular papers (up to 15 pages) - in-depth presentations of novel concepts and results - applications of Bx to new domains - survey papers providing novel comparisons between existing technologies - case studies * Short papers (up to 8 pages) - work in progress - small focused contributions - position papers and research perspectives * Tool papers (up to 8 pages) - presentation of new tools or substantial improvements to existing ones * Benchmark papers (up to 8 pages) - new benchmark proposals, focusing on assessing aspects of Bx not covered by the examples currently available at the Bx example repository SUBMISSION GUIDELINES Submitted papers must follow the CEUR one column style available at http://ceur-ws.org/Vol-XXX/samplestyles/. Tool papers must refer to a web page describing how to download and install the presented tool. Papers describing tools that have already been published elsewhere are expected to contain substantial and clearly identified extensions to the tool. Benchmark papers should follow the template of the Bx example repository (http://bx-community.wikidot.com/examples:home), and clearly justify the relevance of the new benchmark as a means to assess Bx tools and techniques (in particular, submissions of cross-disciplinary benchmarks are encouraged). Moreover, they must refer to a web page providing supporting artifacts (metamodels/schemas, model/data instances for interesting test cases, executable consistency checkers, etc). Papers must be submitted via the EasyChair system: https://www.easychair.org/conferences/?conf=bx2015 Submissions not complying with the above guidelines or page limits may be excluded from the reviewing process without further notice. If a paper is accepted, one author of the paper is expected to participate in the workshop to present it. Authors of accepted tool papers are also expected to be available to demonstrate their tool at the event. PROCEEDINGS AND SPECIAL ISSUE The workshop proceedings, including all accepted papers, will be published electronically by CEUR (http://ceur-ws.org). Authors of accepted papers (of all categories) that have high-quality and the potential to be extended into journal articles will be invited to submit a revised and extended version of their paper to a special issue of the Journal of Object Technology (http://www.jot.fm); these papers will then be subject to a careful reviewing and selection process according to the scientific standards of the Journal of Object Technology. PROGRAM CO-CHAIRS * Alcino Cunha, University of Minho, Portugal * Ekkart Kindler, Technical University of Denmark, Denmark PROGRAM COMMITTEE MEMBERS * Anthony Anjorin, Technical University of Darmstadt, Germany * Anthony Cleve, University of Namur, Belgium * Romina Eramo, University of L'Aquila, Italy * Jeremy Gibbons, University of Oxford, UK * Holger Giese, Hasso Plattner Institute, Germany * Soichiro Hidaka, NII, Japan * Michael Johnson, Macquarie University, Australia * Peter McBrien, Imperial College, UK * Hugo Pacheco, Cornell University, USA * Jorge P?rez, Universidad de Chile, Chile * Arend Rensink, Twente University, Netherlands * Perdita Stevens, University of Edinburgh, UK * James Terwilliger, Microsoft, USA * Meng Wang, Chalmers University of Technology, Sweden * Jens Weber, University of Victoria, Canada * Yingfei Xiong, Peking University, China From sabel at ki.informatik.uni-frankfurt.de Thu Apr 9 07:23:08 2015 From: sabel at ki.informatik.uni-frankfurt.de (David Sabel) Date: Thu, 09 Apr 2015 09:23:08 +0200 Subject: [Haskell] Final CFP: WPTE 2015 Second International Workshop on Rewriting Techniques for Program Transformations and Evaluation Message-ID: <552628DC.5000607@ki.informatik.uni-frankfurt.de> FINAL CALL FOR PAPERS Second International Workshop on Rewriting Techniques for Program Transformations and Evaluation WPTE 2015 affiliated with RDP 2015 2 July, 2015, Warsaw, Poland http://www.trs.cm.is.nagoya-u.ac.jp/event/wpte2015/ 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 was held in Vienna 2014. 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. 'Program transformation and evaluation for Haskell and Rewriting' is a new topic of this workshop: equational reasoning and other rewriting techniques for program verification and analysis; lambda calculi and type systems for functional programs and higher-order rewrite systems; rewriting of type expressions in the type checker; rewriting of programs by refactoring tools, optimizers, code generators; execution of programs as a form of graph rewriting (terms with sharing); Template Haskell, generally introducing a rewriting-like macro language into the compilation process; rewriting modulo commonly occurring axioms such as associativity, commutativity, and identity element. Invited Speaker =============== Brigitte Pientka (McGill University) Proceedings =========== The WPTE-proceedings will be published in the 'OpenAccess Series in Informatics (OASIcs)' of 'Schloss Dagstuhl Leibniz-Zentrum fuer Informatik' by the workshop day. Extended abstracts on work in progress are not included in the OASIcs proceedings but they will be included in the USB memory which is distributed to the RDP participants. Paper Submissions ================= WPTE accepts two different kinds of contributions: * Full-papers: ------------ Full-papers must represent original work and should be submitted using the OASIcs LaTeX templates. Full-papers should not exceed 12 pages. Accepted papers will be included in the OASIcs proceedings. * Work in progress: ----------------- There will also be a slot for presenting work in progress. An extended abstract of at most 4 pages is required to be submitted using the OASIcs LaTeX templates. These contributions will not be included in the OASIcs 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. Important Dates =============== * Submission deadline: 17 April 2015 * Notification of acceptance: 15 May 2015 * Deadline for camera-ready proceedings: 29 May 2015 * Workshop: 2 July 2015, Warsaw, Poland Weblinks ======== * EasyChair Submission Website https://www.easychair.org/conferences/?conf=wpte2015 * Homepage of WPTE 2015 http://www.trs.cm.is.nagoya-u.ac.jp/event/wpte2015/ * OASIcs Website (including LaTeX templates): http://www.dagstuhl.de/en/publications/oasics * RDP 2015 http://rdp15.mimuw.edu.pl Program Committee ================= Takahito Aoto (RIEC, Tohoku University) Yuki Chiba (JAIST) Fer-Jan de Vries (University of Leicester) Santiago Escobar (Universitat Politecnica de Valencia) - chair Johan Jeuring (Open Universiteit Nederland and Universiteit Utrecht) Delia Kesner (Universite Paris-Diderot) Serguei Lenglet (Universite de Lorraine) Elena Machkasova (University of Minnesota, Morris) William Mansky (University of Pennsylvania) Joachim Niehren (INRIA Lille) Naoki Nishida (Nagoya University) - chair Kristoffer H Rose (Two Sigma Investments, LLC) Manfred Schmidt-Schauss (Goethe-University Frankfurt am Main) David Sabel (Goethe-University Frankfurt am Main) Masahiko Sakai (Nagoya University) Janis Voigtlaender (University of Bonn) Johannes Waldmann (HTWK Leipzig) Harald Zankl (University of Innsbruck) Organizers ========== Yuki Chiba (JAIST) Santiago Escobar (Universitat Politecnica de Valencia) Naoki Nishida (Nagoya University) - chair Manfred Schmidt-Schauss (Goethe-University Frankfurt am Main) - chair David Sabel (Goethe-University Frankfurt am Main) From J.T.Jeuring at uu.nl Thu Apr 9 13:45:11 2015 From: J.T.Jeuring at uu.nl (Johan Jeuring) Date: Thu, 9 Apr 2015 15:45:11 +0200 Subject: [Haskell] VACANCIES : 3x PhD position in Fuctional Programming Message-ID: The research group of Software Technology is part of the Software Systems division of in the department of Information and Computer Science at the Utrecht University. We focus our research on functional programming, compiler construction, tools for learning and teaching (serious games, intelligent tutoring systems), program analysis, validation, and verification. Financed by the Technology Foundation STW, the EU, and Utrecht University we currently have job openings for: ** 3x PhD researcher (PhD student) in Functional Programming ** We are looking for PhD students to develop functional programming techniques related to parsing, rewriting, property-based testing, dependently typed programming, or program analysis, and to apply these techniques in several applications, such as distributed systems, applied games, dialogue management systems, or assessment tools. Besides research, the successful candidate will be expected to help supervise MSc students and assist courses. We prefer candidates to start no later than September 2015. --------------------------------- What we are looking for --------------------------------- The candidate should have an MSc in Computer Science with good grades, be highly motivated to pursue a PhD, and speak and write English well. Knowledge of functional programming, such as Haskell or ML is essential. --------------------------------- What we offer --------------------------------- The candidate is offered a full-time salaried position for four years. The salary is supplemented with a holiday bonus of 8% and an end-of-year bonus of 8,3% per year. In addition we offer: a pension scheme, partially paid parental leave, flexible employment conditions. Conditions are based on the Collective Labour Agreement Dutch Universities. The research group will provide the candidate with necessary support on all aspects of the project. More information is available on the website: Terms and employment: http://bit.ly/1elqpM7 Salary starts at ? 2,083.- and increases to ? 2,664.- gross per month in the fourth year of the appointment. Utrecht is a great place to live, having been ranked as one of the happiest places in the world, according to BBC travel. Living in Utrecht: http://bitly.com/HdbL0X --------------------------------- In order to apply --------------------------------- To apply please attach a letter of motivation, a curriculum vitae, and (email) addresses of two referees. Make sure to also include a transcript of the courses you have followed (at bachelor and master level), with the grades you obtained, and to include a sample of your scientific writing, such as your master thesis. It is possible to apply for this position if you are close to obtaining your Master's. In that case include a letter of your supervisor with an estimate of your progress, and do not forget to include at least a sample of your technical writing skills. Applications are accepted until the positions are filled. Send your application via email to Johan Jeuring: J.T.Jeuring at uu.nl --------------- Contact person --------------- For further information you can direct your inquiries to: Johan Jeuring phone: +31 (0)30 253 4115/ (0) 6 40010053 e-mail: J.T.Jeuring at uu.nl website: http://www.staff.science.uu.nl/~jeuri101/ From semen at trygub.com Thu Apr 9 22:59:36 2015 From: semen at trygub.com (Semen Trygubenko / =?utf-8?B?0KHQtdC80LXQvSDQotGA0LjQs9GD0LHQtdC9?= =?utf-8?B?0LrQvg==?=) Date: Thu, 9 Apr 2015 23:59:36 +0100 Subject: [Haskell] Haskell Weekly News: Issue 324 In-Reply-To: <20150326222444.GA91822@inanna.trygub.com> References: <20150326222444.GA91822@inanna.trygub.com> Message-ID: <20150409225936.GA1070@inanna.trygub.com> Talks How to Sell Excellence by Michael Church Slides for presentation given at Chicago Haskell Meetup. Author urges us not to write arbitrary code as reasoning about arbitrary code is mathematically impossible, argues that code quality is determined by what people do and not by what language enables (which puts functional programming and Haskell at the top), links code entropy to deadline culture (a.k.a. "Agile"), explains why we suck at selling functional programming and has a decent go at selling Haskell himself. https://docs.google.com/presentation/d/1a4GvI0dbL8sfAlnTUwVxhq4_j-QiDlz02_t0XZJXnzY/preview?sle=true&slide=id.p http://www.reddit.com/r/haskell/comments/31awxs/how_to_sell_excellence/ https://lobste.rs/s/9oq7ra/how_to_sell_excellence http://www.quora.com/Why-do-some-developers-at-strong-companies-like-Google-consider-Agile-development-to-be-nonsense/answer/Michael-O-Church Reflex: Practical Functional Reactive Programming FRP talk and an awesome FRP demo. https://www.youtube.com/watch?v=mYvkcskJbc4 https://www.youtube.com/watch?v=3qfc9XFVo2c https://obsidian.systems/reflex-nyhug Discussion Necessity/utility of dependent types? A comprehensive response by tel with explanations of how to expose invariants at type level and how to relate invariants of two types. http://www.reddit.com/r/haskell/comments/31lru4/necessityutility_of_dependent_types/ How is the error function implemented in Haskell? A comprehensive reply by Tikhon Jelvis. "Semantically, error results in ? ("bottom") just like an infinite loop, it just happens to be better-behaved in a practical sense and easier to debug." https://www.quora.com/How-is-the-error-function-implemented-in-Haskell Why are we naming types instead of instances when we have multiple instances per type? "Type classes only work really well when they are coherent, so there can only be one per type." (bss03) http://www.reddit.com/r/haskell/comments/31zagw/why_are_we_naming_types_instead_of_instances_when/ http://blog.ezyang.com/2014/07/type-classes-confluence-coherence-global-uniqueness/ Quotes of the Week "The best way to move Haskell forward is to build something important like opaleye, wreq, haskellonheroku, pipes, cloud haskell or yesod and then sell that instead; write some amazing documentation and tell as many people as you can... And then probably try very, very hard to get a job at one of these newfangled startups that use Haskell :)" (rehno-lindeque) http://www.reddit.com/r/haskell/comments/31awxs/how_to_sell_excellence/cq0aze5 "The reason Haskell is great is because its systematic faithfulness to mathematical abstractions, and as soon as you start talking about math, the masses leave the room." (dnkndnts) http://www.reddit.com/r/haskell/comments/31awxs/how_to_sell_excellence/cpzwlu7 "productivity is impossible to measure (the idea that it can be measured brought us that "Agile"/Scrum shit that I hate more than the worst-designed programming language)" (michaelochurch) http://www.reddit.com/r/haskell/comments/31awxs/how_to_sell_excellence/cq0jhjv "why doesn't anyone ever explain that natural transformations make a tent shape?" (chrisamaphone) https://twitter.com/chrisamaphone/status/585499255772676097 "Haskell is _fast as hell_." (Michael O. Church) "Haskell crushes imprecision of thought." (Michael O. Church) "Clojure is beautiful. Python is easy to learn. These are fine languages! But they lack a feature (compile-time typing) that I'd demand if I were building out a 5000+ LoC project ? Haskell isn't the only functional programming language. ? but Haskell is the only major language whose type system can verify the lack of side effects." (Michael O. Church) https://docs.google.com/presentation/d/1a4GvI0dbL8sfAlnTUwVxhq4_j-QiDlz02_t0XZJXnzY/preview?sle=true&slide=id.p "Monads are just burritos, man. Burritos ain't scary. http://chrisdone.com/posts/monads-are-burritos" (kyllo) http://www.reddit.com/r/haskell/comments/31awxs/how_to_sell_excellence/cq0jv6c "Coq has no backdoors as far as I'm aware. In fact, I don't believe it has any doors at all." (tactics) http://www.reddit.com/r/haskell/comments/31awxs/how_to_sell_excellence/cq0f5r0 "haskell is like pizza. Even when it's bad it's still good." (deech) https://twitter.com/deech/status/583087866248454144 -------------- next part -------------- A non-text attachment was scrubbed... Name: not available Type: application/pgp-signature Size: 181 bytes Desc: not available URL: From schoepp at tcs.ifi.lmu.de Mon Apr 13 16:29:03 2015 From: schoepp at tcs.ifi.lmu.de (=?UTF-8?B?VWxyaWNoIFNjaMO2cHA=?=) Date: Mon, 13 Apr 2015 18:29:03 +0200 Subject: [Haskell] LOLA 2015: Second Call for Talk Proposals Message-ID: <552BEECF.80301@tcs.ifi.lmu.de> SECOND CALL FOR TALK PROPOSALS ______________________________________________________________________ LOLA 2015: Syntax and Semantics of Low Level Languages Sunday, 5 July 2015, Kyoto, Japan A satellite workshop of ICALP/LICS http://lola15.tcs.ifi.lmu.de ______________________________________________________________________ /Important Dates/ Abstract submission: Monday, 20 April 2015 Author notification: Friday, 1 May 2015 LOLA 2015 workshop: Sunday, 5 July 2015 /Invited Speakers/ Katsuhiro Ueno, Tohoku University, Japan Other invited speakers to be announced. /Workshop Description/ It has been understood since the late 1960s that tools and structures arising in mathematical logic and proof theory can usefully be applied to the design of high level programming languages, and to the development of reasoning principles for such languages. Yet low level languages, such as machine code, and the compilation of high level languages into a low level ones have traditionally been seen as having little or no essential connection to logic. However, a fundamental discovery of this past decade has been that low level languages are also governed by logical principles. From this key observation has emerged an active and fascinating new research area at the frontier of logic and computer science. The practically-motivated design of logics reflecting the structure of low level languages (such as heaps, registers and code pointers) and low level properties of programs (such as resource usage) goes hand in hand with some of the most advanced contemporary research in semantics and proof theory, including classical realizability and forcing, double orthogonality, parametricity, linear logic, game semantics, uniformity, categorical semantics, explicit substitutions, abstract machines, implicit complexity and resource bounded programming. The LOLA workshop, affiliated with LICS 2015, will bring together researchers interested in many aspects of the relationship between logic and low level languages and programs. Topics of interest include, but are not limited to: - Typed assembly languages - Certified assembly programming - Certified and certifying compilation - Relaxed memory models - Proof-carrying code - Program optimization - Modal logic and realizability in machine code - Realizability and double orthogonality in assembly code - Parametricity, modules and existential types - General references, Kripke models and recursive types - Continuations and concurrency - Implicit complexity, sublinear programming and Turing machines - Closures and explicit substitutions - Linear logic and separation logic - Game semantics, abstract machines and hardware synthesis - Monoidal and premonoidal categories, traces and effects /Submission Information/ LOLA is an informal workshop aiming at a high degree of useful interaction amongst the participants, welcoming proposals for talks on work in progress, overviews of larger programmes, position presentations and short tutorials as well as more traditional research talks describing new results. The program committee will select the workshop presentations from submitted talk proposals, which may take the form either of a *two page abstract* or of a longer (published or unpublished) paper describing completed work. Abstracts can be submitted using EasyChair at https://www.easychair.org/conferences/?conf=lola2015 /Program Committee/ Ichiro Hasuo (University of Tokyo) Chung-Kil Hur (Seoul National University) Shin-ya Katsumata (RIMS, Kyoto University, co-chair) Damiano Mazza (CNRS, LIPN--University Paris 13) Magnus Myreen (University of Cambridge) Ulrich Schoepp (LMU Munich, co-chair) Nikhil Swamy (Microsoft Research, Redmond) Nicolas Tabareau (CNRS, INRIA) Noam Zeilberger (Microsoft Research--INRIA) -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 473 bytes Desc: OpenPGP digital signature URL: From ky3 at atamo.com Tue Apr 14 02:02:52 2015 From: ky3 at atamo.com (Kim-Ee Yeoh) Date: Tue, 14 Apr 2015 09:02:52 +0700 Subject: [Haskell] Haskell Weekly News Message-ID: *Top picks:* - Aditya Siram announces the first release of Haskell bindings to the C++-based FLTK cross-platform GUI library. FLTK can be used to build a modern windows-and-widgets-based desktop app and comes with a UI builder called FLUID. - The startup called Helium releases a "homegrown Webmachine-inspired web framework in Haskell." Airship is very small (just under 1000 LoC) and extremely unopinionated: it works with any WAI-compatible web server and any templating language (including none at all!). Reddit discussion. - Adam Chlipala releases a new Ur/Web library for producing custom event-planning web apps quickly. All you need to do is "assemble highly parametrized components." - Abe Voelker finds himself wanting algebraic data types and pattern matching when writing Ruby. He presents an evolution of a file upload validator, culminating in a finale that uses an Either monad provided by a Ruby gem called Kleisli. - Eitan Chatav shares a correct-by-construction JSON serializer/deserializer using lens-json. - Wouldn't it be neat to get profiling info without stopping the program and pissing off your users? Mark Wotton has filed exactly such a feature request. - Is Call Arity optimization to blame for your 7.10 compilation slowdowns? Joachim Breitner investigates. - Ever felt Haskell on Windows is 2nd class, even though it's Tier-1 according to the Platform? Well, installing hmatrix on Win requires additional steps, as Redditor wrvn kindly explains. - Do you program in Haskell using emacs? You must be using haskell-mode then. Here's monthly news straight from the haskell-mode development team. - Dominic Steinitz raises awareness about the brokenness of System.Random. Solution? Use tf-random for now. - Big number exponentiation segfaults, in this reddit discussion. Turns out it's a bug involving the GNU Multi-precision Library. Make sure you have the latest GMP version 6. - Devan Stormont creates his first hackage library that obtains weather forecast data via a web-based API. He writes, "The really brilliant part is in being able to completely replace a core piece of an app within a single day and having complete confidence in the result. It?s moments like this that make you really happy to be working with such a powerful language as Haskell." - Carl reminds us that GADT can always be pattern-matched in a case expression. "It's let expressions that cause GHC to provide amusing messages about its brain exploding." - Zohaib Rauf publishes a monad tutorial. He explains that the 'M' in 'M a' is "some metadata wrapped around 'a'." *Tweets of the week:* - John Carmack: If I had to write software that my life depended on, I would seriously consider using Haskell. - shanelogsdon: tried the #haskell web framework http://www.spock.li/ last night with a meaningless micro benchmark. ~38k req/s is pretty quick - AlexanderKatt: 'it is entirely unnecessary to understand category theory in order to understand monads in #haskell' said the guys who know category theory - justusadam_: I'm warming up to the idea of using #Haskell more. Wonderful language but the syntax and some of the concepts were difficult to understand - least_nathan: Algebraic Data Types Considered Harmful: once you use them, every language lacking them drives you to madness. #LangSec - chwthewke: #Haskell is a very hot programming language :) No, really, an hour of it and my laptop is on the verge of becoming a brown dwarf :D - robinbateboerop: Troll tries to get banned from #Haskell IRC channel, decides to learn Haskell instead. - stephan_gfx: Cool, cabal will multithread installation/build if you run it with the -j option. cabal install -j - Pythux: One thing I learned at Haskell's meetup yesterday: it's possible to create a start-up with Haskell full stack! #Haskell #Awesome *Quote of the week:* - Lisp, Haskell and other FP are currently killing it in the quiet world of DSLs, especially Mining, Oil & Gas industries which need to parse petaflops of seismic data and reservoir simulations, need rapid prototyping, need formally verified drilling platform components that field engineers can interact with easily, and HPC algorithms for financial trading. -- Source -- Kim-Ee -------------- next part -------------- An HTML attachment was scrubbed... URL: From pardo at fing.edu.uy Tue Apr 14 14:47:42 2015 From: pardo at fing.edu.uy (Alberto Pardo) Date: Tue, 14 Apr 2015 11:47:42 -0300 Subject: [Haskell] Final CFP - SBLP 2015: 19th Brazilian Symposium on Programming Languages Message-ID: FINAL CALL FOR PAPERS - SBLP 2015 19th Brazilian Symposium on Programming Languages 21-26 September 2015 Belo Horizonte, Brazil http://cbsoft.org/sblp2015 *** DEADLINE APPROACHING *** +++++++++++++++++++++++++++++++++++++++++++++++++++ IMPORTANT DATES Abstract submission: 20 April, 2015 Paper submission: 27 April, 2015 Author notification: 18 June, 2015 Camera ready deadline: 2 July 2015 INTRODUCTION 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 2015 is part of 6th Brazilian Conference on Software: Theory and Practice, CBSoft 2015, that will be held in Belo Horizonte, Minas Gerais, Brazil, from September 21st to September 26th, 2015. 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. INVITED SPEAKERS * Doaitse Swierstra, Utrecht University * A second invited speaker to be confirmed soon 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 5 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=sblp2015. As in previous editions, after the conference, authors of selected 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 Alberto Pardo, Universidad de la Rep?blica, Uruguay Doaitse Swierstra, Utrecht University, The Netherlands PROGRAM COMMITTEE Alberto Pardo, Universidad de la Rep?blica (co-chair) Alex Garcia, IME Alvaro Moreira, Federal University of Rio Grande do Sul Andre Rauber Du Bois, Federal University of Pelotas Carlos Camar?o, Federal University of Minas Gerais Christiano Braga, Fluminense Federal University Doaitse Swierstra, Utrecht University (co-chair) 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 Hans-Wolfgang Loidl, Heriot-Watt University Jo?o Saraiva, University of Minho Jo?o F. Ferreira, Teesside University Louis-Noel Pouchet, University of California, Los Angeles 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 Peter Mosses, Swansea University Rafael Lins, Federal University of Pernambuco Renato Cerqueira, PUC-Rio 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 Zongyan Qiu Peking University -------------- next part -------------- An HTML attachment was scrubbed... URL: From howard_b_golden at yahoo.com Wed Apr 15 16:50:58 2015 From: howard_b_golden at yahoo.com (Howard B. Golden) Date: Wed, 15 Apr 2015 16:50:58 +0000 (UTC) Subject: [Haskell] Haskell on Windows instructions - is MinGHC version update needed? Message-ID: <80967076.3696551.1429116658064.JavaMail.yahoo@mail.yahoo.com> Hi, Currently, the Haskell website's Windows download page (https://www.haskell.org/downloads/windows) offers two alternatives, MinGHC and Haskell Platform. The MinGHC alternative has a link to MinGHC-7.8.3 installer. Should this be updated to MinGHC-7.8.4? I ask this because Long Term Support Haskell 2.3 is now using GHC 7.8.4. If you want to update the link, you only need to change the URL from 7.8.3 to 7.8.4. Howard From tom.schrijvers at cs.kuleuven.be Wed Apr 15 18:38:33 2015 From: tom.schrijvers at cs.kuleuven.be (Tom Schrijvers) Date: Wed, 15 Apr 2015 20:38:33 +0200 Subject: [Haskell] Leuven Haskell User Group meeting on April 21 Message-ID: You are kindly invited to the special edition of the Leuven Haskell User Group with guest presentation by Amplidata. For details see: https://groups.google.com/d/msg/leuven-haskell/VNcTKtFPGL0/gQhPWtxTbg4J -- prof. dr. ir. Tom Schrijvers Research Professor KU Leuven Department of Computer Science Celestijnenlaan 200A 3001 Leuven Belgium Phone: +32 16 327 830 http://people.cs.kuleuven.be/~tom.schrijvers/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From frantisek at farka.eu Wed Apr 15 21:28:51 2015 From: frantisek at farka.eu (Frantisek Farka) Date: Wed, 15 Apr 2015 22:28:51 +0100 Subject: [Haskell] Workshop on Type Inference and Automated Proving Message-ID: <20150415222851.3c49ad79@farka.eu> ********************************************************************* WORKSHOP ON TYPE INFERENCE AND AUTOMATED PROVING Tuesday the 12th of May, 12PM to 6PM School Of Computing, University of Dundee http://staff.computing.dundee.ac.uk/frantisekfarka/tiap/ ********************************************************************* Refreshments will be available from 12:00, with talks beginning at 12:45. For the detailed programme please see the above website. Talks: Tom Schrijvers (Katholieke Universiteit Leuven) GADTs Meet Their Match: Pattern-matching Warnings that Account for GADTs, Guards, and Laziness Bob Atkey (University of Strathclyde) An Algebraic Approach to Typechecking and Elaboration Edwin Brady (University of St Andrews) Implementing a Dependently Typed Programming Language Peng Fu (University if Dundee) Nontermination Analysis for Evidence Construction in Type Class Inference Adam Gundry (Well-Typed LLP) A Typechecker Plugin for Units of Measure: Domain-specific Constraint Solving in GHC Haskell Katya Komendantskaya (University of Dundee) Structural Resolution and Universal Productivity Checker J. Garrett Morris (University of Edinburgh) Substructural Types with Class After the talks we plan to continue the discussion at the nearby Duke's Corner bar and then go for dinner, place is yet to be announced but in the walking distance from both Seagate bus station and Dundee railway station. Please let us know if you are coming by either replying to this email, or by contacting me at ffarka at dundee.ac.uk If possible please indicate whether you wish to join us for dinner. With regards, Franti?ek Farka From danburton.email at gmail.com Thu Apr 16 17:24:26 2015 From: danburton.email at gmail.com (Dan Burton) Date: Thu, 16 Apr 2015 10:24:26 -0700 Subject: [Haskell] Haskell on Windows instructions - is MinGHC version update needed? In-Reply-To: <80967076.3696551.1429116658064.JavaMail.yahoo@mail.yahoo.com> References: <80967076.3696551.1429116658064.JavaMail.yahoo@mail.yahoo.com> Message-ID: +1 please update 7.8.3 -> 7.8.4. Consider also providing the minghc-7.10.1 link as well. Or just link to the github readme, which has these options and various relevant explanations: https://github.com/fpco/minghc#readme n.b. for some reason Howard's email landed in my spam box. -- Dan Burton On Wed, Apr 15, 2015 at 9:50 AM, Howard B. Golden wrote: > Hi, > > Currently, the Haskell website's Windows download page ( > https://www.haskell.org/downloads/windows) offers two alternatives, > MinGHC and Haskell Platform. The MinGHC alternative has a link to > MinGHC-7.8.3 installer. Should this be updated to MinGHC-7.8.4? I ask this > because Long Term Support Haskell 2.3 is now using GHC 7.8.4. If you want > to update the link, you only need to change the URL from 7.8.3 to 7.8.4. > > Howard > _______________________________________________ > Haskell mailing list > Haskell at haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell > -------------- next part -------------- An HTML attachment was scrubbed... URL: From frantisek at farka.eu Thu Apr 16 19:58:04 2015 From: frantisek at farka.eu (Frantisek Farka) Date: Thu, 16 Apr 2015 20:58:04 +0100 Subject: [Haskell] Workshop on Type Inference and Automated Proving In-Reply-To: References: <20150415222851.3c49ad79@farka.eu> Message-ID: <20150416205804.3f240fc1@farka.eu> On Thu, 16 Apr 2015 11:13:19 +0700 Kim-Ee Yeoh wrote: Hi Kim-Ee, I am afraid we currently do not plan to record the talks. But if anything changes anf there will be any recordings I will send an email to let the people in this mailing list know. Best, Franta > Hi Franti?ek, > > Do you think if it would be at all possible to record this event on > video for dissemination to the wider research community? > > Even a phone camera would be something. > > Much collaboration and research opportunities would open up if only > good ideas had greater reach. > > Best, > > -- Kim-Ee > From sabel at ki.informatik.uni-frankfurt.de Fri Apr 17 08:19:32 2015 From: sabel at ki.informatik.uni-frankfurt.de (David Sabel) Date: Fri, 17 Apr 2015 10:19:32 +0200 Subject: [Haskell] Deadline extended: WPTE 2015 Second International Workshop on Rewriting Techniques for Program Transformations and Evaluation Message-ID: <5530C214.5020909@ki.informatik.uni-frankfurt.de> FINAL CALL FOR PAPERS Second International Workshop on Rewriting Techniques for Program Transformations and Evaluation WPTE 2015 affiliated with RDP 2015 2 July, 2015, Warsaw, Poland http://www.trs.cm.is.nagoya-u.ac.jp/event/wpte2015/ !! Submission deadline is extended until April 24th !! 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 was held in Vienna 2014. 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. 'Program transformation and evaluation for Haskell and Rewriting' is a new topic of this workshop: equational reasoning and other rewriting techniques for program verification and analysis; lambda calculi and type systems for functional programs and higher-order rewrite systems; rewriting of type expressions in the type checker; rewriting of programs by refactoring tools, optimizers, code generators; execution of programs as a form of graph rewriting (terms with sharing); Template Haskell, generally introducing a rewriting-like macro language into the compilation process; rewriting modulo commonly occurring axioms such as associativity, commutativity, and identity element. Invited Speaker =============== Brigitte Pientka (McGill University) Proceedings =========== The WPTE-proceedings will be published in the 'OpenAccess Series in Informatics (OASIcs)' of 'Schloss Dagstuhl Leibniz-Zentrum fuer Informatik' by the workshop day. Extended abstracts on work in progress are not included in the OASIcs proceedings but they will be included in the USB memory which is distributed to the RDP participants. Paper Submissions ================= WPTE accepts two different kinds of contributions: * Full-papers: ------------ Full-papers must represent original work and should be submitted using the OASIcs LaTeX templates. Full-papers should not exceed 12 pages. Accepted papers will be included in the OASIcs proceedings. * Work in progress: ----------------- There will also be a slot for presenting work in progress. An extended abstract of at most 4 pages is required to be submitted using the OASIcs LaTeX templates. These contributions will not be included in the OASIcs 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. Important Dates =============== * Submission deadline: 24 April 2015 (Extended!) * Notification of acceptance: 15 May 2015 * Deadline for camera-ready proceedings: 29 May 2015 * Workshop: 2 July 2015, Warsaw, Poland Weblinks ======== * EasyChair Submission Website https://www.easychair.org/conferences/?conf=wpte2015 * Homepage of WPTE 2015 http://www.trs.cm.is.nagoya-u.ac.jp/event/wpte2015/ * OASIcs Website (including LaTeX templates): http://www.dagstuhl.de/en/publications/oasics * RDP 2015 http://rdp15.mimuw.edu.pl Program Committee ================= Takahito Aoto (RIEC, Tohoku University) Yuki Chiba (JAIST) Fer-Jan de Vries (University of Leicester) Santiago Escobar (Universitat Politecnica de Valencia) - chair Johan Jeuring (Open Universiteit Nederland and Universiteit Utrecht) Delia Kesner (Universite Paris-Diderot) Serguei Lenglet (Universite de Lorraine) Elena Machkasova (University of Minnesota, Morris) William Mansky (University of Pennsylvania) Joachim Niehren (INRIA Lille) Naoki Nishida (Nagoya University) - chair Kristoffer H Rose (Two Sigma Investments, LLC) David Sabel (Goethe-University Frankfurt am Main) Masahiko Sakai (Nagoya University) Manfred Schmidt-Schauss (Goethe-University Frankfurt am Main) Janis Voigtlaender (University of Bonn) Johannes Waldmann (HTWK Leipzig) Harald Zankl (University of Innsbruck) Organizers ========== Yuki Chiba (JAIST) Santiago Escobar (Universitat Politecnica de Valencia) Naoki Nishida (Nagoya University) - chair Manfred Schmidt-Schauss (Goethe-University Frankfurt am Main) - chair David Sabel (Goethe-University Frankfurt am Main) From conor at strictlypositive.org Fri Apr 17 08:28:43 2015 From: conor at strictlypositive.org (Conor McBride) Date: Fri, 17 Apr 2015 09:28:43 +0100 Subject: [Haskell] Strathclyde PhD Position Message-ID: <61489734-984A-444B-BEFA-4BAE6D311BC4@strictlypositive.org> Applications are welcome from ANYWHERE for a Microsoft Research sponsored PhD position in the Mathematically Structured Programming group at the University of Strathclyde. Project: Real World Data with Dependent Types: Integrity and Interoperation Strathclyde supervisor: Dr Conor McBride Microsoft supervisor: Dr Don Syme Starting: October 2015 Tuition fees: fully funded or substantially subsidised, depending on residency status Stipend: ?14,057K Contact: Conor, by 8 May 2015 -------------------------------------------------------------------- Project Summary Data integrity, manipulation and analysis are key concerns in modern software, for developers and users alike. We are often obliged to work with a corpus of files ? spreadsheets, databases, scripts ? which represent and act on aspects of data in some domain. This project seeks to improve the integrity and efficiency with which we can operate in such a setting by * delivering a language for data models which expresses their conceptual structure, capturing what kinds of things exist in a given context, what data we expect to have about them, and when those data are consistent; * delivering a language for data views relative to a model, characterizing the expected content of a particular spreadsheet or database, whether considered a data source or an output; * exploiting the descriptions of models and views to support a richer tool chain for data editing, auditing, integration and analysis, whether by internal spreadsheet calculation or database query, or by interfacing with programming languages; * exploring the art of the possible in automating the discovery of views and models from extant data. Dependent type systems provide a uniform formalism for the contextualisation of data and the characterization of its consistency. They use types both as a data representation language and as a logic, and they do so in a manner amenable to mechanical checking. However, the prescriptive dependent type systems of Coq, Agda or Idris are not yet attuned to the open enumerations and extensible record types that we need to build up models of a data domain in a compositional, descriptive way. This project thus offers a broad spectrum of activity, encompassing theoretical innovation, language design, and tool development in support of existing applications and programming languages, notably Excel and F#. -------------------------------------------------------------------- Small Print * More detail about the problem and the approach envisaged can be found in this blogpost https://pigworker.wordpress.com/2015/04/09/model-the-world-view-your-data-control-their-chaos/ and in these slides https://personal.cis.strath.ac.uk/conor.mcbride/dependent-up.pdf * Our hope is that the student will seek to undertake a paid internship at Microsoft Research, Cambridge, at some point during the PhD. * We are based here: https://www.google.co.uk/maps/place/Torre+Livingstone,+University+of+Strathclyde,+16+Richmond+St,+Glasgow+G1+1XQ/@55.8611055,-4.2435337,17z/ That's in the centre of Glasgow, Scotland, an amazing place. * We actively seek to promote diversity in our workplace. From calimeri at mat.unical.it Fri Apr 17 20:40:02 2015 From: calimeri at mat.unical.it (Francesco Calimeri) Date: Fri, 17 Apr 2015 22:40:02 +0200 Subject: [Haskell] CfP LPNMR 2015: DEADLINES UPDATE Message-ID: [apologies for any cross-posting] Call for Papers --------------------------------------------------------------------------- 13th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2015 http://lpnmr2015.mat.unical.it/ Lexington, KY, USA September 27-30, 2015 (Collocated with the 4th Conference on Algorithmic Decision Theory 2015) --------------------------------------------------------------------------- AIMS AND SCOPE LPNMR 2015 is the thirteenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to the construction of systems for declarative programming and knowledge representation, as well as their use in practical applications. This edition of LPNMR will feature several workshops, a special session dedicated to the 6th ASP Systems Competition, and will be collocated with the 4th Algorithmic Decision Theory Conference, ADT 2015. Joint LPNMR-ADT Doctoral Consortium will be a part of the program. Authors are invited to submit papers presenting original and unpublished research on all aspects of non-monotonic approaches in logic programming and knowledge representation. We invite submissions of both long and short papers. TOPICS Conference topics include, but are not limited to: 1. Foundations of LPNMR Systems: * Semantics of new and existing languages; * Action languages, causality; * Relationships among formalisms; * Complexity and expressive power; * Inference algorithms and heuristics for LPNMR systems; * Extensions of traditional LPNMR languages such as new logical connectives or new inference capabilities; * Updates, revision, and other operations on LPNMR systems; * Uncertainty in LPNMR systems. 2. Implementation of LPNMR systems: * System descriptions, comparisons, evaluations; * Algorithms and novel techniques for efficient evaluation; * LPNMR benchmarks. 3. Applications of LPNMR: * Use of LPNMR in formalization of Commonsense Reasoning and other areas of KR; * LPNMR languages and algorithms in planning, diagnosis, argumentation, reasoning with preferences, decision making and policies; * Applications of LPNMR languages in data integration and exchange systems, software engineering and model checking; * Applications of LPNMR to linguistics, psychology, and other sciences * Integration of LPNMR systems with other computational paradigms; * Embedded LPNMR: Systems using LPNMR subsystems. SUBMISSION LPNMR 2015 welcomes submissions of long papers (13 pages) or short papers (6 pages) in the following categories: * Technical papers * System descriptions * Application descriptions The indicated number of pages includes title page, references and figures. All submissions will be peer-reviewed and accepted papers will appear in the conference proceedings published in the Springer-Verlag Lecture Notes in Artificial Intelligence (LNAI/LNCS) series. At least one author of each accepted paper is expected to register for the conference to present the work. Submissions must be formatted according to the Springer LNCS author instructions, http://www.springer.com/comp/lncs/Authors.html must be written in English, and present original research. Paper submission will be electronic through the LPNMR-15 Easychair site: https://www.easychair.org/conferences/?conf=lpnmr2015 Two best papers of general AI interest will be invited for rapid publication in the journal Artificial Intelligence - Journal - Elsevier. Two best papers with narrower logic programming focus will be invited for a rapid publication in the journal Theory and Practice of Logic Programming. MULTIPLE SUBMISSION POLICY LPNMR 2015 will not accept any paper which, at the time of submission, is under review or has already been published or accepted for publication in a journal or another conference. Authors are also required not to submit their papers elsewhere during LPNMR's review period. However, these restrictions do not apply to previous workshops with a limited audience and without archival proceedings. ASSOCIATED EVENTS WORKSHOPS - LPNMR 2015 will include specialized workshops to be held on September 27 prior to the main conference. Currently planned workshops include: - Grounding, Transforming, and Modularizing Theories with Variables Organizers: Marc Denecker, Tomi Janhunen Website: https://sites.google.com/site/gttv2015/ - Action Languages, Process Modeling, and Policy Reasoning Organizer: Joohyung Lee Website: https://sites.google.com/site/alpp2015/ - Natural Language Processing and Automated Reasoning Organizers: Marcello Balduccini, Ekaterina Ovchinnikova, Peter Schueller Website: https://sites.google.com/site/nlpar2015/ - Learning and Nonmonotonic Reasoning Organizers: Alessandra Russo and Alessandra Mileo Website: http://lnmr2015.insight-centre.org/ ASP COMPETITION - A special session dedicated to a discussion of the 6th ASP System Competition, including the methodology of the competition, benchmarks used, lessons learned and, most importantly, the results and the announcement of the winners. ALGORITHMIC DECISION THEORY (ADT) 2015 (collocated - same time and place) Algorithmic Decision Theory is a vibrant and growing area of research concerned with algorithmic aspects of problems arising in social choice and economics that involve optimal ways to aggregate preferences. The area abounds in hard computational problems and may be an axciting area of applications for ASP. The two conferences will seek ways to identify and promote synergies between their respective areas of focus. JOINT LPNMR-ADT DOCTORAL CONSORTIUM: co-Chairs: - Esra Erdem (LPNMR), Sabanci University, Turkey - Nick Mattei (ADT), NICTA, Australia More info: http://lpnmr2015.mat.unical.it/associated-events/adt-lpnmr-2015-doctoral-consortium COMPLIMENTARY MEMBERSHIP OFFER FOR CONFERENCE REGISTRANTS NEW TO AAAI LPNMR 2015 is pleased to acknowledge its cooperation with the Association for the Advancement of Artificial Intelligence (AAAI) [http://www.aaai.org], which will be publicizing the conference to its membership. Of special interest to conference attendees is an introductory membership offer from AAAI, which provides a complimentary 1-year online membership to conference participants who are new to AAAI. Please send a message to membership15 at aaai.org for further details. IMPORTANT DATES * Paper registration: April 24th, 2015 (*UPDATED*) * Paper submission: April 30th, 2015 (*UPDATED*) * Notification: June 1st, 2015 * Final versions due: June 15th, 2015 VENUE Lexington is a medium size, pleasant and quiet university town. It is located in the heart of the so-called Bluegrass Region in Central Kentucky. The city is surrounded by beautiful horse farms on green pastures dotted with ponds and traditional architecture stables, and small race tracks, and bordered by white or black fences. The Horse Museum is as beautifully located as it is interesting. Overall, the city has a nice feel that mixes well old and new. The conference will be held in the Hilton Lexington Downtown hotel. GENERAL CHAIR Victor Marek, University of Kentucky, KY, USA PROGRAM CHAIRS Giovambattista Ianni, University of Calabria, Italy Mirek Truszczynski, University of Kentucky, KY, USA WORKSHOPS CHAIR Yuliya Lierler, University of Nebrska at Omaha, NE, USA PUBLICITY CHAIR Francesco Calimeri, University of Calabria, Italy PROGRAM COMMITTEE Agostino Dovier, Universit? di Udine, Italy Agust?n Valverde, Universidad de M?laga, Spain Alessandra Mileo, National University of Ireland, Galway, INSIGHT Centre for Data Analytics, Ireland Andrea Formisano, Dip. di Matematica e Informatica, Universit? di Perugia, Italy Axel Polleres, Vienna University of Economics and Business, Austria Bart Bogaerts, Department of Computer Science, KU Leuven, Belgium Chiaki Sakama, Wakayama University, Japan Chitta Baral, Arizona State University, USA Christoph Redl, Vienna University of Technology, Austria Daniela Inclezan, Miami University, USA David Pearce, Universidad Polit?cnica de Madrid, Spain Emilia Oikarinen, Aalto University, Finland Enrico Pontelli, New Mexico State University, USA Esra Erdem, Sabanci University, Istanbul, Turkey Eugenia Ternovska, Simon Fraser University, Canada Fangkai Yang, Schlumberger Ltd Fangzhen Lin, Hong Kong University of Science and Technology, Hong Kong Francesco Calimeri, Universit? della Calabria, Italy Gerhard Brewka, Leipzig University, Germany Giovanni Grasso, Oxford University, UK Hannes Strass, Leipzig University, Germany Hans Tompits, Vienna University of Technology, Austria James Delgrande, Simon Fraser University, Canada Jia-Huai You, University of Alberta, Canada Joohyung Lee, Arizona State University, USA Jose Julio Alferes, Universidade Nova de Lisboa, Portugal Kewen Wang, Griffith University, Australia Marc Denecker, K.U.Leuven, Belgium Marcello Balduccini, Drexel University, USA Marina De Vos, University of Bath, UK Martin Gebser, Aalto University, Finland Matthias Knorr, NOVA-LINCS, Universidade Nova de Lisboa, Portugal Mauricio Osorio, Fundacion de la Universidad de las Americas, Puebla, Mexico Michael Fink, Vienna University of Technology, Austria Michael Gelfond, Texas Tech University, USA Orkunt Sabuncu, University of Potsdam, Germany Paul Fodor, Stony Brook University, USA Pedro Cabalar, University of Corunna, Spain Saadat Anwar, Arizona State University, USA Stefan Woltran, Vienna University of Technology Stefania Costantini, Dipartimento di Ingegneria e Scienze dell'Informazione, e Matematica, Univ. di L'Aquila, Italy Terrance Swift, CENTRIA, Universidade Nova de Lisboa, Portugal Thomas Eiter, Vienna University of Technology, Austria Tomi Janhunen, Aalto University, Finland Torsten Schaub, University of Potsdam, Germany Tran Cao Son, New Mexico State University, USA Vladimir Lifschitz, University of Texas at Austin, USA Wolfgang Faber, University of Huddersfield, UK Yi Zhou, University of Western Sydney, Australia Yisong Wang, Guizhou University, China Yuliya Lierler, University of Nebraska at Omaha, USA CONTACT lpnmr2015 at mat.unical.it From mihai.maruseac at gmail.com Sat Apr 18 02:04:47 2015 From: mihai.maruseac at gmail.com (Mihai Maruseac) Date: Fri, 17 Apr 2015 22:04:47 -0400 Subject: [Haskell] all for Contributions - Haskell Communities and Activities Report, May 2015 edition (28th edition) Message-ID: Dear all, We would like to collect contributions for the 28th edition of the ============================================================ Haskell Communities & Activities Report http://www.haskell.org/haskellwiki/Haskell_Communities_and_Activities_Report Submission deadline: 17 May 2015 (please send your contributions to hcar at haskell.org, in plain text or LaTeX format) ============================================================ This is the short story (one extra point to the story added from previous editions): * If you are working on any project that is in some way related to Haskell, please write a short entry and submit it. Even if the project is very small or unfinished or you think it is not important enough --- please reconsider and submit an entry anyway! * If you are interested in an existing project related to Haskell that has not previously been mentioned in the HCAR, please tell us, so that we can contact the project leaders and ask them to submit an entry. * **NEW**: If you are working on a project that is looking for contributors, please write a short entry and submit it, mentioning that your are looking for contributors. The final report might have an index with such projects, provided we get enough such submissions. * Feel free to pass on this call for contributions to others that might be interested. More detailed information: The Haskell Communities & Activities Report is a bi-annual overview of the state of Haskell as well as Haskell-related projects over the last, and possibly the upcoming six months. If you have only recently been exposed to Haskell, it might be a good idea to browse the previous edition --- you will find interesting projects described as well as several starting points and links that may provide answers to many questions. Contributions will be collected until the submission deadline. They will then be compiled into a coherent report that is published online as soon as it is ready. As always, this is a great opportunity to update your webpages, make new releases, announce or even start new projects, or to talk about developments you want every Haskeller to know about! Looking forward to your contributions, Mihai Maruseac and Alejandro Serrano Mena FAQ: Q: What format should I write in? A: The required format is a LaTeX source file, adhering to the template that is available at: http://haskell.org/communities/05-2015/template.tex There is also a LaTeX style file at http://haskell.org/communities/05-2015/hcar.sty that you can use to preview your entry. If you do not know LaTeX, then use plain text. If you modify an old entry that you have written for an earlier edition of the report, you should soon receive your old entry as a template (provided we have your valid email address). Please modify that template, rather than using your own version of the old entry as a template. Q: Can I include Haskell code? A: Yes. Please use lhs2tex syntax (http://www.andres-loeh.de/lhs2tex/). The report is compiled in mode polycode.fmt. Q: Can I include images? A: Yes, you are even encouraged to do so. Please use .jpg or .png format, then, PNG being preferred for simplicity. Q: Should I send files in .zip archives or similar? A: No, plain file attachements are the way. Q: How much should I write? A: Authors are asked to limit entries to about one column of text. A general introduction is helpful. Apart from that, you should focus on recent or upcoming developments. Pointers to online content can be given for more comprehensive or "historic" overviews of a project. Images do not count towards the length limit, so you may want to use this opportunity to pep up entries. There is no minimum length of an entry! The report aims for being as complete as possible, so please consider writing an entry, even if it is only a few lines long. Q: Which topics are relevant? A: All topics which are related to Haskell in some way are relevant. We usually had reports from users of Haskell (private, academic, or commercial), from authors or contributors to projects related to Haskell, from people working on the Haskell language, libraries, on language extensions or variants. We also like reports about distributions of Haskell software, Haskell infrastructure, books and tutorials on Haskell. Reports on past and upcoming events related to Haskell are also relevant. Finally, there might be new topics we do not even think about. As a rule of thumb: if in doubt, then it probably is relevant and has a place in the HCAR. You can also simply ask us. Q: Is unfinished work relevant? Are ideas for projects relevant? A: Yes! You can use the HCAR to talk about projects you are currently working on. You can use it to look for other developers that might help you. You can use HCAR to ask for more contributors to your project, it is a good way to gain visibility and traction. Q: If I do not update my entry, but want to keep it in the report, what should I do? A: Tell us that there are no changes. The old entry will typically be reused in this case, but it might be dropped if it is older than a year, to give more room and more attention to projects that change a lot. Do not resend complete entries if you have not changed them. Q: Will I get confirmation if I send an entry? How do I know whether my email has even reached its destination, and not ended up in a spam folder? A: Prior to publication of the final report, we will send a draft to all contributors, for possible corrections. So if you do not hear from us within two weeks after the deadline, it is safer to send another mail and check whether your first one was received. -- Mihai Maruseac (MM) "If you don't know, the thing to do is not to get scared, but to learn." -- Atlas Shrugged. From calimeri at mat.unical.it Sun Apr 19 12:34:36 2015 From: calimeri at mat.unical.it (Francesco Calimeri) Date: Sun, 19 Apr 2015 14:34:36 +0200 Subject: [Haskell] LPNMR 2015 Invitation to submit - 11 days to the deadline Message-ID: Dear Colleagues, We warmly encourage you to consider LPNMR 2015 for work that you might have that you're looking to publish shortly. Our submission deadline is a few less than two weeks from now (Apr 30th). We remind you that two best general appeal papers from LPNMR are expected to be selected for fast publication in Artificial Intelligence, and two best papers in the logic programming area will be selected for fast track publication in TPLP. Also, for those lucky enough to have papers accepted to IJCAI-15, we will consider submissions for just oral presentation. For those not so lucky that have papers rejected from IJCAI-15, there is a comfortable time window after the notification to revise your paper and submit it to us for oral presentation and inclusion in the Springer LNCS proceedings. we look forward for your submissions! Best regards, the LPNMR 2015 PC Chairs From J.Hage at uu.nl Mon Apr 20 08:36:46 2015 From: J.Hage at uu.nl (Jurriaan Hage) Date: Mon, 20 Apr 2015 10:36:46 +0200 Subject: [Haskell] [ANN]: the Helium compiler, version 1.8.1 Message-ID: <647A7C27-F466-4975-9A51-B866FD417342@uu.nl> Dear all, we have recently uploaded Helium 1.8.1, the novice friendly Haskell compiler, to Hackage. Improvements in this version - Helium can again work together with our Java-based programming environment Hint. The jar file for Hint itself can be downloaded from the Helium website at: http://foswiki.cs.uu.nl/foswiki/Helium which also has some more documentation on how to use Hint and helium. - the svn location if you are interested in the sources is now the correct one To install Helium simply type cabal install helium cabal install lvmrun Helium compiles with GHC 7.6.3 and 7.8.x, but does not yet compile with 7.10. Any questions and feedback are welcome at helium at cs.uu.nl. best regards, The Helium Team From agocorona at gmail.com Mon Apr 20 10:26:48 2015 From: agocorona at gmail.com (Alberto G. Corona ) Date: Mon, 20 Apr 2015 12:26:48 +0200 Subject: [Haskell] [Haskell-cafe] [ANN]: the Helium compiler, version 1.8.1 In-Reply-To: <647A7C27-F466-4975-9A51-B866FD417342@uu.nl> References: <647A7C27-F466-4975-9A51-B866FD417342@uu.nl> Message-ID: Great! How the type rules detailed in the "scripting the type inference engine" paper are implemented? it is possible to script the inference engine with such rules? If so, are there some examples? 2015-04-20 10:36 GMT+02:00 Jurriaan Hage : > Dear all, > > we have recently uploaded Helium 1.8.1, the novice friendly Haskell > compiler, to Hackage. > > Improvements in this version > - Helium can again work together with our Java-based programming > environment Hint. > The jar file for Hint itself can be downloaded from the Helium website > at: > http://foswiki.cs.uu.nl/foswiki/Helium > which also has some more documentation on how to use Hint and helium. > - the svn location if you are interested in the sources is now the > correct one > > > To install Helium simply type > > cabal install helium > cabal install lvmrun > > Helium compiles with GHC 7.6.3 and 7.8.x, but does not yet compile with > 7.10. > > Any questions and feedback are welcome at helium at cs.uu.nl. > > best regards, > The Helium Team > > _______________________________________________ > Haskell-Cafe mailing list > Haskell-Cafe at haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe > -- Alberto. -------------- next part -------------- An HTML attachment was scrubbed... URL: From gershomb at gmail.com Mon Apr 20 19:30:53 2015 From: gershomb at gmail.com (Gershom B) Date: Mon, 20 Apr 2015 15:30:53 -0400 Subject: [Haskell] Help wanted with Wiki.Haskell.Org Message-ID: One of the central repositories of knowledge in the Haskell world is the HaskellWiki (https://wiki.haskell.org). This wiki has been with the Haskell community for years, and contains a wealth of knowledge. Like other services on the haskell.org domain and with haskell.org equipment, ultimate responsibility for maintaining it falls on the Haskell Committee. However, it is a community wiki, and requires care and maintenance and contributions from all of us.? The wiki has been, and continues to be, a vital component in the Haskell world. Like any wiki, it is fueled by contributions from many people, and in this sense it is thriving.? However, it could use a certain amount of attention and work in three key areas. We are looking for volunteers to step up in these regards,? 1) Account Creation Management: Account creation is manual only because spambots otherwise destroy us. It would be worth investigating if a full upgrade and new plugins could help this issue. In the meantime, the responsibility for creating new accounts has fallen on only one person for years. This is not a good situation. We would like to set up a mail alias for wiki admins and extend account creation rights to a range of people. If you would be willing to be one of a team of responders to account creation requests, please write and let us know.? 2) Technical and design oversight: Now that we have a new haskell.org homepage, the current wiki frontpage could use a redesign. For that matter, the whole wiki could use a bit of a redesign to bring it into a more modern style. Along with that, it may be the case that additional plugins ? such as for typesetting code or equations better ? could be quite helpful. It would be good to have a mediawiki admin who wants to help improve the technical capacities of the site, as well as to overhaul its look. Again, if you are interested in taking charge of this, please let us know. 3) Content curation: ?One issue with a large collection of documents written by different people is the lack of curation. Some pages fall out of date, information is spread across multiple pages instead of collected together, and quality varies greatly. Without a central authority, no one is responsible (or empowered) to fix the situation. There is a balance between keeping things up-to-date and preserving the historic content of the wiki, and without people feeling empowered to make big changes, the tendency will always fall towards the latter. We're looking for people in the community to volunteer to help improve this status quo. The task, generally speaking, is to be responsible for curating and improving the content of the wiki, but that's clearly a vague description with lots of room for individual embellishment. This doesn't need to be a single person either: a team working in a coordinated fashion could be incredibly effective.? Once more, depending on response, we?d be happy to designate and empower people to make broader changes on the wiki or to organize a team to do so. If you are interested in this as well, please let us know. Gershom, for the Haskell.org Committee From simon at joyful.com Mon Apr 20 23:35:49 2015 From: simon at joyful.com (Simon Michael) Date: Mon, 20 Apr 2015 16:35:49 -0700 Subject: [Haskell] ANN: ssh, darcsden vulnerability Message-ID: <53D5E248-8F42-4935-99BD-4622EF07A2DA@joyful.com> We recently learned of a serious undocumented vulnerability in the ssh package. This is a minimal ssh server implementation used by darcsden to support darcs push/pull. If you use the ssh package, or you have darcsden?s darcsden-ssh server running, you should upgrade to/rebuild with the imminent ssh-0.3 release right away. Or if you know of someone like that, please let them know. Also, if you're interested in cryptography/security, additional help and patches for the ssh and darcsden packages would be very welcome. I've blogged more details at http://joyful.com/blog/2015-04-20-ssh-darcs-hub-vulnerability.html (if you're a Darcs Hub user, hopefully you've already seen it). Best - Simon -------------- next part -------------- An HTML attachment was scrubbed... URL: From bundala at berkeley.edu Tue Apr 21 02:58:08 2015 From: bundala at berkeley.edu (Daniel Bundala) Date: Mon, 20 Apr 2015 19:58:08 -0700 Subject: [Haskell] VSTTE 2015 Final Call For Papers Message-ID: ********************************************************************** 7th Working Conference on Verified Software: Theories, Tools, and Experiments July 18 - 19, 2015 San Francisco, California, USA http://www.eecs.berkeley.edu/vstte15 Co-located with 25th Conference on Computer Aided Verification (http://i-cav.org/2015) ********************************************************************** Full Paper Submission Deadline: April 27, 2015 SCOPE: The Seventh Working Conference on Verified Software: Theories, Tools, and Experiments follows a successful inaugural working conference at Zurich in 2005 followed by conferences in Toronto (2008), Edinburgh (2010), Philadelphia (2012), Atherton (2013), and Vienna (2014). The goal of this conference is to advance the state of the art in the science and technology of software verification, through the interaction of theory development, tool evolution, and experimental validation. We welcome submissions describing significant advances in the production of verified software, i.e., software that has been proved to meet its functional specifications. We are especially interested in submissions describing large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge. We welcome papers describing novel experiments and case studies evaluating verification techniques and technologies. Topics of interest include education, requirements modeling, specification languages, specification/verification case-studies, formal calculi, software design methods, automatic code generation, refinement methodologies, compositional analysis, verification tools (e.g., static analysis, dynamic analysis, model checking, theorem proving, satisfiability), tool integration, benchmarks, challenge problems, and integrated verification environments. PAPER SUBMISSION Papers will be evaluated by at least three members of the Program Committee. We are accepting both long (limited to 16 pages) and short (limited to 10 pages) paper submissions, written in English. Short submissions also cover Verification Pearls describing an elegant proof or proof technique. Submitted research papers and system descriptions must be original and not submitted for publication elsewhere. Research paper submissions must be in LNCS format and must include a cogent and self-contained description of the ideas, methods, results, and comparison to existing work. Submissions of theoretical, practical, and experimental contributions are equally encouraged, including those that focus on specific problems or problem domains. Papers should be submitted through: https://www.easychair.org/conferences/?conf=vstte2015. Submissions that arrive late, are not in the proper format, or are too long will not be considered. The post-conference proceedings of VSTTE 2015 will be published by Springer-Verlag in the LNCS series. Authors of accepted papers will be requested to sign a form transferring copyright of their contribution to Springer-Verlag. The use of LaTeX and the Springer LNCS class files, obtainable fromhttp://www.springer.de/comp/lncs/authors.html, is strongly encouraged. PUBLICATION Accepted papers will be published as post-Proceedings, to appear in Springer's Lectures Notes in Computer Science. IMPORTANT DATES: Abstract submission: April 20, 2015 Full paper submission: April 27, 2015 Notification: June 8, 2015 ORGANIZATION: General Chair: Martin Schaef (SRI International) Program Chairs: Arie Gurfinkel (Software Engineering Institute, Carnegie Mellon University) Sanjit A. Seshia (University of California, Berkeley) Publicity Chair: Daniel Bundala (UC Berkeley) PROGRAM COMMITTEE: Elvira Albert (Complutense University of Madrid) Nikolaj Bjorner (Microsoft Research) Evan Chang (University of Colorado, Boulder) Ernie Cohen (University of Pennsylvania) Jyotirmoy Deshmukh (Toyota) Jin Song Dong (National University of Singapore) Vijay D'Silva (Google) Vijay Ganesh (University of Waterloo) Alex Groce (Oregon State) Arie Gurfinkel (Software Engineering Institute, Carnegie Mellon University) (co-chair) Bill Harris (Georgia Institute of Technology) Chris Hawblitzel (Microsoft Research) Bart Jacobs (Katholieke Universiteit Leuven, Belgium) Susmit Jha (United Technologies) Rajeev Joshi (Laboratory for Reliable Software, Jet Propulsion Laboratory) Vladimir Klebanov, Karlsruhe Institute of Technology, DE Akash Lal (Microsoft Research India) Ruzica Piskac (Yale) Zvonimir Rakamaric (University of Utah) Kristin Yvonne Rozier (University of Cincinnati) Sanjit A. Seshia (UC Berkeley) (co-chair) Natarajan Shankar (SRI) Carsten Sinz (KIT) Nishant Sinha (IBM Research Labs) Alexander Summers (ETH Zurich) Zachary Tatlock (University of Washington) Sergey Tverdyshev (Sysgo AG) Arnaud Venet (CMU / NASA Ames Research Center) Karen Yorav (IBM Haifa Research Lab) ********************************************************************** Please contact vstte2015 at easychair.org for further information ********************************************************************** -------------- next part -------------- An HTML attachment was scrubbed... URL: From Iain.Whiteside at newcastle.ac.uk Tue Apr 21 08:57:16 2015 From: Iain.Whiteside at newcastle.ac.uk (Iain Whiteside) Date: Tue, 21 Apr 2015 08:57:16 +0000 Subject: [Haskell] AI4FM 2015: Call for Short Contributions Message-ID: <4B6FE138-0761-4E83-BA36-28082299D976@newcastle.ac.uk> ------------------------------------------------- AI4FM 2015 - the 6th International Workshop on the use of AI in Formal Methods http://www.ai4fm.org/ai4fm-2015/ Edinburgh, 1st September, 2015 In association with AVoCS 2015 https://sites.google.com/site/avocs15 ------------------------------------------------- --- First Call for Contributions --- Important Dates --------------- Submission deadline: 1st August, 2015 Notification of acceptance: 10th August, 2015 Final version due: 21st August, 2015 Workshop: 1st September, 2015 General --------------- This workshop will bring together researchers from formal methods, automated reasoning and AI; it will address the issue of how AI can be used to support the formal software development process, including requirement analysis, modelling and proof. Previous AI4FM workshops have included a mix of industrial and academic participants and we anticipate attracting a similarly diverse audience. Rigorous software development using formal methods allows the construction of an accurate characterisation of a problem domain that is firmly based on mathematics; by applying standard mathematical analyses, these methods can be used to prove that systems satisfy formal specifications. Research has shown that with tools backed by mature theory, formal methods are becoming cost effective and their use is easier to justify, not as an academic exercise, legal requirement or niche markets -- but as part of a business case. However, while industrial use of formal methods is increasing, in order to make it more mainstream, the cost of applying formal methods, in terms of mathematical skill level and development time, must still be reduced. We believe that AI can help with these issues. Scope --------------- We encourage submissions presenting work in progress, tools under development, and PhD projects, in order that the workshop can become a forum for active dialogue between the groups involved in automated reasoning, formal methods and artificial intelligence. Particular areas of interest include, but are not limited to: - The use of AI and automated reasoning to support and guide the formal modelling process. - The use of AI and automated reasoning in the requirement capture process. - The use of AI to reuse formal models, programs and proofs. - The use of machine learning to support interactive theorem proving. - The use of machine learning to enhance automated theorem proving. - The development of search heuristics. - The use of AI for term synthesis, invariant generation, lemma discovery and concept invention. - The use of AI for counter-example generation. - The use of constraint solvers in formal methods. - The role of AI planning for formal systems developments, from requirements to the end product (including software and hardware). - The interplay between reasoning and modelling and the role of AI in this framework. - Ontologies in the formal engineering process. - Novel ideas on how to use AI (e.g. machine learning, pattern recognition) in proof automation. - Use of cloud elasticity for: scalability on large scale developments, proof/lemma exploration. - Techniques for bridging the development to maintenance gap. We want to continue the area of research beyond our sponsored project (at Newcastle and Edinburgh universities), which has come to an end. This means we would particularly encourage the submission of position papers on new ideas or research directions for the use of AI techniques in the proof discovery process as well as in modelling best practices. Student grants --------------- Thanks to sponsorships from FME and SICSA we can offer financial support for a limited number of students registering for AVoCS in the form of a registration fee waiver (full or partial). As this is limited, we ask the students that would like to take the advantage of this support to submit a short application. The details on how to apply will be available in due course from the AVoCS webpage. History --------------- This will be the fifth workshop in the series. Previous workshops were held at: - Singapore, May 2014 @ FM (www.ai4fm.org/ai4fm-2014/) - Rennes, France, July 2013 @ ITP (www.ai4fm.org/ai4fm-2013/) - Schloss Dagstuhl, Germany, July 2012 (www.dagstuhl.de/12271) - Edinburgh, UK, April 2011 (www.ai4fm.org/ai4fm-2011.php) - Newcastle, UK, May 2010 (www.ai4fm.org/ko-meeting.php) Submission --------------- The main aim for the workshop is discussion, thus submissions do not need to be original. Extended versions of submissions may have been published previously, or submitted concurrently with or after AI4FM 2015 to another workshop, conference or a journal. Submission is by email to: ai4fm2015 at ai4fm.org Please submit an abstract up to 3 pages in a PDF format. The extended abstracts will be handed out to all participants, and will be made into a technical report prior to the workshop. Acceptance for presentation at the workshop will be made by the organisers based on relevance to the workshop. Organisers --------------- * Leo Freitas (Newcastle University, UK) * Iain Whiteside (University of Edinburgh, UK) * Gudmund Grov (Heriot Watt University, UK) Contact Details ---------------- If you have any queries, please email the organisers at the following email address: ai4fm2015 at ai4fm.org From gale at sefer.org Tue Apr 21 09:28:51 2015 From: gale at sefer.org (Yitzchak Gale) Date: Tue, 21 Apr 2015 12:28:51 +0300 Subject: [Haskell] [Haskell-cafe] Help wanted with Wiki.Haskell.Org In-Reply-To: References: Message-ID: Gershom wrote: > ...the HaskellWiki ...requires care and maintenance > and contributions from all of us. I replied to this in the reddit thread at: http://www.reddit.com/r/haskell/comments/339qxm/haskellcafe_help_wanted_with_wikihaskellorg/ Short summary: > 1) Account Creation Management I believe we should migrate off of MediaWiki which would, among other benefits, make ACM unnecessary. But if we don't do that, I volunteer to be on the list of responders for this. But on condition that I don't become the only active responder, which is what ended up happening with community.haskell.org. > 2) Technical and design oversight We should focus that effort on migrating the wiki to a modern markdown-based wiki, such as a github wiki, not on legacy MedaWiki administration. > 3) Content curation I think the real problem here is that much of the community either doesn't know about the wiki or has forgotten about it. If we make the wiki more visible and get more buzz about it, then people will use it. And if they use it, they will also update it. Thanks, Yitz From pardo at fing.edu.uy Tue Apr 21 18:42:32 2015 From: pardo at fing.edu.uy (Alberto Pardo) Date: Tue, 21 Apr 2015 15:42:32 -0300 Subject: [Haskell] Extended Deadline - SBLP 2015 Message-ID: CALL FOR PAPERS SBLP 2015 *** EXTENDED DEADLINE *** 19th Brazilian Symposium on Programming Languages 24-25 September 2015 Belo Horizonte, Brazil http://cbsoft.org/sblp2015 +++++++++++++++++++++++++++++++++++++++++++++++++++ IMPORTANT DATES Abstract submission (extended): 27 April, 2015 Paper submission (extended): 4 May, 2015 Author notification: 18 June, 2015 Camera ready deadline: 2 July 2015 INTRODUCTION 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 2015 is part of 6th Brazilian Conference on Software: Theory and Practice, CBSoft 2015, that will be held in Belo Horizonte, Minas Gerais, Brazil, from September 21st to September 26th, 2015. SBLP dates are Thursday 24th and Friday 25th of September. 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. INVITED SPEAKERS * Doaitse Swierstra, Utrecht University * A second invited speaker to be confirmed soon 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 5 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=sblp2015. As in previous editions, after the conference, authors of selected 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 Alberto Pardo, Universidad de la Rep?blica, Uruguay Doaitse Swierstra, Utrecht University, The Netherlands PROGRAM COMMITTEE Alberto Pardo, Universidad de la Rep?blica (co-chair) Alex Garcia, IME Alvaro Moreira, Federal University of Rio Grande do Sul Andre Rauber Du Bois, Federal University of Pelotas Carlos Camar?o, Federal University of Minas Gerais Christiano Braga, Fluminense Federal University Doaitse Swierstra, Utrecht University (co-chair) 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 Hans-Wolfgang Loidl, Heriot-Watt University Jo?o Saraiva, University of Minho Jo?o F. Ferreira, Teesside University Louis-Noel Pouchet, University of California, Los Angeles 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 Peter Mosses, Swansea University Rafael Lins, Federal University of Pernambuco Renato Cerqueira, PUC-Rio 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 Zongyan Qiu Peking University -------------- next part -------------- An HTML attachment was scrubbed... URL: From xinyu.feng at gmail.com Wed Apr 22 03:33:25 2015 From: xinyu.feng at gmail.com (Xinyu Feng) Date: Wed, 22 Apr 2015 11:33:25 +0800 Subject: [Haskell] APLAS 2015: Call for Papers Message-ID: ********************************************************************* APLAS 2015, Call for Papers 13th Asian Symposium on Programming Languages and Systems Pohang, Korea, November 30 - December 2, 2015 < http://pl.postech.ac.kr/aplas2015/> ********************************************************************* *IMPORTANT DATES* Submission deadline: June 5, 2015 Author notification: August 17, 2015 Final version: September 7, 2015 Conference: November 30 - December 2, 2015 *INVITED SPEAKERS* Peter O'Hearn, Facebook Sukyoung Ryu, KAIST Eran Yahav, Technion Hongseok Yang, University of Oxford *ABOUT* APLAS aims to stimulate programming language research by providing a forum for the presentation of latest results and the exchange of ideas in programming languages and systems. APLAS is based in Asia, but is an international forum that serves the worldwide programming language community. APLAS is sponsored by the Asian Association for Foundation of Software (AAFS), founded by Asian researchers in cooperation with many researchers from Europe and the USA. Past APLAS symposiums were successfully held in Singapore ('14), Melbourne ('13), Kyoto ('12), Kenting ('11), Shanghai ('10), Seoul ('09), Bangalore ('08), Singapore ('07), Sydney ('06), Tsukuba ('05), Taipei ('04) and Beijing ('03) after three informal workshops. Proceedings of the past symposiums were published in Springer's LNCS. *TOPICS* The symposium is devoted to foundational and practical issues in programming languages and systems. Papers are solicited on topics such as * semantics, logics, foundational theory * design of languages, type systems and foundational calculi * domain-specific languages * compilers, interpreters, abstract machines * program derivation, synthesis and transformation * program analysis, verification, model-checking * logic, constraint, probabilistic and quantum programming * software security * concurrency and parallelism * tools and environments for programming and implementation Topics are not limited to those discussed in previous symposiums. Papers identifying future directions of programming and those addressing the rapid changes of the underlying computing platforms are especially welcome. Demonstration of systems and tools in the scope of APLAS are welcome to the System and Tool presentations category. Authors concerned about the appropriateness of a topic are welcome to consult with program chair prior to submission. *SUBMISSION* We solicit submissions in two categories: a) Regular research papers - describing original scientific research results, including tool development and case studies. Regular research papers should not exceed 18 pages in the Springer LNCS format, including bibliography and figures. They should clearly identify what has been accomplished and why it is significant. Submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity. In case of lack of space, proofs, experimental results, or any information supporting the technical results of the paper could be provided as an appendix or a link to a web page, but reviewers are not obliged to read them. b) System and tool presentations - describing systems or tools that support theory, program construction, reasoning, or program execution in the scope of APLAS. System and Tool presentations are expected to be centered around a demonstration. The paper and the demonstration should identify the novelties of the tools and use motivating examples. System and Tool papers should not exceed 8 pages in the Springer LNCS format, including bibliography and figures. Submissions will be judged based on both the papers and the described systems or tools. It is highly desirable that the tools are available on the web. Submitted papers must be unpublished and not submitted for publication elsewhere. Papers must be written in English. The proceedings will be published as a volume in Springer's LNCS series. Accepted papers must be presented at the conference. *ORGANIZERS* General Chair: Sungwoo Park (Pohang Univ. of Science and Technology (POSTECH), Korea) Program Chair: Xinyu Feng (Univ. of Science and Technology of China, China) Program Committee: James Brotherston (Univ. College London, UK) James Cheney (Univ. of Edinburgh, UK) Huimin Cui (Institute of Computing Technology, CAS, China) Mike Dodds (Univ. of York, UK) Xinyu Feng (Univ. of Science and Technology of China, China) Nate Foster (Cornell Univ., USA) Alexey Gotsman (IMDEA Software Institute, Spain) Aquinas Hobor (School of Computing, National Univ. of Singapore / Yale-NUS College) Chung-Kil Hur (Seoul National Univ., Korea) Radha Jagadeesan (DePaul Univ., USA) Annie Liu (Stony Brook Univ., USA) Andreas Lochbihler (ETH Zurich, Switzerland) Santosh Nagarakatte (Rutgers Univ., USA) David A. Naumann (Stevens Inst. of Tech., USA) Michael Norrish (NICTA, Australia) Hakjoo Oh (Seoul National Univ., Korea) Murali Krishna Ramanathan (Indian Institute of Science, India) Xavier Rival (CNRS / ENS / INRIA, France) Kohei Suenaga (Kyoto Univ., Japan) Gang Tan (Lehigh Univ., USA) Alwen Tiu (Nanyang Technological University, Singapore) Martin Vechev (ETH Zurich, Switzerland) Bow-Yaw Wang (Academia Sinica, Taiwan) Nobuko Yoshida (Imperial College London, UK) Lijun Zhang (Institute of Software, CAS, China) -------------- next part -------------- An HTML attachment was scrubbed... URL: From yrg at pps.univ-paris-diderot.fr Wed Apr 22 05:17:46 2015 From: yrg at pps.univ-paris-diderot.fr (=?UTF-8?B?WWFubiBSw6lnaXMtR2lhbmFz?=) Date: Wed, 22 Apr 2015 05:17:46 +0000 Subject: [Haskell] [Second call for participation] Spring School about Proofs of Programs using Coq Message-ID: *** Call for participation, please distribute. *** EPIT'2015 (http://www.epit2015.website) Spring School in Theoretical Computer Science Mechanizing Proofs of Programs in Coq May 25 to May 29, 2015, Frejus, France * Presentation The french spring school in theoretical computer science (EPIT) is a recurrent school which was created 40 years ago by Maurice Nivat. This year, the school is about the mechanization of proofs of programs using the proof assistant Coq. As no prerequisite is needed, the school targets any computer scientist that is curious about what a proof assistant is and how it can be integrated in its daily research work. * Program The school will take place between May 24 and May 29 and it will be divided into eight sessions. A session will consist in a (rather short) lecture (given in english) followed by practical exercises on computer. The five first sessions will be dedicated to a presentation of the main concepts and techniques used to mechanize proofs on a computer. The two next sessions will focus on the mechanization of two classical domains of theoretical computer science: the theory of rational languages and the computational combinatorics. Finally, during the last session, participants will work on the mechanization of their specific research domain with the help of the pedagogical team of the school. * Registration To get more information and to register, please go to http://www.epit2015.website Registration deadline : April 30, 2015 You can register directly by following https://www.azur-colloque.fr/DR01/AzurInscription/?&iColId=19&NaiveForm_id=AzChoixColloque&btnAzurP=Preinscription&lang=en * Pedagogical committee - Pierre Letouzey (University Paris-Diderot) ; - Arthur Chargu?raud (INRIA) ; - Matthieu Sozeau (INRIA) ; - Damien Pous (CNRS) ; - Assia Mahboubi (INRIA) ; - Benjamin Gr?goire (INRIA). The school is organized by: - Pierre Letouzey (University Paris-Diderot) ; - Matthieu Sozeau (INRIA) ; - Yann R?gis-Gianas (University Paris-Diderot) ; - Pierre-Marie P?drot (University Paris-Diderot). If you need any information, please contact Yann R?gis-Gianas (yrg at pps.univ-paris-diderot.fr). -------------- next part -------------- An HTML attachment was scrubbed... URL: From Jeremy.Gibbons at cs.ox.ac.uk Wed Apr 22 12:50:34 2015 From: Jeremy.Gibbons at cs.ox.ac.uk (Jeremy Gibbons) Date: Wed, 22 Apr 2015 13:50:34 +0100 Subject: [Haskell] Associate Professorship in Data Science at Oxford (Continuing Education) Message-ID: <92A6267B-148A-4920-A2F9-F00B4F5DC2E9@cs.ox.ac.uk> ASSOCIATE PROFESSORSHIP IN DATA SCIENCE DEPARTMENT OF CONTINUING EDUCATION UNIVERSITY OF OXFORD Grade 36S: ?44,620 - ?59,914 p.a. (pro rata) The University is seeking to appoint an Associate Professor in Data Science, to commence in October 2015 or as soon as possible thereafter. The post will be held in the Department for Continuing Education, University of Oxford. The postholder will benefit from a fellowship at Linacre College. The successful candidate must have a doctorate in data science or a cognate field, with a proven high standard of expertise in data science and appropriate knowledge of computer science, demonstrable experience of teaching and organising data science or similar programmes at university level, a proven record of research and publication, including evidence of research grant activity, academic leadership ability in the field of data science, and experience of public engagement. The postholder will have the opportunity to contribute to a wide range of provision, as appropriate to their expertise, including directing and overseeing the department's current activity and future development this disciplinary area. The postholder will be Director of Studies in Data Science, responsible for the established and well-subscribed Advanced Diploma in Data and Systems Analysis, together with the open access programmes and day/weekend schools in computer science, and will also seek to develop short/online courses for professional groups, such as school teachers, and for the wider public. The Department for Continuing Education is the leading Continuing Education department in the UK. Committed to public engagement, the department is multidisciplinary and encourages interdisciplinary teaching and research. The closing date for applications is 12.00 noon on 11 May 2015. For more information, see https://www.ox.ac.uk/about/jobs/academic/index/ac17923j/ I would be very happy to answer any questions. Jeremy Jeremy.Gibbons at cs.ox.ac.uk Oxford University Department of Computer Science, Wolfson Building, Parks Road, Oxford OX1 3QD, UK. +44 1865 283521 http://www.cs.ox.ac.uk/people/jeremy.gibbons/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From bundala at berkeley.edu Thu Apr 23 09:05:30 2015 From: bundala at berkeley.edu (Daniel Bundala) Date: Thu, 23 Apr 2015 02:05:30 -0700 Subject: [Haskell] Extended Deadline (May 1), VSTTE'15 Message-ID: ********************************************************************** 7th Working Conference on Verified Software: Theories, Tools, and Experiments July 18 - 19, 2015 San Francisco, California, USA http://www.eecs.berkeley.edu/vstte15 Co-located with 25th Conference on Computer Aided Verification (http://i-cav.org/2015) ********************************************************************** Abstract submission: Extended to April 27, 2015 Full Paper Submission Deadline: Extended to May 1, 2015 SCOPE: The Seventh Working Conference on Verified Software: Theories, Tools, and Experiments follows a successful inaugural working conference at Zurich in 2005 followed by conferences in Toronto (2008), Edinburgh (2010), Philadelphia (2012), Atherton (2013), and Vienna (2014). The goal of this conference is to advance the state of the art in the science and technology of software verification, through the interaction of theory development, tool evolution, and experimental validation. We welcome submissions describing significant advances in the production of verified software, i.e., software that has been proved to meet its functional specifications. We are especially interested in submissions describing large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge. We welcome papers describing novel experiments and case studies evaluating verification techniques and technologies. Topics of interest include education, requirements modeling, specification languages, specification/verification case-studies, formal calculi, software design methods, automatic code generation, refinement methodologies, compositional analysis, verification tools (e.g., static analysis, dynamic analysis, model checking, theorem proving, satisfiability), tool integration, benchmarks, challenge problems, and integrated verification environments. PAPER SUBMISSION Papers will be evaluated by at least three members of the Program Committee. We are accepting both long (limited to 16 pages) and short (limited to 10 pages) paper submissions, written in English. Short submissions also cover Verification Pearls describing an elegant proof or proof technique. Submitted research papers and system descriptions must be original and not submitted for publication elsewhere. Research paper submissions must be in LNCS format and must include a cogent and self-contained description of the ideas, methods, results, and comparison to existing work. Submissions of theoretical, practical, and experimental contributions are equally encouraged, including those that focus on specific problems or problem domains. Papers should be submitted through: https://www.easychair.org/conferences/?conf=vstte2015. Submissions that arrive late, are not in the proper format, or are too long will not be considered. The post-conference proceedings of VSTTE 2015 will be published by Springer-Verlag in the LNCS series. Authors of accepted papers will be requested to sign a form transferring copyright of their contribution to Springer-Verlag. The use of LaTeX and the Springer LNCS class files, obtainable fromhttp://www.springer.de/comp/lncs/authors.html, is strongly encouraged. PUBLICATION Accepted papers will be published as post-Proceedings, to appear in Springer's Lectures Notes in Computer Science. IMPORTANT DATES: Abstract submission: Extended to April 27, 2015 Full paper submission: Extended to May 1, 2015 Notification: June 8, 2015 ORGANIZATION: General Chair: Martin Schaef (SRI International) Program Chairs: Arie Gurfinkel (Software Engineering Institute, Carnegie Mellon University) Sanjit A. Seshia (University of California, Berkeley) Publicity Chair: Daniel Bundala (University of California, Berkeley) PROGRAM COMMITTEE: Elvira Albert (Complutense University of Madrid) Nikolaj Bjorner (Microsoft Research) Evan Chang (University of Colorado, Boulder) Ernie Cohen (University of Pennsylvania) Jyotirmoy Deshmukh (Toyota) Jin Song Dong (National University of Singapore) Vijay D'Silva (Google) Vijay Ganesh (University of Waterloo) Alex Groce (Oregon State) Arie Gurfinkel (Software Engineering Institute, Carnegie Mellon University) (co-chair) Bill Harris (Georgia Institute of Technology) Chris Hawblitzel (Microsoft Research) Bart Jacobs (Katholieke Universiteit Leuven, Belgium) Susmit Jha (United Technologies) Rajeev Joshi (Laboratory for Reliable Software, Jet Propulsion Laboratory) Vladimir Klebanov, Karlsruhe Institute of Technology, DE Akash Lal (Microsoft Research India) Ruzica Piskac (Yale) Zvonimir Rakamaric (University of Utah) Kristin Yvonne Rozier (University of Cincinnati) Sanjit A. Seshia (UC Berkeley) (co-chair) Natarajan Shankar (SRI) Carsten Sinz (KIT) Nishant Sinha (IBM Research Labs) Alexander Summers (ETH Zurich) Zachary Tatlock (University of Washington) Sergey Tverdyshev (Sysgo AG) Arnaud Venet (CMU / NASA Ames Research Center) Karen Yorav (IBM Haifa Research Lab) ********************************************************************** Please contact vstte2015 at easychair.org for further information ********************************************************************** -------------- next part -------------- An HTML attachment was scrubbed... URL: From trevor.mcdonell at gmail.com Thu Apr 23 13:56:54 2015 From: trevor.mcdonell at gmail.com (Trevor McDonell) Date: Thu, 23 Apr 2015 13:56:54 +0000 Subject: [Haskell] CFP: FHPC 2015: Workshop on Functional High-Performance Computing [w/ICFP] Message-ID: Apologies if you receive this message more than once. ====================================================================== CALL FOR PAPERS FHPC 2015 The 4th ACM SIGPLAN Workshop on Functional High-Performance Computing Vancouver, British Columbia, Canada, Canada September 3, 2015 https://sites.google.com/site/fhpcworkshops/ Co-located with the International Conference on Functional Programming (ICFP 2015) Submission Deadline: Friday, 15 May, 2015 (anywhere on earth) ====================================================================== The FHPC workshop aims at bringing together researchers exploring uses of functional (or more generally, declarative or high-level) programming technology in application domains where high performance is essential. The aim of the meeting is to enable sharing of results, experiences, and novel ideas about how high-level, declarative specifications of computationally challenging problems can serve as maintainable and portable code that approaches (or even exceeds) the performance of machine-oriented imperative implementations. All aspects of performance critical programming and parallel programming are in-scope for the workshop, irrespective of hardware target. This includes both traditional large-scale scientific computing (HPC), as well as work targeting single node systems with SMPs, GPUs, FPGAs, or embedded processors. It is becoming apparent that radically new and well founded methodologies for programming such systems are required to address their inherent complexity and to reconcile execution performance with programming productivity. Proceedings: ============ Accepted papers will be published by the ACM and will appear in the ACM Digital Library. * Submissions due: Friday, 15 May, 2015 (anywhere on earth) * Author notification: Friday, 26 June, 2015 * Final copy due: Sunday, 19 July, 2015 Submitted papers must be in portable document format (PDF), formatted according to the ACM SIGPLAN style guidelines (2 column, 9pt format). See http://www.sigplan.org/authorInformation.htm for more information and style files. Typical papers are expected to be 8 pages (but up to four additional pages are permitted). Contributions to FHPC 2015 should be submitted via Easychair, at the following URL: * https://www.easychair.org/conferences/?conf=fhpc15 The submission site is now open. The FHPC workshops adhere to the ACM SIGPLAN policies regarding programme committee contributions and republication. Any paper submitted must adhere to ACM SIGPLAN's republication policy. PC member submissions are welcome, but will be reviewed to a higher standard. http://www.sigplan.org/Resources/Policies/Review http://www.sigplan.org/Resources/Policies/Republication Travel Support: =============== Student attendees with accepted papers can apply for a SIGPLAN PAC grant to help cover travel expenses. PAC also offers other support, such as for child-care expenses during the meeting or for travel costs for companions of SIGPLAN members with physical disabilities, as well as for travel from locations outside of North America and Europe. For details on the PAC programme, see its web page (http://www.sigplan.org/PAC.htm). Programme Committee: ==================== Tiark Rompf (co-chair) Purdue University, USA Geoffrey Mainland (co-chair) Drexel University, USA Kevin Brown Stanford University, USA James Cheney University of Edinburgh, UK Albert Cohen INRIA, France David Duke University of Leeds, UK Yukiyoshi Kameyama University of Tsukuba, Japan Gabriele Keller University of New South Wales, Australia Paul H J Kelly Imperial College London, UK Trevor L. Mcdonell Indiana University, USA Greg Michaelson Heriot-Watt University, UK Cosmin E. Oancea University of Copenhagen, Denmark Markus Pueschel ETH Zurich, Switzerland Sukyoung Ryu KAIST, Korea Alexander Slesarenko Huawei, Russia Josef Svenningsson Chalmers University of Technology, Sweden -------------- next part -------------- An HTML attachment was scrubbed... URL: From calimeri at mat.unical.it Thu Apr 23 21:29:36 2015 From: calimeri at mat.unical.it (Francesco Calimeri) Date: Thu, 23 Apr 2015 23:29:36 +0200 Subject: [Haskell] CfP LPNMR 2015: ***Last call***, registration closes in 33 hours Message-ID: [apologies for any cross-posting] Call for Papers --------------------------------------------------------------------------- 13th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2015 http://lpnmr2015.mat.unical.it/ Lexington, KY, USA September 27-30, 2015 (Collocated with the 4th Conference on Algorithmic Decision Theory 2015) --------------------------------------------------------------------------- AIMS AND SCOPE LPNMR 2015 is the thirteenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to the construction of systems for declarative programming and knowledge representation, as well as their use in practical applications. This edition of LPNMR will feature several workshops, a special session dedicated to the 6th ASP Systems Competition, and will be collocated with the 4th Algorithmic Decision Theory Conference, ADT 2015. Joint LPNMR-ADT Doctoral Consortium will be a part of the program. Authors are invited to submit papers presenting original and unpublished research on all aspects of non-monotonic approaches in logic programming and knowledge representation. We invite submissions of both long and short papers. TOPICS Conference topics include, but are not limited to: 1. Foundations of LPNMR Systems: * Semantics of new and existing languages; * Action languages, causality; * Relationships among formalisms; * Complexity and expressive power; * Inference algorithms and heuristics for LPNMR systems; * Extensions of traditional LPNMR languages such as new logical connectives or new inference capabilities; * Updates, revision, and other operations on LPNMR systems; * Uncertainty in LPNMR systems. 2. Implementation of LPNMR systems: * System descriptions, comparisons, evaluations; * Algorithms and novel techniques for efficient evaluation; * LPNMR benchmarks. 3. Applications of LPNMR: * Use of LPNMR in formalization of Commonsense Reasoning and other areas of KR; * LPNMR languages and algorithms in planning, diagnosis, argumentation, reasoning with preferences, decision making and policies; * Applications of LPNMR languages in data integration and exchange systems, software engineering and model checking; * Applications of LPNMR to linguistics, psychology, and other sciences * Integration of LPNMR systems with other computational paradigms; * Embedded LPNMR: Systems using LPNMR subsystems. SUBMISSION LPNMR 2015 welcomes submissions of long papers (13 pages) or short papers (6 pages) in the following categories: * Technical papers * System descriptions * Application descriptions The indicated number of pages includes title page, references and figures. All submissions will be peer-reviewed and accepted papers will appear in the conference proceedings published in the Springer-Verlag Lecture Notes in Artificial Intelligence (LNAI/LNCS) series. At least one author of each accepted paper is expected to register for the conference to present the work. Submissions must be formatted according to the Springer LNCS author instructions, http://www.springer.com/comp/lncs/Authors.html must be written in English, and present original research. Paper submission will be electronic through the LPNMR-15 Easychair site: https://www.easychair.org/conferences/?conf=lpnmr2015 Two best papers of general AI interest will be invited for rapid publication in the journal Artificial Intelligence - Journal - Elsevier. Two best papers with narrower logic programming focus will be invited for a rapid publication in the journal Theory and Practice of Logic Programming. MULTIPLE SUBMISSION POLICY LPNMR 2015 will not accept any paper which, at the time of submission, is under review or has already been published or accepted for publication in a journal or another conference. Authors are also required not to submit their papers elsewhere during LPNMR's review period. However, these restrictions do not apply to previous workshops with a limited audience and without archival proceedings. ASSOCIATED EVENTS WORKSHOPS - LPNMR 2015 will include specialized workshops to be held on September 27 prior to the main conference. Currently planned workshops include: - Grounding, Transforming, and Modularizing Theories with Variables Organizers: Marc Denecker, Tomi Janhunen Website: https://sites.google.com/site/gttv2015/ - Action Languages, Process Modeling, and Policy Reasoning Organizer: Joohyung Lee, Gail-Joon Ahn Website: https://sites.google.com/site/alpp2015/ - Natural Language Processing and Automated Reasoning Organizers: Marcello Balduccini, Ekaterina Ovchinnikova, Peter Schueller Website: https://sites.google.com/site/nlpar2015/ - Learning and Nonmonotonic Reasoning Organizers: Alessandra Russo and Alessandra Mileo Website: http://lnmr2015.insight-centre.org/ ASP COMPETITION - A special session dedicated to a discussion of the 6th ASP System Competition, including the methodology of the competition, benchmarks used, lessons learned and, most importantly, the results and the announcement of the winners. ALGORITHMIC DECISION THEORY (ADT) 2015 (collocated - same time and place) Algorithmic Decision Theory is a vibrant and growing area of research concerned with algorithmic aspects of problems arising in social choice and economics that involve optimal ways to aggregate preferences. The area abounds in hard computational problems and may be an axciting area of applications for ASP. The two conferences will seek ways to identify and promote synergies between their respective areas of focus. JOINT LPNMR-ADT DOCTORAL CONSORTIUM: co-Chairs: - Esra Erdem (LPNMR), Sabanci University, Turkey - Nick Mattei (ADT), NICTA, Australia More info: http://lpnmr2015.mat.unical.it/associated-events/adt-lpnmr-2015-doctoral-consortium COMPLIMENTARY MEMBERSHIP OFFER FOR CONFERENCE REGISTRANTS NEW TO AAAI LPNMR 2015 is pleased to acknowledge its cooperation with the Association for the Advancement of Artificial Intelligence (AAAI) [http://www.aaai.org], which will be publicizing the conference to its membership. Of special interest to conference attendees is an introductory membership offer from AAAI, which provides a complimentary 1-year online membership to conference participants who are new to AAAI. Please send a message to membership15 at aaai.org for further details. IMPORTANT DATES * Paper registration: April 24th, 2015, 23:59 PDT (*UPDATED*) * Paper submission: April 30th, 2015, 23:59 PDT (*UPDATED*) * Notification: June 1st, 2015 * Final versions due: June 15th, 2015 VENUE Lexington is a medium size, pleasant and quiet university town. It is located in the heart of the so-called Bluegrass Region in Central Kentucky. The city is surrounded by beautiful horse farms on green pastures dotted with ponds and traditional architecture stables, and small race tracks, and bordered by white or black fences. The Horse Museum is as beautifully located as it is interesting. Overall, the city has a nice feel that mixes well old and new. The conference will be held in the Hilton Lexington Downtown hotel. GENERAL CHAIR Victor Marek, University of Kentucky, KY, USA PROGRAM CHAIRS Giovambattista Ianni, University of Calabria, Italy Mirek Truszczynski, University of Kentucky, KY, USA WORKSHOPS CHAIR Yuliya Lierler, University of Nebrska at Omaha, NE, USA PUBLICITY CHAIR Francesco Calimeri, University of Calabria, Italy PROGRAM COMMITTEE Agostino Dovier, Universit? di Udine, Italy Agust?n Valverde, Universidad de M?laga, Spain Alessandra Mileo, National University of Ireland, Galway, INSIGHT Centre for Data Analytics, Ireland Andrea Formisano, Dip. di Matematica e Informatica, Universit? di Perugia, Italy Axel Polleres, Vienna University of Economics and Business, Austria Bart Bogaerts, Department of Computer Science, KU Leuven, Belgium Chiaki Sakama, Wakayama University, Japan Chitta Baral, Arizona State University, USA Christoph Redl, Vienna University of Technology, Austria Daniela Inclezan, Miami University, USA David Pearce, Universidad Polit?cnica de Madrid, Spain Emilia Oikarinen, Aalto University, Finland Enrico Pontelli, New Mexico State University, USA Esra Erdem, Sabanci University, Istanbul, Turkey Eugenia Ternovska, Simon Fraser University, Canada Fangkai Yang, Schlumberger Ltd Fangzhen Lin, Hong Kong University of Science and Technology, Hong Kong Francesco Calimeri, Universit? della Calabria, Italy Gerhard Brewka, Leipzig University, Germany Giovanni Grasso, Oxford University, UK Hannes Strass, Leipzig University, Germany Hans Tompits, Vienna University of Technology, Austria James Delgrande, Simon Fraser University, Canada Jia-Huai You, University of Alberta, Canada Joohyung Lee, Arizona State University, USA Jose Julio Alferes, Universidade Nova de Lisboa, Portugal Kewen Wang, Griffith University, Australia Marc Denecker, K.U.Leuven, Belgium Marcello Balduccini, Drexel University, USA Marina De Vos, University of Bath, UK Martin Gebser, Aalto University, Finland Matthias Knorr, NOVA-LINCS, Universidade Nova de Lisboa, Portugal Mauricio Osorio, Fundacion de la Universidad de las Americas, Puebla, Mexico Michael Fink, Vienna University of Technology, Austria Michael Gelfond, Texas Tech University, USA Orkunt Sabuncu, University of Potsdam, Germany Paul Fodor, Stony Brook University, USA Pedro Cabalar, University of Corunna, Spain Saadat Anwar, Arizona State University, USA Stefan Woltran, Vienna University of Technology Stefania Costantini, Dipartimento di Ingegneria e Scienze dell'Informazione, e Matematica, Univ. di L'Aquila, Italy Terrance Swift, CENTRIA, Universidade Nova de Lisboa, Portugal Thomas Eiter, Vienna University of Technology, Austria Tomi Janhunen, Aalto University, Finland Torsten Schaub, University of Potsdam, Germany Tran Cao Son, New Mexico State University, USA Vladimir Lifschitz, University of Texas at Austin, USA Wolfgang Faber, University of Huddersfield, UK Yi Zhou, University of Western Sydney, Australia Yisong Wang, Guizhou University, China Yuliya Lierler, University of Nebraska at Omaha, USA CONTACT lpnmr2015 at mat.unical.it From schoepp at tcs.ifi.lmu.de Thu Apr 23 21:42:17 2015 From: schoepp at tcs.ifi.lmu.de (=?UTF-8?B?VWxyaWNoIFNjaMO2cHA=?=) Date: Thu, 23 Apr 2015 23:42:17 +0200 Subject: [Haskell] LOLA 2015: Deadline extended to May 11 Message-ID: <55396739.4090508@tcs.ifi.lmu.de> CALL FOR TALK PROPOSALS ______________________________________________________________________ LOLA 2015: Syntax and Semantics of Low Level Languages Sunday, 5 July 2015, Kyoto, Japan A satellite workshop of ICALP/LICS http://lola15.tcs.ifi.lmu.de ______________________________________________________________________ /Important Dates/ Abstract submission: Monday, 11 May 2015 (extended) Author notification: Friday, 22 May 2015 (extended) LOLA 2015 workshop: Sunday, 5 July 2015 /Invited Speakers/ Nikos Tzevelekos, Queen Mary University of London, UK Katsuhiro Ueno, Tohoku University, Japan /Workshop Description/ It has been understood since the late 1960s that tools and structures arising in mathematical logic and proof theory can usefully be applied to the design of high level programming languages, and to the development of reasoning principles for such languages. Yet low level languages, such as machine code, and the compilation of high level languages into a low level ones have traditionally been seen as having little or no essential connection to logic. However, a fundamental discovery of this past decade has been that low level languages are also governed by logical principles. From this key observation has emerged an active and fascinating new research area at the frontier of logic and computer science. The practically-motivated design of logics reflecting the structure of low level languages (such as heaps, registers and code pointers) and low level properties of programs (such as resource usage) goes hand in hand with some of the most advanced contemporary research in semantics and proof theory, including classical realizability and forcing, double orthogonality, parametricity, linear logic, game semantics, uniformity, categorical semantics, explicit substitutions, abstract machines, implicit complexity and resource bounded programming. The LOLA workshop, affiliated with LICS 2015, will bring together researchers interested in many aspects of the relationship between logic and low level languages and programs. Topics of interest include, but are not limited to: - Typed assembly languages - Certified assembly programming - Certified and certifying compilation - Relaxed memory models - Proof-carrying code - Program optimization - Modal logic and realizability in machine code - Realizability and double orthogonality in assembly code - Parametricity, modules and existential types - General references, Kripke models and recursive types - Continuations and concurrency - Implicit complexity, sublinear programming and Turing machines - Closures and explicit substitutions - Linear logic and separation logic - Game semantics, abstract machines and hardware synthesis - Monoidal and premonoidal categories, traces and effects /Submission Information/ LOLA is an informal workshop aiming at a high degree of useful interaction amongst the participants, welcoming proposals for talks on work in progress, overviews of larger programmes, position presentations and short tutorials as well as more traditional research talks describing new results. The program committee will select the workshop presentations from submitted talk proposals, which may take the form either of a *two page abstract* or of a longer (published or unpublished) paper describing completed work. Abstracts can be submitted using EasyChair at https://www.easychair.org/conferences/?conf=lola2015 /Program Committee/ Ichiro Hasuo (University of Tokyo) Chung-Kil Hur (Seoul National University) Shin-ya Katsumata (RIMS, Kyoto University, co-chair) Damiano Mazza (CNRS, LIPN--University Paris 13) Magnus Myreen (University of Cambridge) Ulrich Schoepp (LMU Munich, co-chair) Nikhil Swamy (Microsoft Research, Redmond) Nicolas Tabareau (CNRS, INRIA) Noam Zeilberger (Microsoft Research--INRIA) -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 473 bytes Desc: OpenPGP digital signature URL: From semen at trygub.com Thu Apr 23 22:58:41 2015 From: semen at trygub.com (Semen Trygubenko / =?utf-8?B?0KHQtdC80LXQvSDQotGA0LjQs9GD0LHQtdC9?= =?utf-8?B?0LrQvg==?=) Date: Thu, 23 Apr 2015 23:58:41 +0100 Subject: [Haskell] Haskell Weekly News: Issue 326 In-Reply-To: <20150409225936.GA1070@inanna.trygub.com> References: <20150326222444.GA91822@inanna.trygub.com> <20150409225936.GA1070@inanna.trygub.com> Message-ID: <20150423225841.GA8001@inanna.trygub.com> New Releases darcs 2.10.0 New version of darcs is out packed with features and resolved issues. http://lists.osuosl.org/pipermail/darcs-users/2015-April/027119.html Stackage CLI This new tool helps to manage cabal files and share sandboxes. https://www.fpcomplete.com/blog/2015/04/announcing-stackage-cli Diagrams 1.3 Diagrams has switched from vector-space to linear for its linear algebra package, the internal representation of Measure has changed, a new Direction type has been added as well as a number of new transform isomorphisms (transformed, translated, movedTo, movedFrom and rotated) and new features, and two new backends ? PGF and HTML5. http://projects.haskell.org/diagrams/ https://wiki.haskell.org/Diagrams/Dev/Migrate1.3 Discussion Improving Hackage security by Duncan Coutts A TUF-based system is being designed and implemented that will significantly improve Hackage security. http://www.well-typed.com/blog/2015/04/improving-hackage-security/ http://theupdateframework.com/ Cartesian Closed Comic #26: IDE Should Haskell have an IDE (and if yes should it be web-based), or does it already have one? http://www.reddit.com/r/haskell/comments/334x2v/cartesian_closed_comic_26_ide/ https://ro-che.info/ccc/26 Two "camps" of Haskell programmers A comment by Tekmo. http://www.reddit.com/r/haskell/comments/33chyv/from_imperative_to_functional_programming_things/cqk34z6 What databases are most Haskellers using? It seems that PostgreSQL with persistent or postgresql-simple, and esqueleto for more complex queries. http://www.reddit.com/r/haskell/comments/33k8zx/what_databases_are_most_haskellers_using/ https://hackage.haskell.org/package/persistent http://hackage.haskell.org/package/esqueleto https://hackage.haskell.org/package/postgresql-simple Podcasts Episode 4: Stephanie Weirich on Zombie and Dependent Haskell "Zombie is a different kind of dependently typed language, eschewing automatic ?-reduction in the type checker for an approach based on explicit equality rewriting, which enables new ways of combining proofs and programs, as well as new forms of proof automation. Meanwhile, as languages designed for dependently typed programming come closer to practical applicability, Haskell is also moving towards full dependent types." http://typetheorypodcast.com/2015/04/episode-4-stephanie-weirich-on-zombie-and-dependent-haskell/ Quotes of the Week "My children are in IT, two of them ? both graduated from MIT. One of them browsed a book and said, ?Here, read this?. It said ?Haskell ? learn you a Haskell for great good?, and one day that will be my retirement reading." (Lee Hsien Loong) http://www.pmo.gov.sg/mediacentre/transcript-speech-prime-minister-lee-hsien-loong-founders-forum-smart-nation-singapore "Of course if darcs got the best of git, it's probably better than git now ;-)" (maxigit) http://www.reddit.com/r/haskell/comments/33646i/darcs_210_is_here_rebase_importexport_to_git/cqipao8 "Yes changesets and snaphosts are isomorphic, therefore being based on changesets can't be a selling point. (maxigit) But it can, because the tooling evolves around the philosophy shaped by the underlying structure. Can you get branches for free in git? Sure. Do you? Nope." (kqr) http://www.reddit.com/r/haskell/comments/33646i/darcs_210_is_here_rebase_importexport_to_git/cqiwqze "Leksah, Eclipse FP and various newer attempts are so ignored by everyone that they are not even in this Comic." (hamishmack) http://www.reddit.com/r/haskell/comments/334x2v/cartesian_closed_comic_26_ide/cqhvwuu "I don't actually want an IDE, but if I did, I'd want one that was free as in freedom, not free as in freemium." (get-your-shinebox) http://www.reddit.com/r/haskell/comments/334x2v/cartesian_closed_comic_26_ide/cqhst0l "[Type-level reasoning] is more powerful but entails a hard dependency on a computer. Equational reasoning using abstract algebra is more "portable"; you can easily do it in your head or with pencil and paper." (Tekmo) http://www.reddit.com/r/haskell/comments/334x2v/cartesian_closed_comic_26_ide/cqhst0l "? without strong typing or the sequestering of side effects that Haskell allows you, I felt really lost and confused as to why the hell anyone created a language that wasn't Haskell." (scientia_est_ars) http://www.reddit.com/r/haskell/comments/33chyv/from_imperative_to_functional_programming_things/cqkqps6 "More polymorphism generally restricts the implementation, allowing us to better predict it's behavior. It's a trade-off, like most programming decisions." (bss03) http://www.reddit.com/r/haskell/comments/33chyv/from_imperative_to_functional_programming_things/cqju96h "(cons cat (cons cat nil))" (Dmitry Ignatiev) https://twitter.com/lvsn/status/533685461957349376 -------------- next part -------------- A non-text attachment was scrubbed... Name: not available Type: application/pgp-signature Size: 181 bytes Desc: not available URL: From frantisek at farka.eu Fri Apr 24 17:46:44 2015 From: frantisek at farka.eu (Frantisek Farka) Date: Fri, 24 Apr 2015 18:46:44 +0100 Subject: [Haskell] Workshop on Type Inference, May 12 Message-ID: <20150424184644.68ccd1ac@farka.eu> Hello everyone, as the 12th of May is getting closer I would like to invite you yet again for the Workshop on Type Inference and Automated Proving at University of Dundee. Please send me an email if you wish to attend as described bellow. It helps us with organization. For those who have not decided yet, I am please to announce that we have one more speaker - Conor McBride will give a (revolutionary?) talk. Best regards, Frantisek Farka The Theory of Computation group at the University of Dundee invites you for the ********************************************************************* WORKSHOP ON TYPE INFERENCE AND AUTOMATED PROVING Tuesday the 12th of May, 12PM to 6PM School Of Computing, University of Dundee http://staff.computing.dundee.ac.uk/frantisekfarka/tiap/ ********************************************************************* Refreshments have been kindly funded by SICSA and will be available from 12:00, with talks beginning at 12:45. For the detailed programme please see the above website. Talks: Tom Schrijvers (Katholieke Universiteit Leuven) GADTs Meet Their Match: Pattern-matching Warnings that Account for GADTs, Guards, and Laziness Bob Atkey (University of Strathclyde) An Algebraic Approach to Typechecking and Elaboration Edwin Brady (University of St Andrews) Implementing a Dependently Typed Programming Language Peng Fu (University if Dundee) Nontermination Analysis for Evidence Construction in Type Class Inference Adam Gundry (Well-Typed LLP) A Typechecker Plugin for Units of Measure: Domain-specific Constraint Solving in GHC Haskell Katya Komendantskaya (University of Dundee) Structural Resolution and Universal Productivity Checker J. Garrett Morris (University of Edinburgh) Substructural Types with Class Connor McBride (University of Strathclyde) Type Inference needs Revolution After the talks we plan to continue the discussion at the nearby Duke's Corner bar and then go for dinner, place is yet to be announced but in the walking distance from both Seagate bus station and Dundee railway station. Please let us know if you are coming by either replying to this email, or by contacting me at ffarka at dundee.ac.uk If possible please indicate whether you wish to join us for dinner. From heraldhoi at gmail.com Sat Apr 25 12:43:06 2015 From: heraldhoi at gmail.com (Geraldus) Date: Sat, 25 Apr 2015 12:43:06 +0000 Subject: [Haskell] Haskell Digest, Vol 140, Issue 20 In-Reply-To: References: Message-ID: Will be a video record of talks available? Very interesting stuff, but there is no chance for me to present. ??, 25 ???. 2015 ?. ? 17:02, : > Send Haskell mailing list submissions to > haskell at haskell.org > > To subscribe or unsubscribe via the World Wide Web, visit > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell > or, via email, send a message with subject or body 'help' to > haskell-request at haskell.org > > You can reach the person managing the list at > haskell-owner at haskell.org > > When replying, please edit your Subject line so it is more specific > than "Re: Contents of Haskell digest..." > > > Today's Topics: > > 1. Workshop on Type Inference, May 12 (Frantisek Farka) > > > ---------------------------------------------------------------------- > > Message: 1 > Date: Fri, 24 Apr 2015 18:46:44 +0100 > From: Frantisek Farka > To: spls at dcs.gla.ac.uk, haskell at haskell.org > Subject: [Haskell] Workshop on Type Inference, May 12 > Message-ID: <20150424184644.68ccd1ac at farka.eu> > Content-Type: text/plain; charset=US-ASCII > > Hello everyone, > > as the 12th of May is getting closer I would like to invite you > yet again for the Workshop on Type Inference and Automated Proving > at University of Dundee. > > Please send me an email if you wish to attend as described bellow. > It helps us with organization. > > For those who have not decided yet, I am please to announce that > we have one more speaker - Conor McBride will give a (revolutionary?) > talk. > > Best regards, > Frantisek Farka > > > The Theory of Computation group at the University of Dundee invites > you for the > > ********************************************************************* > > WORKSHOP ON TYPE INFERENCE AND AUTOMATED PROVING > > Tuesday the 12th of May, 12PM to 6PM > School Of Computing, > University of Dundee > > http://staff.computing.dundee.ac.uk/frantisekfarka/tiap/ > > ********************************************************************* > > Refreshments have been kindly funded by SICSA and will be available > from 12:00, with talks beginning at 12:45. For the detailed programme > please see the above website. > > Talks: > > Tom Schrijvers (Katholieke Universiteit Leuven) > GADTs Meet Their Match: Pattern-matching Warnings that > Account for GADTs, Guards, and Laziness > > Bob Atkey (University of Strathclyde) > An Algebraic Approach to Typechecking and Elaboration > > Edwin Brady (University of St Andrews) > Implementing a Dependently Typed Programming Language > > Peng Fu (University if Dundee) > Nontermination Analysis for Evidence Construction in Type > Class Inference > > Adam Gundry (Well-Typed LLP) > A Typechecker Plugin for Units of Measure: Domain-specific > Constraint Solving in GHC Haskell > > Katya Komendantskaya (University of Dundee) > Structural Resolution and Universal Productivity Checker > > J. Garrett Morris (University of Edinburgh) > Substructural Types with Class > > Connor McBride (University of Strathclyde) > Type Inference needs Revolution > > > After the talks we plan to continue the discussion at the nearby > Duke's Corner bar and then go for dinner, place is yet to be > announced but in the walking distance from both Seagate bus station > and Dundee railway station. > > Please let us know if you are coming by either replying to this email, > or by contacting me at ffarka at dundee.ac.uk > > If possible please indicate whether you wish to join us for dinner. > > > ------------------------------ > > Subject: Digest Footer > > _______________________________________________ > Haskell mailing list > Haskell at haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell > > > ------------------------------ > > End of Haskell Digest, Vol 140, Issue 20 > **************************************** > -------------- next part -------------- An HTML attachment was scrubbed... URL: From erdweg at informatik.tu-darmstadt.de Mon Apr 27 09:21:23 2015 From: erdweg at informatik.tu-darmstadt.de (Sebastian Erdweg) Date: Mon, 27 Apr 2015 11:21:23 +0200 Subject: [Haskell] Final CFP: Workshop on Generic Programming 2015 - Deadline May 15 Message-ID: ====================================================================== CALL FOR PAPERS WGP 2015 11th ACM SIGPLAN Workshop on Generic Programming Vancouver, Canada Sunday, August 30, 2015 http://www.wgp-sigplan.org/2015 Co-located with the International Conference on Functional Programming (ICFP 2015) ====================================================================== Goals of the workshop --------------------- Generic programming is about making programs more adaptable by making them more general. Generic programs often embody non-traditional kinds of polymorphism; ordinary programs are obtained from them by suitably instantiating their parameters. In contrast with normal programs, the parameters of a generic program are often quite rich in structure; for example they may be other programs, types or type constructors, class hierarchies, or even programming paradigms. Generic programming techniques have always been of interest, both to practitioners and to theoreticians, and, for at least 20 years, generic programming techniques have been a specific focus of research in the functional and object-oriented programming communities. Generic programming has gradually spread to more and more mainstream languages, and today is widely used in industry. This workshop brings together leading researchers and practitioners in generic programming from around the world, and features papers capturing the state of the art in this important area. We welcome contributions on all aspects, theoretical as well as practical, of * generic programming, * programming with (C++) concepts, * meta-programming, * programming with type classes, * programming with modules, * programming with dependent types, * type systems for generic programming, * polytypic programming, * adaptive object-oriented programming, * component-based programming, * strategic programming, * aspect-oriented programming, * family polymorphism, * object-oriented generic programming, * implementation of generic programming languages, * static and dynamic analyses of generic programs, * and so on. Program Committee ----------------- * Patrick Bahr (co-chair), University of Copenhagen * Sebastian Erdweg (co-chair), Technical University of Darmstadt * Edwin Brady, University of St Andrews * Edsko de Vries, Well-Typed LLP * Mauro Jaskelioff, National University of Rosario * Johan Jeuring, Utrecht University * Pieter Koopman, Radboud University Nijmegen * Bruno C. d. S. Oliveira, University of Hong Kong * Nicolas Pouillard, IT University of Copenhagen * Sukyoung Ryu, Korea Advanced Institute of Science and Technology * Sibylle Schupp, Hamburg University of Technology * Sam Tobin-Hochstadt, Indiana University Proceedings and Copyright ------------------------- We plan to have formal proceedings, published by the ACM. Accepted papers will be included in the ACM Digital Library. Authors must grant ACM publication rights upon acceptance (http://authors.acm.org/main.html), but may retain copyright if they wish. Authors are encouraged to publish auxiliary material with their paper (source code, test data, and so forth). The proceedings will be freely available for download from the ACM Digital Library from one week before the start of the conference until two weeks after the conference. Submission details ------------------ * Submission deadline: Fri, 15th May 2015 * Author notification: Fri, 26th June 2015 * Final version due: Sun, 19th July 2015 * Workshop: Sun, 30th August 2015 Submitted papers should fall into one of two categories: * Regular research papers (12 pages) * Short papers: case studies, tool demos, generic pearls (6 pages) Regular research papers are expected to present novel and interesting research results. Short papers need not present novel or fully polished results. Good candidates for short papers are those that report on interesting case studies of generic programming in open source or industry, present demos of generic programming tools or libraries, or discuss elegant and illustrative uses of generic programming ('pearls'). All submissions should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines (two-column, 9pt). Regular research papers must not exceed 12 pages. Short papers must not exceed 6 pages. If applicable, papers should be marked with one of the labels 'case study, 'tool demo' or 'generic pearl' in the title at the time of submission. Papers should be submitted via HotCRP at https://icfp-wgp15.hotcrp.com/ Travel Support -------------- Student attendees with accepted papers can apply for a SIGPLAN PAC grant to help cover travel expenses. PAC also offers other support, such as for child-care expenses during the meeting or for travel costs for companions of SIGPLAN members with physical disabilities, as well as for travel from locations outside of North America and Europe. For details on the PAC program, see its web page (http://www.sigplan.org/PAC.htm). History of the Workshop on Generic Programming ---------------------------------------------- Earlier Workshops on Generic Programming have been held in * Gothenburg, Sweden 2014 (affiliated with ICFP), * Boston, Massachusetts, US 2013 (affiliated with ICFP), * Copenhagen, Denmark 2012 (affiliated with ICFP), * Tokyo, Japan 2011 (affiliated with ICFP), * Baltimore, Maryland, US 2010 (affiliated with ICFP), * Edinburgh, UK 2009 (affiliated with ICFP), * Victoria, BC, Canada 2008 (affiliated with ICFP), * Portland 2006 (affiliated with ICFP), * Ponte de Lima 2000 (affiliated with MPC), * Marstrand 1998 (affiliated with MPC). Furthermore, there were a few informal workshops * Utrecht 2005 (informal workshop), * Dagstuhl 2002 (IFIP WG2.1 Working Conference), * Nottingham 2001 (informal workshop). There were also (closely related) DGP workshops in Oxford (June 3-4 2004), and a Spring School on DGP in Nottingham (April 24-27 2006, which had a half-day workshop attached). WGP Steering Committee ---------------------- * Andres L?h * Ronald Garcia * Jacques Carette * Jeremiah Willcock * Jos? Pedro Magalh?es * Tiark Rompf * Tarmo Uustalo * Stephanie Weirich * Fritz Henglein From oleg at okmij.org Mon Apr 27 11:02:03 2015 From: oleg at okmij.org (oleg at okmij.org) Date: Mon, 27 Apr 2015 07:02:03 -0400 (EDT) Subject: [Haskell] [ANN] FLOPS CFP 2016 Message-ID: <20150427110203.25328C3856@www1.g3.pair.com> FLOPS 2016: 13th International Symposium on Functional and Logic Programming March 3-6, 2016, Kochi, Japan Call For Papers http://www.info.kochi-tech.ac.jp/FLOPS2016/ Writing down detailed computational steps is not the only way of programming. The alternative, being used increasingly in practice, is to start by writing down the desired properties of the result. The computational steps are then (semi-)automatically derived from these higher-level specifications. Examples of this declarative style include functional and logic programming, program transformation and re-writing, and extracting programs from proofs of their correctness. FLOPS aims to bring together practitioners, researchers and implementors of the declarative programming, to discuss mutually interesting results and common problems: theoretical advances, their implementations in language systems and tools, and applications of these systems in practice. The scope includes all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming. FLOPS specifically aims to promote cross-fertilization between theory and practice and among different styles of declarative programming. Scope FLOPS solicits original papers in all areas of the declarative programming: * functional, logic, functional-logic programming, re-writing systems, formal methods and model checking, program transformations and program refinements, developing programs with the help of theorem provers or SAT/SMT solvers; * foundations, language design, implementation issues (compilation techniques, memory management, run-time systems), applications and case studies. FLOPS promotes cross-fertilization among different styles of declarative programming. Therefore, submissions must be written to be understandable by the wide audience of declarative programmers and researchers. Submission of system descriptions and declarative pearls are especially encouraged. Submissions should fall into one of the following categories: * Regular research papers: they should describe new results and will be judged on originality, correctness, and significance. * System descriptions: they should contain a link to a working system and will be judged on originality, usefulness, and design. * Declarative pearls: new and excellent declarative programs or theories with illustrative applications. System descriptions and declarative pearls must be explicitly marked as such in the title. Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted. See also ACM SIGPLAN Republication Policy. The proceedings will be published by Springer International Publishing in the Lecture Notes in Computer Science (LNCS) series, as a printed volume as well as online in the digital library SpringerLink. Post-proceedings: The authors of 4-7 best papers will be invited to submit the extended version of their FLOPS paper to a special issue of the journal Science of Computer Programming (SCP). Important dates Monday, September 14, 2015 (any time zone): Submission deadline Monday, November 16, 2015: Author notification March 3-6, 2016: FLOPS Symposium March 7-9, 2016: PPL Workshop Submission Submissions must be written in English and can be up to 15 pages long including references, though pearls are typically shorter. The formatting has to conform to Springer's guidelines. Regular research papers should be supported by proofs and/or experimental results. In case of lack of space, this supporting information should be made accessible otherwise (e.g., a link to a Web page, or an appendix). Papers should be submitted electronically at https://easychair.org/conferences/?conf=flops2016 Program Committee Andreas Abel Gothenburg University, Sweden Lindsay Errington USA Makoto Hamana Gunma University, Japan Michael Hanus CAU Kiel, Germany Jacob Howe City University London, UK Makoto Kanazawa National Institute of Informatics, Japan Andy King University of Kent, UK (PC Co-Chair) Oleg Kiselyov Tohoku University, Japan (PC Co-Chair) Hsiang-Shang Ko National Institute of Informatics, Japan Julia Lawall Inria-Whisper, France Andres L?h Well-Typed LLP, UK Anil Madhavapeddy Cambridge University, UK Jeff Polakow PivotCloud, USA Marc Pouzet ?cole normale sup?rieure, France V?tor Santos Costa Universidade do Porto, Portugal Tom Schrijvers KU Leuven, Belgium Zoltan Somogyi Australia Alwen Tiu Nanyang Technological University, Singapore Sam Tobin-Hochstadt Indiana University, USA Hongwei Xi Boston University, USA Neng-Fa Zhou CUNY Brooklyn College and Graduate Center, USA Organizers Andy King University of Kent, UK (PC Co-Chair) Oleg Kiselyov Tohoku University, Japan (PC Co-Chair) Yukiyoshi Kameyama University of Tsukuba, Japan (General Chair) Kiminori Matsuzaki Kochi University of Technology, Japan (Local Chair) flops2016 at logic.cs.tsukuba.ac dot jp From gershomb at gmail.com Mon Apr 27 17:20:14 2015 From: gershomb at gmail.com (Gershom B) Date: Mon, 27 Apr 2015 13:20:14 -0400 Subject: [Haskell] ANN: New Haskell.org Committee Members Message-ID: Following the self-nomination period and discussion, the Haskell.org committee has selected new members: * Edward Kmett (reappointment) * Ryan Trinkle * John Wiegley As per the rules of the committee, this discussion was held among the current members of the committee, and the outgoing members of the committee who were not seeking reappointment. Thank you to all candidates who submitted a self-nomination. All of the nominations we received were very strong, and we would encourage all those who nominated themselves to consider self-nominating again in the future. We would also like to thank our two outgoing members, Jason Dagit and Brent Yorgey, for their service. Cheers, Gershom -------------- next part -------------- An HTML attachment was scrubbed... URL: From ekmett at gmail.com Mon Apr 27 21:17:40 2015 From: ekmett at gmail.com (Edward Kmett) Date: Mon, 27 Apr 2015 17:17:40 -0400 Subject: [Haskell] [haskell.org Google Summer of Code] 18 Projects Accepted Message-ID: I'd like to thank everyone for helping us to get the largest Google Summer of Code we've ever had for haskell.org off the ground! We have 18 accepted projects this year, spanning the entire ecosystem. You can find the official list on: https://www.google-melange.com/gsoc/org2/google/gsoc2015/haskell The most notable change this year is that in addition to the usual stable full of cabal tweaks (3 projects this year), and other infrastructure and library changes and the odd darcs project here and there (1 project), we also took it upon ourselves to act as an umbrella organization for purescript (2 projects). * I'd like to thank Johan Tibell for helping us get our ideas organized, and the /r/haskell moderators for leaving the brainstorming page "stickied" for the duration. It rather dramatically improved both the quantity and the quality of proposals we received. After I put out a call for additional mentoring help, we had 44 mentors step up to offer to help this time around, showing that we still have capacity to grow in years to come. Thank you all for putting in the time to help rank proposals and for your continued efforts over this summer. I'd also like to thank Shachaf Ben-Kiki and Gershom Bazerman for helping out with the administration side of things. Now we are entering what Google calls the "Community Bonding" period. Students officially start coding May 25th. Please feel free to reach out to me if you have any questions or concerns. -Edward Kmett haskell.org Google Summer of Code Administrator * Purescript and Darcs proposals went into the same pool as everyone else this year without earmarking. -------------- next part -------------- An HTML attachment was scrubbed... URL: From maciej.pirog at cs.ox.ac.uk Mon Apr 27 23:16:37 2015 From: maciej.pirog at cs.ox.ac.uk (Maciej Pirog) Date: Tue, 28 Apr 2015 00:16:37 +0100 Subject: [Haskell] MPC 2015 - Call For Participation Message-ID: CALL FOR PARTICIPATION 12th International Conference on Mathematics of Program Construction (MPC 2015) K?nigswinter, Germany, 29 June - 1 July 2015 http://www.cs.ox.ac.uk/conferences/MPC2015/ Early registration deadline: *** 29 May 2015 *** Hotel rooms reserved until: *** 29 May 2015 *** BACKGROUND The MPC conferences aim to promote the development of mathematical principles and techniques that are demonstrably practical and effective in the process of constructing computer programs, broadly interpreted. VENUE The conference will take place in K?nigswinter, Maritim Hotel, where accommodation has been reserved. K?nigswinter is situated on the right bank of the river Rhine, opposite Germany's former capital Bonn, at the foot of the Siebengebirge. REGISTRATION To register for the conference send an email to mpc2015 at online.de stating your name and affiliation. We will then provide further details, including hotel booking. You can also use the email address for any queries you might have. The early registration fee for the conference is 375 Euros if you pay via bank transfer and 385 Euros if you pay using PayPal. The early registration deadline is 29 May 2015; after this point, the registration fee rises to 425 Euros (bank transfer) and 435 Euros (PayPal). We have a block booking of rooms at the conference hotel at a special reduced rate, but only until 29th May 2015; after this point, the rooms will be released and the special rate unavailable. INVITED SPEAKERS * Carroll Morgan, University of New South Wales (Link http://www.cse.unsw.edu.au/~carrollm/) "A nondeterministic lattice of information" * Torsten Grust, Universit?t T?bingen (Link http://db.inf.uni-tuebingen.de/team/TorstenGrust.html) "A Compilation of Compliments for a Compelling Companion: the Comprehension" ACCEPTED PAPERS * "Exploring an Interface Model for CKA" Bernhard M?ller and Tony Hoare * "On Rely-Guarantee Reasoning" Stephan Van Staden * "A Relation-Algebraic Approach to Multirelations and Predicate Transformers" Rudolf Berghammer and Walter Guttmann * "Preference Decomposition and the Expressiveness of Preference Query Languages" Patrick Roocks * "Hierarchy in Generic Programming Libraries" Jos? Pedro Magalh?es and Andres L?h * "Polynomial Functors Constrained by Regular Expressions" Dan Piponi and Brent Yorgey * "A Program Construction and Verification Tool for Separation Logic" Brijesh Dongol, Victor B. F. Gomes, and Georg Struth * "Calculating Certified Compilers for Non-Deterministic Languages" Patrick Bahr * "Notions of Bidirectional Computation and Entangled State Monads" Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, and Perdita Stevens * "A clear picture of lens laws" Sebastian Fischer, Zhenjiang Hu, and Hugo Pacheco * "Regular Varieties of Automata and Coequations" Julian Salamanca, Jan Rutten, Marcello Bonsangue, Enric Cosme-Ll?pez, and Adolfo Ballester-Bolinches * "Column-wise Extendible Vector Expressions and the Relational Computation of Sets of Sets" Rudolf Berghammer * "Turing-Completeness Totally Free" Conor McBride * "Auto in Agda: Programming proof search using reflection" Pepijn Kokke and Wouter Swierstra * "Fusion for Free: Efficient Algebraic Effect Handlers" Nicolas Wu and Tom Schrijvers PROGRAMME COMMITTEE Ralf Hinze University of Oxford, UK (chair) Eerke Boiten University of Kent, UK Jules Desharnais Universit? Laval, Canada Lindsay Groves Victoria University of Wellington, New Zealand Zhenjiang Hu National Institute of Informatics, Japan Graham Hutton University of Nottingham, UK Johan Jeuring Utrecht University and Open University, The Netherlands Jay McCarthy Vassar College, US Bernhard M?ller Universit?t Augsburg, Germany Shin-Cheng Mu Academia Sinica, Taiwan Dave Naumann Stevens Institute of Technology, US Pablo Nogueira Universidad Polit?cnica de Madrid, Spain Ulf Norell University of Gothenburg, Sweden Bruno C. d. S. Oliveira The University of Hong Kong, Hong Kong Jos? Nuno Oliveira Universidade do Minho, Portugal Alberto Pardo Universidad de la Rep?blica, Uruguay Christine Paulin-Mohring INRIA-Universit? Paris-Sud, France Tom Schrijvers KU Leuven, Belgium Emil Sekerinski McMaster University, Canada Tim Sheard Portland State University, US Anya Tafliovich University of Toronto Scarborough, Canada Tarmo Uustalu Institute of Cybernetics, Estonia Janis Voigtl?nder Universit?t Bonn, Germany LOCAL ORGANIZERS Ralf Hinze University of Oxford, UK (co-chair) Janis Voigtl?nder Universit?t Bonn, Germany (co-chair) Jos? Pedro Magalh?es Standard Chartered Bank, UK Maciej Pir?g University of Oxford, UK Nicolas Wu University of Bristol, UK For queries about local matters, please write to jv at informatik.uni-bonn.de. From johan.tibell at gmail.com Tue Apr 28 07:08:15 2015 From: johan.tibell at gmail.com (Johan Tibell) Date: Tue, 28 Apr 2015 09:08:15 +0200 Subject: [Haskell] [haskell.org Google Summer of Code] 18 Projects Accepted In-Reply-To: References: Message-ID: Thanks a lot Edward, Shachaf, and Gershom for organizing. On Mon, Apr 27, 2015 at 11:17 PM, Edward Kmett wrote: > I'd like to thank everyone for helping us to get the largest Google Summer > of Code we've ever had for haskell.org off the ground! We have 18 > accepted projects this year, spanning the entire ecosystem. You can find > the official list on: > > https://www.google-melange.com/gsoc/org2/google/gsoc2015/haskell > > The most notable change this year is that in addition to the usual stable > full of cabal tweaks (3 projects this year), and other infrastructure and > library changes and the odd darcs project here and there (1 project), we > also took it upon ourselves to act as an umbrella organization for > purescript (2 projects). * > > I'd like to thank Johan Tibell for helping us get our ideas organized, and > the /r/haskell moderators for leaving the brainstorming page "stickied" for > the duration. It rather dramatically improved both the quantity and the > quality of proposals we received. > > After I put out a call for additional mentoring help, we had 44 mentors > step up to offer to help this time around, showing that we still have > capacity to grow in years to come. Thank you all for putting in the time to > help rank proposals and for your continued efforts over this summer. > > I'd also like to thank Shachaf Ben-Kiki and Gershom Bazerman for helping > out with the administration side of things. > > Now we are entering what Google calls the "Community Bonding" period. > Students officially start coding May 25th. > > Please feel free to reach out to me if you have any questions or concerns. > > -Edward Kmett > haskell.org Google Summer of Code Administrator > > * Purescript and Darcs proposals went into the same pool as everyone else > this year without earmarking. > > _______________________________________________ > Haskell mailing list > Haskell at haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell > > -------------- next part -------------- An HTML attachment was scrubbed... URL: From villaret at ima.udg.edu Thu Apr 30 10:59:20 2015 From: villaret at ima.udg.edu (Mateu Villaret) Date: Thu, 30 Apr 2015 12:59:20 +0200 Subject: [Haskell] LAST CFP: UNIF 2015 In-Reply-To: <54BFB93B.7010005@ima.udg.edu> References: <54BFB93B.7010005@ima.udg.edu> Message-ID: <55420B08.4000803@ima.udg.edu> ========================================================== Call for Papers UNIF 2015 The 29th International Workshop on Unification June 28, 2015. Warsaw, Poland http://rdp15.mimuw.edu.pl/index.php?site=unif ********* part of the Federated Conference on Rewriting, Deduction, and Programming (RDP'15) ========================================================== UNIF 2015 is the 29th event in a series of international meetings devoted to unification theory and its applications. Unification is concerned with the problem of identifying terms, finding solutions for equations, or making formulas equivalent. It is a fundamental process used in a number of fields of computer science, including automated reasoning, term rewriting, logic programming, natural language processing, program analysis, types, etc. The International Workshop on Unification (UNIF) is a yearly forum for researchers in unification theory and related fields to meet old and new colleagues, to present recent (even unfinished) work, and to discuss new ideas and trends. It is also a good opportunity for young researchers and scientists working in related areas to get an overview of the current state of the art in unification theory. Topics of Interest ------------------ A non-exhaustive list of topics of interest include: - Unification algorithms, calculi and implementations - Equational unification and unification modulo theories - Unification in modal, temporal and description logics - Admissibility of inference rules - Narrowing - Matching algorithms - Constraint solving - Combination problems - Disunification - Higher-Order unification - Type checking and reconstruction - Typed unification - Complexity issues - Query answering - Implementation techniques - Applications of unification - Antiunification/Generalization Submission ---------- Following the tradition of UNIF, we call for submissions of abstracts (5 pages) in EasyChair style, to be submitted electronically as PDF files through the EasyChair submission site: https://easychair.org/conferences/?conf=unif2015 Abstracts will be evaluated by the Programme Committee (if necessary with support from external reviewers) regarding their significance for the workshop. Accepted abstracts will be presented at the workshop and included in the informal proceedings of the workshop, available in printed form at the workshop and in electronic form from the UNIF homepage: http://www.pps.jussieu.fr/~treinen/unif/ Based on the number and quality of submissions we will decide whether to organize a special journal issue. Important Dates --------------- * Paper Submission: May 3, 2015 * Notification of Acceptance: May 31, 2015 * Final version: June 7, 2015 * Conference: June 28, 2015 Programme Committee ------------------- * Franz Baader, TU Dresden, Germany * Santiago Escobar, Universitat Politecnica de Valencia, Spain (co-chair) * Adria Gascon, SRI international, USA * Silvio Ghilardi, Universita di Milano, Italy * Artur Jez, MPI, Germany * Temur Kutsia, RISC, Johannes Kepler University Linz, Austria * Jordi Levy, IIIA-CSIC, Spain * Christopher Lynch, Clarkson University, USA * George Metcalfe, University of Bern, Switzerland * Paliath Narendran, University at Albany-SUNY, USA * Jan Otop, IST, Austria * Christophe Ringeissen, LORIA-INRIA Lorraine, France * Manfred Schmidt-Schauss, Goethe-University Frankfurt, Germany * Mateu Villaret, Universitat de Girona, Spain (co-chair) For more information, please contact any of the two chairs Santiago Escobar or Mateu Villaret.