October 2013 - Haskell

ANNOUNCE: ioctl 0.0.1
by Maciej Piechotka 13 Sep '15

13 Sep '15

A package for type-safe I/O control. Currently only ioctl is supported. Currently simply a extract from my tuntap fork TODO: - Return the integer as well as structure (will break the API) - Port for Windows Network.Socket.IOCtl (as soon as I manage to setup some sane environment on this platform) - Wrapping around DeviceIoControl Example (in hsc): data NotRead = NotRead instance NotRead Int where ioctlReq _ = #const FIONREAD notRead s = ioctlsocket' s NotRead Regards

2 1

CFP: Term and Graph rewriting, special issue of MSCS
by Rachid Echahed 13 Feb '14

13 Feb '14

-------------------------------------------------------------------------- First Call for Papers Special Issue of Mathematical Structures in Computer Science (MSCS) on "TERM and GRAPH Rewriting" -------------------------------------------------------------------------- Scope -------------------------------------------------------------------------- Rewriting techniques constitute a foundational theory of computing science. They are being investigated for several structures such as lambda-terms, first-order terms or graphs and have been successfully used in many areas such as programming languages, automated reasoning, program verification, security, etc. This is witnessed by the leading international events ICGT, RTA or TLCA among others. During the last decade, a particular interest has been devoted to the study of the impact of shared structures in term and graph rewriting through the international editions of TERMGRAPH series of workshops. Sharing is indeed ubiquitous in several research areas, for instance: the modelling of first- and higher-order term rewriting by (acyclic or cyclic) graph rewriting, the modelling of biological or chemical abstract machines, the implementation techniques of programming languages. Term and graph rewriting are also used in automated theorem proving and symbolic computation systems working on shared structures... This special issue is devoted to recent developments in all aspects of TERM and GRAPH rewriting. This includes (but is not limited to): term rewriting, graph transformation, proof methods, programming languages, infinitary rewriting, rewrite strategies, semantics, properties of rewriting ... -------------------------------------------------------------------------- Submissions -------------------------------------------------------------------------- Submitted papers must be original and not submitted for publication elsewhere, and will be subject to the standard journal refereeing process of the Mathematical Structures in Computer Science (MSCS) journal. Submissions should be in pdf format following the MSCS instruction for contributors (http://assets.cambridge.org/MSC/MSC_ifc.pdf) and should be submitted electronically via the following easy-chair web site: https://www.easychair.org/conferences/?conf=mscsrewriting2012 -------------------------------------------------------------------------- Important Dates -------------------------------------------------------------------------- January 20, 2012 : Abstract submission February 20, 2012: Paper submission June 15, 2012 : Notification of acceptance -------------------------------------------------------------------------- Guest Editor: -------------------------------------------------------------------------- Rachid Echahed, CNRS LIG Lab., Grenoble, France echahed(a)imag.fr --------------------------------------------------------------------------

1 8

ICFP 2014: Call for Workshop & Co-located Event Proposals
by David Van Horn 30 Oct '13

30 Oct '13

CALL FOR WORKSHOP AND CO-LOCATED EVENT PROPOSALS ICFP 2014 19th ACM SIGPLAN International Conference on Functional Programming August 31 – September 6, 2014 Gothenburg, Sweden http://icfpconference.org/icfp2014/ The 19th ACM SIGPLAN International Conference on Functional Programming will be held in Gothenburg, Sweden on August 31-September 6, 2014. ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. Proposals are invited for workshops (and other co-located events, such as tutorials) to be affiliated with ICFP 2014 and sponsored by SIGPLAN. These events should be less formal and more focused than ICFP itself, include sessions that enable interaction among the attendees, and foster the exchange of new ideas. The preference is for one-day events, but other schedules can also be considered. The workshops are scheduled to occur on August 31 (the day before ICFP) and September 4-6 (the three days after ICFP). ---------------------------------------------------------------------- Submission details Deadline for submission: November 15, 2013 Notification of acceptance: December 15, 2013 Prospective organizers of workshops or other co-located events are invited to submit a completed workshop proposal form in plain text format to the ICFP 2014 workshop co-chairs (Sam Tobin-Hochstadt and Tom Schrijvers), via email to icfp2014-workshops(a)ugent.be by November 15, 2013. (For proposals of co-located events other than workshops, please fill in the workshop proposal form and just leave blank any sections that do not apply.) Please note that this is a firm deadline. Organizers will be notified if their event proposal is accepted by December 15, 2013, and if successful, depending on the event, they will be asked to produce a final report after the event has taken place that is suitable for publication in SIGPLAN Notices. The proposal form is available at: http://www.icfpconference.org/icfp2014/icfp14-workshops-form.txt Further information about SIGPLAN sponsorship is available at: http://acm.org/sigplan/sigplan_workshop_proposal.htm ---------------------------------------------------------------------- Selection committee The proposals will be evaluated by a committee comprising the following members of the ICFP 2014 organizing committee, together with the members of the SIGPLAN executive committee. Workshop Co-Chair: Sam Tobin-Hochstadt (Indiana University) Workshop Co-Chair: Tom Schrijvers (Ghent University) General Chair : Johan Jeuring (Utrecht University) Program Chair: Manuel Chakravarty (University of New South Wales) ---------------------------------------------------------------------- Further information Any queries should be addressed to the workshop co-chairs (Sam Tobin-Hochstadt and Tom Schrijvers), via email to icfp2014-workshops(a)ugent.be.

1 0

ANNOUNCE: lens-family 1.0.0
by roconnor＠theorem.ca 30 Oct '13

30 Oct '13

Before there was lens there was lens-family.... I'm pleased to announce the second major release of the lens-family pacakges: lens-family-core-1.0.0 and lens-family-1.0.0. They can be found at * <http://hackage.haskell.org/package/lens-family-core> * <http://hackage.haskell.org/package/lens-family> I consider these packages to be kiddie-pool sized lens libraries for those people who are, for whatever reason, too intimidated by the lens library. I think this is a good way to get one's feet wet with lenses. The type for lenses and traversals are completely compatible with the lens library. This release brings two major developments to lens-family: * Support for traversals and folds. * The names have been all renamed to be mostly compatible with the lexicon developed by lens. With a common lexicon, I hope that users will find it easy to transition from lens-family to lens when they outgrow the kiddie pool. The lens-family-core package is a completely Haskell 98 package for those who need the compatibility. The lens-family package is a wrapper around lens-family-core that provides a few useful Rank 2 type synonyms to make using functional references a little easier. P.S. If edwardk is reading, I've used Ryan Ingram's definition from <http://twanvl.nl/blog/haskell/cps-functional-references#comment-comment0> to implement alongside so that it works for both lenses and getters. You probably want to do the same. -- Russell O'Connor <http://r6.ca/> ``All talk about `theft,''' the general counsel of the American Graphophone Company wrote, ``is the merest claptrap, for there exists no property in ideas musical, literary or artistic, except as defined by statute.''

1 0

Call for Contributions - Haskell Communities and Activities Report, November 2013 edition
by Janis Voigtlaender 29 Oct '13

29 Oct '13

[Transition in editorship of HCAR in progress!] Dear all, We would like to collect contributions for the 25th edition of the ================================================================ Haskell Communities & Activities Report http://www.haskell.org/haskellwiki/Haskell_Communities_and_Activities_Report Submission deadline: 1 Nov 2013 (please send your contributions to hcar at haskell.org, in plain text or LaTeX format) ================================================================ This is the short story: * 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. * 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 Janis Voigtlaender (for this edition) 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/11-2013/template.tex There is also a LaTeX style file at http://haskell.org/communities/11-2013/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 format, then. 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. 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.

2 1

Vacancy Professor Software Technology
by Johan Jeuring 28 Oct '13

28 Oct '13

Dear colleague, Want to teach and do research in an exciting environment, in the fourth most happy city on earth (http://www.bbc.com/travel/feature/20131022-living-in-the-worlds-happiest-pl… Or do you think a colleague might be a suitable candidate? Let us know. We have a vacancy for: Full Professor Software Technology (0.8 – 1.0 fte) The full professor directs and supervises research in the field of software technology, specifically in the design and development of formalisms and methodologies for effective program construction and program analysis. She or he develops new initiatives, aiming at research programs in software technology that are relevant for software systems in general and for the departmental focus domain of game technology. This includes the acquisition of external research funds at the national and international level, and the dissemination, of research results and its applications, to the relevant research communities. The initiatives should be developed in line with worldwide trends in software technology such as software generation, domain-specific languages, and multi-core programming. The full professor has a leading role in teaching and supervision. She or he contributes to the department’s curriculum development at all levels: BSc, MSc, and PhD. The full professor plays an active role in the leadership and administrative duties of the Division of Software Systems, the Department and/or Faculty. Profile Candidates must have an excellent track record in research, teaching and leadership, as exemplified by: Research: • A PhD degree in Computer Science or a closely related scientific field. • An excellent publication record, including papers in high-impact journals and conference proceedings. • Proven ability to obtain extramural funding for research and to provide leadership in collaborative research programs. Teaching: • Experience and enthusiasm for teaching and student supervision. • Experience and leadership in curriculum development. • Academic leadership: • An active role in leading (national and international) activities in the area of the chair and participation in academic communities. • An established international network of research partnerships with other leading research groups and institutions. • Experience in administrative roles at department or faculty level. Utrecht University employs a system of quality assessment for teaching and research with consequences for career development. This implies that, in addition to having a PhD in a relevant field of research, a successful candidate also possesses appropriate senior level academic teaching and research qualifications. The Faculty may use an assessment as an instrument in the selection procedure. We offer a permanent position as full professor at 0.8 – 1.0 fte. The gross salary depends on qualifications and experience, and ranges between € 5,003.- and € 7,285.- per month (salary scale H2, of the Collective Labour Agreement of the Dutch Universities). 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: an excellent pension scheme, a partially paid parental leave, and flexible employment conditions. Conditions are based on the Collective Labour Agreement Dutch Universities. More information about terms of employment: http://www.uu.nl/EN/informationfor/jobseekers/Working-for-Utrecht-Universit… About the department:§ The Department of Information and Computing Sciences (http://www.cs.uu.nl/) has a strong national and international reputation in computer science and in information science. The department’s research activities are clustered into four divisions, viz. Software Systems, Artificial Intelligence, Virtual Worlds, and Interaction Technology. Each division is specialized in a specific research area within computer science and contributes from this area to the department’s overall focus on Game Technology. The focus area of Game Technology deals with all technological aspects of games, and of interactive virtual experiences more in general; Game Technology constitutes one of the four strategic research themes of the Faculty of Science. While the research activities of the four computer-science divisions meet in the Game Technology area, research is not restricted to games application. Through collaboration with (often external) partners, the various divisions also connect with the other strategic research themes of the university, viz. life sciences, sustainability, and youth and identity. The Department of Information and Computing Sciences offers educational bachelor programs in computer science and information science, and three (English) research master programs, viz. Computing Science, Game and Media Technology, and Business Informatics; the Department is further involved in the master program Artificial Intelligence. Three years ago the Department introduced a track on Game Technology in the bachelor program in computer science, which led to a substantial annual increase of bachelor students. The bachelor programs are the largest computer science and information science programs in the Netherlands. Utrecht University is among Europe’s largest and most prominent institutions for research and education. The Faculty of Science consists of six departments: Information & Computing Sciences, Mathematics, Physics & Astronomy, Chemistry, Biology, and Pharmaceutical Sciences. The Faculty is home to 3500 students and nearly 2000 staff members and is internationally renowned for the quality of its research and its teaching. The Faculty’s academic programs reflect the developments in science and society today. Its Undergraduate School and Graduate Schools in Natural Sciences and Life Sciences guarantee the outstanding quality of its BSc, MSc, and PhD programs. More information A more detailed description of the chair can be found here: http://www.cs.uu.nl/vacatures/auxdoc/SoftwTechn/StructReport2013WWW.pdf. For additional information and documentation please contact the Secretary of the Search Committee: Dr Marinus Veldhorst, email: M.Veldhorst(a)uu.nl, telephone +31 30 253 4450. As part of the selection procedure, the candidate is expected to give an outline of his/her research statement and an oral presentation. Applications including a letter of motivation in which the candidate’s research and teaching vision are outlined, a CV with a list of publications, a research statement, and contact details of at least three references, must be submitted before January 5, 2014. Apply before 05/01/2014 on http://ssl1.peoplexs.com/Peoplexs22/CandidatesPortalNoLogin/ApplicationForm… -------------------------------- Johan Jeuring Professor of Software Technology for Learning and Teaching Department of Information and Computing Sciences Utrecht University The Netherlands http://www.staff.science.uu.nl/~jeuri101/homepage/ J.T.Jeuring(a)uu.nl

1 0

WRLA 2014 Call for papers
by Santiago Escobar 27 Oct '13

27 Oct '13

10th International Workshop on Rewriting Logic and its Applications WRLA 2014 Grenoble, France, April 5th and 6th, 2014 http://www.dsic.upv.es/workshops/wrla2014/ The workshop will be held in conjunction with ETAPS 2014 17th European Joint Conferences on Theory and Practice of Software April 5-13, 2014 http://www.etaps.org/2014 AIMS AND SCOPE Rewriting logic (RL) is a natural model of computation and an expressive semantic framework for concurrency, parallelism, communication, and interaction. It can be used for specifying a wide range of systems and languages in various application fields. It also has good properties as a metalogical framework for representing logics. In recent years, several languages based on RL (ASF+SDF, CafeOBJ, ELAN, Maude) have been designed and implemented. The aim of the workshop is to bring together researchers with a common interest in RL and its applications, and to give them the opportunity to present their recent works, discuss future research directions, and exchange ideas. The topics of the workshop comprise, but are not limited to, - foundations and models of RL; - languages based on RL, including implementation issues; - RL as a logical framework; - RL as a semantic framework, including applications of RL to - object-oriented systems, - concurrent and/or parallel systems, - interactive, distributed, open ended and mobile systems, - specification of languages and systems; - use of RL to provide rigorous support for model-based software engineering; - formalisms related to RL, including - real-time and probabilistic extensions of RL, - rewriting approaches to behavioral specifications, - tile logic; - verification techniques for RL specifications, including - equational and coherence methods, - verification of properties expressed in first-order, higher-order, modal and temporal logics, - narrowing-based analysis and verification; - comparisons of RL with existing formalisms having analogous aims; - application of RL to specification and analysis of - distributed systems, - physical systems. IMPORTANT DATES Submission deadline December 30th 2013 Author notification February 2nd 2014 Version informal proceedings February 14th 2014 SUBMISSIONS The final program of the workshop will include regular papers, tool papers, and work-in-progress presentations. The program will also contain invited talks to be determined by the program committee. Papers must contain original contributions, be clearly written, include appropriate references, and comparison with related work. They must be unpublished and not submitted simultaneously for publication elsewhere. Tool papers present a new tool, a new tool component, or novel extensions to an existing tool. They should provide a short description of the theoretical foundations with relevant citations, emphasize the design and implementation, and give a clear account of the tool's functionality. The described tools must be publicly available via the web. All submissions should be formatted according to the guidelines for Springer LNCS papers, and should be submitted electronically using EasyChair. Regular papers and work-in-progress should not exceed 15 pages including references. Tool papers can have a maximum of 6 pages including references and may have an appendix of up to 4 additional pages with usage details and tool demonstration. PROCEEDINGS All submissions will be evaluated by the Program Committee. Regular papers, tool papers, and work-in-progress that are accepted will be presented at the workshop and included in the proceedings, which will be available during the workshop. Regular papers, tool papers, and invited presentations will also be published in a volume in Springer's Lecture Notes in Computer Science (LNCS) series to be distributed after the workshop. Depending on the number and the quality of the contributions, we will consider the preparation of a special issue in some scientific journal in the field with extended versions of a selection of the papers of the workshop. CONTACT INFORMATION For more information, please contact the organizers sescobar(a)dsic.upv.es or visit the workshop web page http://www.dsic.upv.es/workshops/wrla2014/

1 0

Relational & Algebraic Methods --- RAMiCS 2014 --- Final CFP, with Deadlines extended!
by Wolfram Kahl 26 Oct '13

26 Oct '13

14th International Conference on Relational and Algebraic Methods in Computer Science RAMiCS 2014 FINAL CALL FOR PAPERS, with DEADLINE EXTENSION 27 April to 1 May 2014, Marienstatt im Westerwald, Germany URL: http://mathcs.chapman.edu/ramics2014 PDF: http://mathcs.chapman.edu/ramics2014/RAMiCS14-CFP.pdf Invited Speakers ---------------- * C.A.R. Hoare (Microsoft Research Cambridge) * Alexander Kurz (University of Leicester) * Jose Oliveira (Universidade do Minho) Important Dates --------------- Title and abstract submission: November 1 2013 (anywhere on Earth) Submission of full papers: November 9 2013 (anywhere on Earth) Notification: December 16 2013 Final versions due (firm deadline): January 17 2014 Conference April 27 - May 1 2014 Scope ----- We invite submissions in the general area of Relational and Algebraic Methods in Computer Science. Special focus will lie on formal methods for software engineering, logics of programs and links with neighbouring disciplines. Particular topics of interest for the conference cover, but are not limited to: * Algebraic approaches to • specification, development, verification, and analysis of programs and algorithms • computational logic, in particular logics of programs, modal and dynamic logics, interval and temporal logics • semantics of programming languages * Applications in fields such as • relational formal methods such as B or Z, tabular methods • information systems • graph theory and combinatorial optimisation • games, automata and language theory • spatio-temporal reasoning, knowledge acquisition • preference and scaling methods, computational social choice, social software * Theoretical foundations and supporting tools, including • mechanised and automated reasoning, decision procedures • process algebras, fixed point calculi, idempotent semirings, quantales, allegories • dynamic algebras, cylindric algebras and their applications in computing History ------- Since 1994, the RelMiCS meetings on Relational Methods in Computer Science have been a main forum for researchers who use the calculus of relations and similar algebraic formalisms as methodological and conceptual tools. The AKA workshop series on Applications of Kleene algebra started with a Dagstuhl seminar in 2001 and was co-organised with the RelMiCS conference until 2009. Since 2011, joint RAMiCS conferences continue to encompass the scope of both RelMiCS and AKA. The predecessors of this conference were held in Dagstuhl (January 1994), Parati (September 1995), Hammamet (January 1997), Warsaw (September 1998), Québec (January 2000), Dagstuhl (February 2001), Oisterwijk (October 2001), Malente (April 2003), St. Catherines (January 2005), Manchester (September 2006), Frauenwörth (April 2008), Doha (November 2009), Rotterdam (June 2011), and Cambridge UK (September 2012). Student Program --------------- The conference will be accompanied by a PhD training program. Details will be published in due time in a special call and on the conference website. Proceedings and Submission -------------------------- All papers will be formally reviewed. The proceedings will be published in the Springer series Lecture Notes in Computer Science, ready at the conference. Submissions must be in English, in Postscript or PDF format, and provide sufficient information to judge their merits. They must be unpublished and not submitted for publication elsewhere. They should not exceed 16 pages in Springer LNCS style (accepted papers must be produced with LaTeX). Additional material may be provided by a clearly marked appendix or a reference to a manuscript on a website. This may be considered at the discretion of the PC. Deviation from these requirements may cause immediate rejection. One author of each accepted paper is expected to present the paper at the conference. Submission is via EasyChair at the following address: https://www.easychair.org/conferences/?conf=ramics2014 Formatting instructions and the LNCS styled files can be obtained via: http://springer.de/comp/lncs/authors.html As for the earlier conferences of this series, it is also intended to publish a selection of the best papers in revised and extended form in a special issue of the Journal of Logic and Algebraic Programming (JLAP). Programme Committee ------------------- Rudolf Berghammer (Kiel, Germany) Jules Desharnais (Laval U., Canada) Harrie de Swart (Rotterdam, Netherlands) Marc Frappier (Sherbrooke, Canada) Hitoshi Furusawa (Kagoshima, Japan) Timothy G. Griffin (Cambridge, UK) Walter Guttmann (Canterbury, New Zealand) Robin Hirsch (London, UK) Peter Höfner (NICTA, Australia; Publicity chair) Ali Jaoua (Doha, Qatar) Peter Jipsen (Chapman U., USA; PC co-chair) Wolfram Kahl (McMaster U., Canada; PC co-chair) Tadeusz Litak (Erlangen, Germany) Larissa Meinicke (U. Queensland, Australia) Szabolcs Mikulas (London, UK) Bernhard Möller (Augsburg, Germany) Martin E. Müller (St. Augustin, Germany; General chair) José Oliveira (U. Minho, Portugal) Ewa Orłowska (Warsaw, Poland) Matthew Parkinson (Microsoft Research, UK) Damien Pous (CNRS, France) Ingrid Rewitzky (Stellenbosch, South Africa) Holger Schlingloff (Berlin, Germany) Gunther Schmidt (Munich, Germany) Renate Schmidt (Manchester, UK) Georg Struth (Sheffield, UK) George Theodorakopoulos (Cardiff, UK) Michael Winter (Brock U., Canada) Steering Committee ------------------ Rudolf Berghammer (Kiel, Germany) Jules Desharnais (Laval U., Canada) Harrie de Swart (Rotterdam, Netherlands) Ali Jaoua (Doha, Qatar) Bernhard Möller (Augsburg, Germany) Ewa Orłowska (Warsaw, Poland) Gunther Schmidt (Munich, Germany) Renate Schmidt (Manchester, UK) Michael Winter (Brock U., Canada) Organising Committee -------------------- Martin E. Müller, Sankt Augustin, Germany: Conference Chair, Local Organiser Peter Höfner, NICTA, Australia: Publicity Peter Jipsen, Chapman U., USA: PC Co-Chair Wolfram Kahl, McMaster U., Canada: PC Co-Chair

1 0

Haskell Weekly News: Issue 284
by Daniel Santa Cruz 25 Oct '13

25 Oct '13

Welcome to issue 284 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers the week of October 13 to 19, 2013. Quotes of the Week * Polarina: Once you get something with [lens] to work correctly, all other Haskell code looks like C++ in comparison. Top Reddit Stories * The GHC October status report - a nice summary of what to expect from 7.8 Domain: ghc.haskell.org, Score: 106, Comments: 51 On Reddit: [1] http://goo.gl/ZOYHI7 Original: [2] http://goo.gl/1PM4s7 * Haskell for all: An all-atom protein search engine powered by Haskell Domain: haskellforall.com, Score: 84, Comments: 51 On Reddit: [3] http://goo.gl/TwntnD Original: [4] http://goo.gl/4WbmZp * FSF - Recognizing an inspiring woman for Ada Lovelace Day: Haskell/Perl hacker Audrey Tang Domain: fsf.org, Score: 82, Comments: 15 On Reddit: [5] http://goo.gl/XbrLS7 Original: [6] http://goo.gl/zGTnbL * Automatic SIMD Vectorization for Haskell and ICFP 2013 Domain: dorchard.wordpress.com, Score: 50, Comments: 3 On Reddit: [7] http://goo.gl/ikP8nw Original: [8] http://goo.gl/kYCQyW * A Little Lens Starter Tutorial - School of Haskell Domain: fpcomplete.com, Score: 49, Comments: 43 On Reddit: [9] http://goo.gl/RQjC2m Original: [10] http://goo.gl/LA7fUo * Abstractions for the Functional Roboticist with Anthony Cowley at NY Haskell Domain: vimeo.com, Score: 43, Comments: 13 On Reddit: [11] http://goo.gl/f4j0CP Original: [12] http://goo.gl/pSZBNR * The "magic" of "join (,)" Domain: self.haskell, Score: 42, Comments: 18 On Reddit: [13] http://goo.gl/oVjtNL Original: [14] http://goo.gl/oVjtNL * A Taste of Agda with Francesco Mazzoli at NY Haskell Domain: vimeo.com, Score: 41, Comments: 15 On Reddit: [15] http://goo.gl/anu7xJ Original: [16] http://goo.gl/vIfDNM * [Demo movie] Ajhc Haskell compiler can create Haskell Apps running on Android NDK! Domain: youtube.com, Score: 36, Comments: 22 On Reddit: [17] http://goo.gl/HM4AJ3 Original: [18] http://goo.gl/j1Gmqi * Open question: help me design a new encoding API for aeson Domain: serpentine.com, Score: 31, Comments: 30 On Reddit: [19] http://goo.gl/CE6Q0I Original: [20] http://goo.gl/ikdO5O * Made some Haskell Wallpapers, thought I'd share Domain: imgur.com, Score: 30, Comments: 27 On Reddit: [21] http://goo.gl/A1LILP Original: [22] http://goo.gl/c054gN * How to use Travis-CI with multiple GHC versions Domain: github.com, Score: 30, Comments: 6 On Reddit: [23] http://goo.gl/hsH9a7 Original: [24] http://goo.gl/K2Eja5 * A Gentle Introduction to Parsec Domain: blog.barrucadu.co.uk, Score: 29, Comments: 1 On Reddit: [25] http://goo.gl/GHUil8 Original: [26] http://goo.gl/21xyq2 * Haskell.org committee is looking for self-nominations Domain: haskell.org, Score: 28, Comments: 2 On Reddit: [27] http://goo.gl/B3pc80 Original: [28] http://goo.gl/19dZX4 * Backpropogation, Steepest Descent, and Automatic Differentiation Domain: idontgetoutmuch.wordpress.com, Score: 23, Comments: 22 On Reddit: [29] http://goo.gl/izxqMg Original: [30] http://goo.gl/F2fjNk * Anonymous records. A solution to the problems of record-system. Domain: gist.github.com, Score: 22, Comments: 24 On Reddit: [31] http://goo.gl/CjdbT3 Original: [32] http://goo.gl/UY5OqT Top StackOverflow Questions * Is there a canonical haskell type for “One or Both”? votes: 15, answers: 3 Read on SO: [33] http://goo.gl/yn8MkJ * Show progress of Haskell program votes: 14, answers: 4 Read on SO: [34] http://goo.gl/IEegAQ * Does Data.ByteString.readFile block all threads? votes: 13, answers: 3 Read on SO: [35] http://goo.gl/5X805o * Am I abusing unsafePerformIO? votes: 11, answers: 3 Read on SO: [36] http://goo.gl/SnfOcK * GHCJS: How do I import a high order javascript function using FFI? votes: 10, answers: 1 Read on SO: [37] http://goo.gl/fCbPE2 * Simulating a spring/damper system in Yampa votes: 9, answers: 1 Read on SO: [38] http://goo.gl/zQ50Ao Until next time, [39]+Daniel Santa Cruz References 1. http://ghc.haskell.org/trac/ghc/wiki/Status/Oct13 2. http://www.reddit.com/r/haskell/comments/1opw22/the_ghc_october_status_repo… 3. http://www.haskellforall.com/2013/10/an-all-atom-protein-search-engine.html 4. http://www.reddit.com/r/haskell/comments/1oc5g5/haskell_for_all_an_allatom_… 5. https://www.fsf.org/blogs/community/recognizing-an-inspiring-woman-for-ada-… 6. http://www.reddit.com/r/haskell/comments/1oj2u4/fsf_recognizing_an_inspirin… 7. http://dorchard.wordpress.com/2013/10/14/automatic-simd-vectorization-for-h… 8. http://www.reddit.com/r/haskell/comments/1og58l/automatic_simd_vectorizatio… 9. https://www.fpcomplete.com/user/tel/a-little-lens-starter-tutorial 10. http://www.reddit.com/r/haskell/comments/1obpxb/a_little_lens_starter_tutor… 11. http://vimeo.com/rickasaurus/haskell-robots 12. http://www.reddit.com/r/haskell/comments/1oo2at/abstractions_for_the_functi… 13. http://www.reddit.com/r/haskell/comments/1olk04/the_magic_of_join/ 14. http://www.reddit.com/r/haskell/comments/1olk04/the_magic_of_join/ 15. https://vimeo.com/77168227 16. http://www.reddit.com/r/haskell/comments/1oq0dt/a_taste_of_agda_with_france… 17. http://www.youtube.com/watch?v=n6cepTfnFoo 18. http://www.reddit.com/r/haskell/comments/1oq22l/demo_movie_ajhc_haskell_com… 19. http://www.serpentine.com/blog/2013/10/14/open-question-help-me-design-a-ne… 20. http://www.reddit.com/r/haskell/comments/1ohe9m/open_question_help_me_desig… 21. http://imgur.com/a/DRdNi 22. http://www.reddit.com/r/haskell/comments/1om4ie/made_some_haskell_wallpaper… 23. https://github.com/hvr/multi-ghc-travis 24. http://www.reddit.com/r/haskell/comments/1os3f6/how_to_use_travisci_with_mu… 25. http://blog.barrucadu.co.uk/2013/05/27/a-gentle-introduction-to-parsec/ 26. http://www.reddit.com/r/haskell/comments/1ojsi4/a_gentle_introduction_to_pa… 27. http://www.haskell.org/pipermail/haskell-cafe/2013-October/110997.html 28. http://www.reddit.com/r/haskell/comments/1onnab/haskellorg_committee_is_loo… 29. http://idontgetoutmuch.wordpress.com/2013/10/13/backpropogation-is-just-ste… 30. http://www.reddit.com/r/haskell/comments/1odmk1/backpropogation_steepest_de… 31. https://gist.github.com/nikita-volkov/6977841 32. http://www.reddit.com/r/haskell/comments/1oicmu/anonymous_records_a_solutio… 33. http://stackoverflow.com/questions/19413438/is-there-a-canonical-haskell-ty… 34. http://stackoverflow.com/questions/19343695/show-progress-of-haskell-program 35. http://stackoverflow.com/questions/19347907/does-data-bytestring-readfile-b… 36. http://stackoverflow.com/questions/19371636/am-i-abusing-unsafeperformio 37. http://stackoverflow.com/questions/19415306/ghcjs-how-do-i-import-a-high-or… 38. http://stackoverflow.com/questions/19461227/simulating-a-spring-damper-syst… 39. https://plus.google.com/105107667630152149014/about

1 0

JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING - CFP Deadline extended
by Josep Silva Galiana 24 Oct '13

24 Oct '13

[Apologies for multiple copies] Due to numerous requests, we have extended the deadline for this special issue of the JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING. We welcome papers related to the specification, design, construction, debugging, verification and validation of web systems. **************************************************************************** (Extended) Call for Papers JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING Special Issue on Automated Specification and Verification of Web Systems http://www.dsic.upv.es/~jsilva/wwv2013/jlap2014/ **************************************************************************** IMPORTANT DATES Submission of papers: November 15, 2013 First review decision: February 15, 2014 Revision due: March 30, 2014 Acceptance notification: May 15, 2014 Final manuscript due: June 15, 2014 Expected publication: Summer/Autumn 2014 AIMS AND SCOPE This special issue of the Journal of Logic and Algebraic Programming (JLAP, http://www.journals.elsevier.com/the-journal-of-logic-and-algebraic-program…) is devoted to the topics of: - the 9th International Workshop on Automated Specification and Verification of Web Systems (WWV 2013, http://www.dsic.upv.es/~jsilva/wwv2013/) which took place on June 2013 in Firenze, as part of the International Federated Conferences on Distributed Computing Techniques (DisCoTec 2013). This is however an open call for papers, therefore both participants of the workshops and other authors are encouraged to submit contributions. The aim of this special issue is to provide an interdisciplinary forum to facilitate the cross-fertilization and the advancement of hybrid methods that exploit concepts and tools drawn from Rule-based programming, Software engineering, Formal methods and Web-oriented research. Nowadays, many companies and institutions have diverted their Web sites into interactive, completely-automated, Web-based applications for, e.g., e-business, e-learning, e-government and e-health. The increased complexity and the explosive growth of Web systems have made their design and implementation a challenging task. Systematic, formal approaches to their specification and verification can permit to address the problems of this specific domain by means of automated and effective techniques and tools. We solicit original papers on topics of either theoretical or applied interest, which include, but are not limited to: - Approaches to Web system analysis, certification, specification, verification, and optimization. - Languages and models for programming and designing Web systems. - Formal methods for describing and reasoning about Web systems. - Model-checking, synthesis and debugging of Web systems. - Analysis and verification of linked data. - Web information retrieval. - Abstract interpretation and program transformation applied to the semantic Web. - Intelligent tutoring and advisory systems for Web specifications authoring. - Middleware and frameworks for composition and orchestration of Web services. - Web quality and Web metrics. - Web usability and accessibility. - Testing and evaluation of Web systems and applications. SUBMISSION We expect original articles (typically 20-30 pages; submission of larger papers will be evaluated depending on editorial constraints) that present high-quality contributions that have not been previously published in another journal and that must not be simultaneously submitted for publication elsewhere. Each paper will undergo a thorough evaluation by at least two reviewers. The authors will have about 50 days to incorporate the comments of the reviewers and submit a revised version of their papers, which will be evaluated again by the reviewers to make a final decision. Contributions should be in PDF format and must comply with JLAP's author guidelines, which can be retrieved from http://www.elsevier.com/wps/find/journaldescription.cws_home/621520/authori…. The manuscripts must be written in English and should be prepared using the Elsevier LaTeX package. Submissions are handled using the Elsevier Editorial System and can be uploaded using the following link: http://ees.elsevier.com/jlap/default.asp In the submission process, the authors must select the article type 'WWV 2013'. GUEST EDITORS António Ravara (aravara(a)fct.unl.pt) Universidade Nova de Lisboa, Portugal Josep Silva (jsilva(a)dsic.upv.es) Universitat Politècnica de València, Spain

1 0