February 2014 - Haskell

Google Summer of Code | Haskell.org
by Narendra Joshi 10 Feb '14

10 Feb '14

Hi there! Is haskell.org participating in this year's GSoC? -- narendra

2 1

[ANN] yocto-1.0.1
by Alvaro J. Genial 10 Feb '14

10 Feb '14

Howdy, `yocto`, a minimal JSON parser & printer, is now feature complete, documented and tested: http://hackage.haskell.org/package/yocto-1.0.1 >From the CHANGELOG: - Removed `Read` & `Show` instances in favor of `decode` & `encode`. - Added `QuickCheck`-based test suite. - Fixed decoding of numbers between -1 and 1. - Added error check for trailing (unparsed) input. Anyway, I hope you find it useful; the code lives here: https://github.com/ajg/yocto Alvaro http://alva.ro

1 0

Oregon Programming Languages Summer School, 2014
by Amal Ahmed 10 Feb '14

10 Feb '14

We are pleased to announce the preliminary program for the 13th annual Oregon Programming Languages Summer School (OPLSS) to be held June 16th to 28th, 2014 at the University of Oregon in Eugene. The registration deadline will be April 14th, 2014. This year's program is titled Types, Logic, Semantics, and Verification and features the following speakers: Andrew Appel -- Software Verification Princeton University Lars Birkedal -- Category Theory Aarhus University Derek Dreyer -- Modular Reasoning about Stateful Programs Max Planck Institute for Software Systems Robert Harper -- Type Theory Foundations Carnegie Mellon University Greg Morrisett -- Certified Programming and State Harvard University Ulf Norell -- Programming in Agda Chalmers University of Technology Brigitte Pientka -- Proof Theory Foundations McGill University Stephanie Weirich -- Designing Dependently-Typed Programming Languages University of Pennsylvania Steve Zdancewic -- Software Foundations in Coq University of Pennsylvania Full information on registration and scholarships will be available shortly at: http://www.cs.uoregon.edu/Activities/summerschool/summer14/ . Amal Ahmed Greg Morrisett

1 0

ETAPS 2014 call for participation
by Tarmo Uustalu 06 Feb '14

06 Feb '14

To notice: - The programme of the main conferences of ETAPS 2014 is on the web. - Early registration is until Friday, 14 February 2014. ****************************************************************** CALL FOR PARTICIPATION ETAPS 2014 17th European Joint Conferences on Theory And Practice of Software Grenoble, France, 5-13 April 2014 http://www.etaps.org/2014 ****************************************************************** -- ABOUT ETAPS -- The European Joint Conferences on Theory And Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of six main annual conferences, accompanied by satellite workshops. ETAPS 2014 is already the seventeenth event in the series. -- MAIN CONFERENCES (7-11 April) -- * CC: Compiler Construction * ESOP: European Symposium on Programming * FASE: Fundamental Approaches to Software Engineering * FOSSACS: Foundations of Software Science and Computation Structures * POST: Principles of Security and Trust * TACAS: Tools and Algorithms for the Construction and Analysis of Systems -- INVITED TALKS -- * Unifying speakers: John Launchbury (Galois, US) Geoffrey Smith (Florida International University, US) * CC invited speaker: Benoit Dupont de Dinechin (Kalray, France) * ESOP invited speaker: Maurice Herlihy (Brown University, US) * FASE invited speaker: Christel Baier (Technical University of Dresden, Germany) * FoSSaCS invited speaker: Petr Jancar (Technical Univ of Ostrava, Czech Republic) * POST invited speaker: David Mazières (Stanford University, US) * TACAS invited speaker: Orna Kupferman (Hebrew University Jerusalem, Israel) -- TUTORIALS * Andy Gordon (Microsoft Research, Cambridge, UK) * Bernd Finkbeiner (Univ des Saarlandes, Germany) -- CONTRIBUTED PAPERS See the accepted paper lists and the programme of the main conferences at the conference website. -- SATELLITE EVENTS (5-6 and 12-13 April) -- 23 satellite workshops will take place before or after ETAPS 2014. CMCS, DICE, F-IDE, Graphite, GT-VMT, MBT, MEALS, RePP, Sifakis event, SR, SynCop, VSSE, WRLA will be held 5-6 April 2014. AiSOS, Cassting, FESCA, GALOP, GramSec, HAS, HotSpot, MSFP, PLACES, QAPL have been scheduled for 12-13 April 2014. -- REGISTRATION Early registration is until Friday, 14 February 2014. Normal-rate registration is until Monday, 10 March 2014. -- ACCOMMODATION We request that participants arrange their accommodation on their own. See our recommendations on the website. -- HOST CITY -- Located in the southeastern part of France, Grenoble is considered as the capital of the Alps. Grenoble is surrounded by nature and high mountains: down the Alps, Grenoble is the meeting point of two important rivers, Drac and Isere. Grenoble has important historical and gastronomic heritages. Leisure activities in breathtaking nature are easily organizable and within short-distance. Grenoble is also a major scientific center in Europe dedicated to high-tech technologies, e.g., nano, micro, bio, and information technologies. -- ORGANIZERS * General chair: Saddek Bensalem * Conferences chair: Alain Girault * Workshops chair: Axel Legay * Publicity chair: Ylies Falcone * Finance chair: Nicolas Halbwachs * Website chair: Marius Bozga Host institution: VERIMAG, U Joseph Fourier / CNRS / Grenoble INP -- FURTHER INFORMATION -- Please do not hesitate to contact the organizers at etaps2014.organization(a)imag.fr.

1 0

AI4FM 2014: Call for Short Contributions
by Iain Whiteside 06 Feb '14

06 Feb '14

------------------------------------------------- AI4FM 2014 - the 5th International Workshop on the use of AI in Formal Methods http://www.ai4fm.org/ai4fm-2014/ Singapore, 13th May, 2014 In association with FM 2014 ------------------------------------------------- --- Second Call for Contributions --- Important Dates --------------- Submission deadline: March 01, 2014 Notification of acceptance: March 08, 2014 Final version due: April 22, 2014 Workshop: May 13th, 2014 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. History --------------- This will be the fifth workshop in the series. Previous workshops were held at: - 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 2014 to another workshop, conference or a journal. Submission is by email to: ai4fm2014(a)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) * Gudmund Grov (Heriot-Watt University, UK) * Iain Whiteside (Newcastle University, UK) Contact Details ---------------- If you have any queries, please email the organisers at the following email address: ai4fm2014(a)ai4fm.org

1 0

2nd Call for Papers - TFPIE 2014
by Peter Achten 06 Feb '14

06 Feb '14

All, Please find below the call for papers for the 3rd International Workshop on Trends In Functional Programming in Education, TFPIE 2014. Apologies in advance for multiple copies you may receive. Best regards, James Caldwell Call for Papers ___________________________________________________________________________________ *3rd International Workshop on Trends in Functional Programming in Education (TFPIE 2014)* May 25, 2014 Utrecht University Soesterberg, The Netherlands (http://www.cs.uwyo.edu/~jlc/tfpie14/ <http://www.cs.uwyo.edu/%7Ejlc/tfpie14/>) The 3rd International Workshop on Trends in Functional Programming in Education, TFPIE 2014, will be co-located with the Symposium on Trends in Functional Programming (TFP 2014) <http://www.cs.uu.nl/wiki/TFP2014/> at Soesterberg, at the "Kontakt der Kontinenten" <http://www.kontaktderkontinenten.nl/conferentiehotel/home.aspx?lang=en-US> hotel in the Netherlands on Sunday, May 25th. TFP will follow from May 26-28. The goal of TFPIE is to gather researchers, teachers and professionals that use, or are interested in the use of, functional programming in education. TFPIE aims to be a venue where novel ideas, classroom-tested ideas and work-in-progress on the use of functional programming in education are discussed. The one-day workshop will foster a spirit of open discussion by having a review process for publication after the workshop. The program chair of TFPIE 2014 will screen submissions to ensure that all presentations are within scope and are of interest to participants. Potential presenters are invited to submit an extended abstract (4-6 pages) or a draft paper (up to 16 pages) in EPTCS style. The authors of accepted presentations will have their preprints and their slides made available on the workshop's website/wiki. Visitors to the TFPIE 2014 website/wiki will be able to add comments. This includes presenters who may respond to comments and questions as well as provide pointers to improvements and follow-up work. After the workshop, presenters will be invited to submit (a revised version of) their article for review. The PC will select the best articles for publication in the journalElectronic Proceedings in Theoretical Computer Science (EPTCS) <http://published.eptcs.org/>. Articles not selected for presentation and extended abstracts will not be formally reviewed by the PC. TFPIE workshops have previously been held in St Andrews, Scotland (2012) and in Provo Utah, USA (2013). *Program Committee* James Caldwell, (Program Chair) University of Wyoming Peter Achten, Radboud University, Nijmgen Edwin Brady, University of St Andrews, St Andrews Jurriaan Hage, Universiteit Utrecht Philip Holzenspies, University of Twente Daniel R. Licata, Wesleyan University Marco T Morazan, Seton Hall University Christian Skalka, University of Vermont David Van Horn, Northeastern University *Submission Guidelines* There will be two types of presentations at TFPIE 2014. Regular papers and "best lecture" presentations. The best lecture talks are intended to allow for presentations or short lectures of purely pedagogical material. Papers and abstracts can be submitted via easychair at the following link: https://www.easychair.org/conferences/?conf=tfpie2014 *Papers* TFPIE 2014 welcomes submissions describing techniques used in the classroom, tools used in and/or developed for the classroom and any creative use of functional programming (FP) to aid education in or outside Computer Science. Topics of interest include, but are not limited to: * FP and beginning CS students * FP and Computational Thinking * FP and Artificial Intelligence * FP in Robotics * FP and Music * Advanced FP for undergraduates * FP in graduate education * Engaging students in research using FP * FP in Programming Languages * FP in the high school curriculum * FP as a stepping stone to other CS topics * FP and Philosophy * * *Best Lectures* In addition to papers, this year we are requesting "best lecture" presentations. What's your best lecture topic in an FP related course? Do you have a fun way to present FP concepts to novices or perhaps an especially interesting presentation of a difficult topic? In either case, please consider sharing it. Best lecture topics will be selected for presentation based on a short abstract describing the lecture and its interest to TFPIE attendees. *Important Dates* * 1 February 2014: TFPIE submissions open on easychair. * 7 April 2014: TFP and TFPIE registration opens * 21 April 2014: Submission deadline for draft TFPIE papers and abstracts * 27 April 2014: Notification of acceptance for presentation * 25 May 2014: Presentations in Soesterberg, Netherlands * 29 June 2014: Full papers for EPTCS proceedings due. * 16 August 2014: Notification of acceptance for proceedings * 8 September 2014: Camera ready copy due for EPTCS Submission of an abstract implies no obligation to submit a full paper; abstracts with no corresponding full versions by the full paper deadline will be considered as withdrawn. At least one author from each accepted presentation must attend the workshop.

1 0

GPCE 2104 - Call for Papers
by Matthew Flatt 06 Feb '14

06 Feb '14

------------------------------------------------------------------------ CALL FOR PAPERS 13th International Conference on Generative Programming: Concepts & Experiences (GPCE 2014) September 15-16, 2014 Västerås, Sweden (collocated with ASE 2014 and SLE 2014) http://www.gpce.org http://www.facebook.com/GPCEConference http://twitter.com/GPCECONF ------------------------------------------------------------------------ IMPORTANT DATES * Submission of papers: May 30, 2014 * Paper notification: July 7, 2014 SCOPE Generative and component approaches and domain-specific abstractions are revolutionizing software development just as automation and componentization revolutionized manufacturing. Raising the level of abstraction in software specification has been a fundamental goal of the computing community for several decades. Key technologies for automating program development and lifting the abstraction level closer to the problem domain are *Generative Programming* for program synthesis, *Domain-Specific Languages* (DSLs) for compact problem-oriented programming notations, and corresponding *Implementation Technologies* aiming at modularity, correctness, reuse, and evolution. As the field matures *Applications* and *Empirical Results* are of increasing importance. The International Conference on Generative Programming: Concepts & Experiences (GPCE) is a venue for researchers and practitioners interested in techniques that use program generation, domain-specific languages, and component deployment to increase programmer productivity, improve software quality, and shorten the time-to-market of software products. In addition to exploring cutting-edge techniques of generative software, our goal is to foster further cross-fertilization between the software engineering and the programming languages research communities. SUBMISSIONS We seek research papers of up to 10 pages in SIGPLAN proceedings style (sigplanconf.cls, see http://www.sigplan.org/authorInformation.htm) reporting original and unpublished results of theoretical, empirical, conceptual, or experimental research that contribute to scientific knowledge in the areas listed below (the PC chair can advise on appropriateness). 4-page short papers and tool demonstrations are also accepted (see website). TOPICS GPCE seeks contributions on all topics related to generative software and its properties. As technology is maturing, this year, we are particularly looking for empirical evaluations in this context. Key topics include (but are certainly not limited too): * Generative software Domain-specific languages Product lines Metaprogramming Program synthesis Implementation techniques and tool support * Properties of generative software Correctness of generators and generated code Reuse and evolution Modularity, separation of concerns, understandability, and maintainability Performance engineering, nonfunctional properties Application areas and engineering practice * Empirical evaluations of all topics above A more detailed list of topics can be found on the website. Examples of key challenges in the field are * Synthesizing code from declarative specifications * Supporting extensible languages and language embedding * Ensuring correctness and other nonfunctional properties of generated code; proving generators correct * Improving error reporting with domain-specific error messages * Reasoning about generators; handling variability-induced complexity in product lines * Providing efficient interpreters and execution languages * Human factors in developing and maintaining generators Note on empirical evaluations: GPCE is committed to the empirical evaluation of generative software. Publishing empirical papers at programming-language venues can be challenging. We understand the frustration of authors when, for example, reviews simply recommend repeating entire experiments with human subjects with slight deviations in execution. To alleviate such problems, we have recruited forto program committee experts who routinely work with empirical methods, and we will actively seek external reviews where appropriate. During submissions, authors can optionally indicate that a paper contains substantial empirical work, and we will endeavor have to the paper reviewed by experts familiar with the empirical research methods that are used in the paper. The program-committee discussions will reflect on both technical contributions and research methods. Policy: Incremental improvements over previously published work should have been evaluated through systematic, comparative, empirical, or experimental evaluation. Submissions must adhere to SIGPLAN's republication policy (http://www.sigplan.org/republicationpolicy.htm) Please contact the program chair if you have any questions about how this policy applies to your paper (chairs(a)gpce.org) ORGANIZATION Chairs (chairs(a)gpce.org) General Chair: Ulrik Pagh Schultz (University of Southern Denmark, DK) Program Chair: Matthew Flatt (University of Utah, US) Publicity Chair: Sebastian Erdweg (Technical University of Darmstadt, DE) Local Organizer: Ivica Crnkovic (Mälardalen University, SE) Program Committee Kenichi Asai (Ochanomizu University, JP) Emilie Balland (INRIA, FR) Edwin Brady (University of St Andrews, UK) Dave Clarke (Uppsala University, SE and KU Leuven, BE) Ewen Denney (SGT / NASA, US) Sebastian Erdweg (Technical University of Darmstadt, DE) Martin Erwig (Oregon State University, US) Alessandro Garcia (Pontifícia Universidade Católica do Rio de Janeiro, BR) Anirüddhā Gokhālé (Vanderbilt University, US) Jeff Gray (University of Alabama, US) Stefan Hanenberg (Universität Duisburg-Essen, DE) Jaakko Järvi (Texas A&M University, US) Jean-Marc Jézéquel (IRISA-University of Rennes, FR) Emerson Murphy-Hill (North Carolina State University, US) Nathaniel Nystrom (University of Lugano, CH) Bruno C. d. S. Oliveira (Hong Kong University, HK) Hridesh Rajan (Iowa State University, US) Márcio Ribeiro (Universidade Federal de Alagoas, BR) Tiark Rompf (Oracle Labs and EPFL, CH) Grigore Rosu (University of Illinois at Urbana-Champaign, US) Norbert Siegmund (Universität Passau, DE) Christian Skalka (University of Vermont, US) Scott Smith (Johns Hopkins University, US) Éric Tanter (Universidad de Chile, CL) Emina Torlak (University of California Berkeley, US) Laurence Tratt (King's College, UK)

1 0

ANNOUNCE: Applied Functional Programming (AFP) Summerschool 7-18 July 2014, Utrecht, Netherlands
by Atze Dijkstra 05 Feb '14

05 Feb '14

=========== AFP Summerschool 2014 =========== Applied Functional Programming (AFP) Summerschool July 7-18, 2014 Utrecht University, Department of Information and Computing Sciences Utrecht, The Netherlands Summerschool & registration website: http://www.utrechtsummerschool.nl/courses/science/applied-functional-progra… AFP website with edition 2013 info : http://www.cs.uu.nl/wiki/USCS contact : Uscs-afp(a)lists.science.uu.nl *** The 2014 edition of the Applied Functional Programming (AFP) Summerschool in Utrecht, Netherlands will be held from 7-18 July 2014. The summerschool teaches Haskell on both beginners and advanced levels via lectures and lab exercises. More info can be found via the references above, included here is an excerpt from the summerschool website: ``Typed functional programming in Haskell allows for the development of compact programs in minimal time and with maximal guarantees about robustness and correctness. The course introduces Haskell as well as its theoretical underpinnings such as typed lambda calculus, and Damas-Milner type inference. There is ample opportunity to put this all in practice during lab sessions. Typed functional programming languages allow for the development of robust, concise programs in a short amount of time. The key advantages are higher-order functions as an abstraction mechanism, and an advanced type system for safety and reusability. This course introduces Haskell, a state-of-the-art functional programming language, together with some of its theoretical background, such as typed lambda calculi, referential transparency, Damas-Milner type inference, type level programming, and functional design patterns. We will combine this with applications of functional programming, concentrating on topics such as language processing, building graphical user interfaces, networking, databases, and programming for the web. The goal of the course is not just to teach the programming language and underlying theory, but also to learn about the Haskell community and to get hands-on experience by doing lab exercises or a Haskell project of your own.'' *** regards, - Atze - Atze Dijkstra, Department of Information and Computing Sciences. /|\ Utrecht University, PO Box 80089, 3508 TB Utrecht, Netherlands. / | \ Tel.: +31-30-2534118/1454 | WWW : http://www.cs.uu.nl/~atze . /--| \ Fax : +31-30-2513971 .... | Email: atze(a)uu.nl ............... / |___\

1 0

5th Answer Set Programming Competition 2014 - CALL FOR PARTICIPANTS
by Francesco Calimeri 03 Feb '14

03 Feb '14

[apologies for any cross-posting] ======================================================================== ================================================================== 5th Answer Set Programming Competition 2014 Call for Participant Systems Aalto University, University of Calabria, University of Genova Spring/Summer 2014 https://www.mat.unical.it/aspcomp2014 aspcomp2014(a)mat.unical.it ================================================================== Special edition of the ASP competition series -system track- part of the Olympic Games of the Vienna Summer of Logic 2014 == Important Dates == * March 1st, 2014: Participant registration opens * March 31st, 2014: The competition starts * July 2014: Awards are presented at FLoC (22nd) and at ICLP (19th-22nd) ======================================================================== Answer Set Programming (ASP) is a well-established paradigm of declarative programming with close relationship to other declarative modeling paradigms and languages, such as SAT Modulo Theories, Constraint Handling Rules, FO(.), PDDL, CASC, and many others. The ASP Competition is usually a biannual event for evaluating declarative knowledge representation systems on hard and demanding AI problems. Past ASP Competition editions were held at the University of Potsdam (Germany) in 2007, the University of Leuven (Belgium) in 2009, the University of Calabria (Italy) in 2011 and the Vienna University of Technology (Austria) in 2013. As anticipated during the 2013 presentation, in order to join the Vienna Summer of Logic, which is expected to be the largest event in the history of logic, ASP competition departs, this year, from the "usual" timeline, and the 5th ASP Competition will be run in the first half of 2014, jointly at Aalto University (Finland), University of Calabria (Italy) and University of Genova (Italy). The event is affiliated with the 30th International Conference on Logic Programming (ICLP). Another reason for having an event just one year after the 4th ASP Competition is the fact that the new ASP-Core-2 language standard has been introduced in 2013, but, unfortunately, it was not fully supported by most participant to the 2013 edition, and/or submitters did not succeed at supporting the new language features in a completely satisfactory way, due to limited time resources. Thus, an "early" event can be an opportunity to push the usage of the new standard, and draw a more complete picture about the approaches that can efficiently solve problems with various features. == Call for Participant Systems == Participants of the Answer Set Programming Competition will compete on a selected collection of benchmark problems, taken from a variety of benchmark problem domains as well as real-world applications. These include, but are not limited to: * Classic and application-oriented graph problems * Scheduling, Timetabling, and other resource allocation problems * Sequential and Temporal Planning * Combinatorial Optimization problems * Deductive Database tasks on large data-sets * Puzzles and Combinatorics * Ontology reasoning * Automated Theorem Proving and Model Checking * Constraint Programming problems * Other AI problems The competition consists of a System Track (as called in past competitions), which compares dedicated solvers on ASP benchmarks. Participants compete with solving systems for the ASP-Core language. Some more details are given in the following: - The benchmark domains are taken from past editions. - Systems of the 2013 edition will be considered. (Developers will have the chance of submitting up-to-date versions of their solvers.) - Submissions of new solvers are encouraged. The competition will not be limited to sub-tracks based on "complexity" of problems (as in past events), but rather will take into consideration language features: sub-tracks will range from a basic language, to (by adding features such as aggregates and choice rules) to the ASP-Core-2 language. The aim is to clearly indicate what (combinations of) techniques work for a particular (set of) feature(s), and also widening the participation to teams that cannot (yet) support the full standard. The final sub-track design will depend on the availability of benchmarks as well as systems. Participants are encouraged to inform us about any limitations or requirements of their systems so that we can take them into account in the sub-track design. We welcome the submission of parallel and portfolio systems making use of multiple cores or multiple algorithms for solving the given instances. These solvers will have dedicated tracks, assuming a sufficient number of submissions in each track. Of course, we also welcome the submission of any kind of solvers, e.g., SAT solvers, SMT solvers, CP systems, FOL theorem provers, Description Logics reasoners, Planning reasoners, or any other that can be adapted/applied to the evaluation of logic programs encoded in ASP-Core-2. == Important Dates == * March 1st, 2014: Participant registration opens * March 31st, 2014: The competition starts * July 2014: Awards are presented at FLoC (22nd) and at ICLP (19th-22nd) For further information and submission instructions please visit the competition web site https://www.mat.unical.it/aspcomp2014 or contact us by email: aspcomp2014(a)mat.unical.it

1 0

ANNOUNCE: fpnla - A library for NLA operations
by Mauro Blanco 03 Feb '14

03 Feb '14

Hi. Today we are releasing fpnla <http://hackage.haskell.org/package/fpnla>, which defines a framework for linear algebra operations of BLAS and LAPACK. As its main features it allows: - Definition of multiple representations of vectors and matrices. - Arbitrary combination of strategies and structure representations. - Type-safe manipulation of context information associated to each strategy. - Definition of specialized strategies for a given representation. And also fpnla-examples <http://hackage.haskell.org/package/fpnla-examples>, which contains many example implementations of the operations defined in fpnla using various data structures, algorithms and parallelism libraries. Regards. -- Mauro Blanco

1 0