http://blog.gmane.org/gmane.comp.lang.haskell.general hourly 1 1901-01-01T00:00+00:00 http://gmane.org/img/gmane-25t.png http://gmane.org http://comments.gmane.org/gmane.comp.lang.haskell.general/19833 <pre> ======================================================================== CALL FOR PAPERS 6th International Conference on Software Language Engineering (SLE 2013) Oct 26-28, 2013, Indianapolis, IN, USA (Co-located with SPLASH 2013 and GPCE 2013) General chair: Eric Van Wyk, University of Minnesota, USA Program co-chairs: Martin Erwig, Oregon State University, USA Richard Paige, University of York, UK Keynote speaker: Don Batory, University of Austin, USA http://planet-sl.org/sle2013 ======================================================================== IMPORTANT DATES Deadline for abstracts: June 7, 2013 (Midnight UTC-8, Pacific Standard Time) Deadline for full papers: June 14, 2013 (Midnight UTC-8, Pacific Standard Time) Notification to authors: August 3, 2013 Camera-ready copies due: August 16, 2013 Conference: October 26 -28, 2013 TYPES OF SUBMISSIONS We solicit the following types of papers: - Research papers: These should report a substantial research contribution</pre> Martin Erwig 2013-05-22T18:52:22 http://comments.gmane.org/gmane.comp.lang.haskell.general/19830 <pre>============================================================================ ICSM 2013 CFP - ERA/Tool Demo/Doctoral Symposium/Industry Tracks ============================================================================ 29th IEEE International Conference on Software Maintenance 22 - 28 September 2013 - Eindhoven, The Netherlands http://icsm2013.tue.nl/ Follow us on Twitter: &lt; at &gt;IEEEICSM ============================================================================ The deadline for the ERA/Tool Demo/Doctoral Symposium/Industry tracks is approaching! Please read below and refer to the web page for further information. ================================ IMPORTANT DATES ================================ Abstract submission: June 17, 2013 Full papers submission: June 24, 2013 Notification: July 26, 2013 Camera-ready: August 9, 2013 ================================ ERA Track ================================ The goal of the Early Research Achievements (ERA) track is to provide researchers and practitioners with a f</pre> Natalia Dragan 2013-05-21T03:11:56 http://comments.gmane.org/gmane.comp.lang.haskell.general/19829 <pre>Hal8 - Haskell in Leipzig, June 21. visit the workshop web site for program and registration: http://www.bioinf.uni-leipzig.de/conference-registration/13haskell See you - Johannes Waldmann. _______________________________________________ Haskell mailing list Haskell&lt; at &gt;haskell.org http://www.haskell.org/mailman/listinfo/haskell </pre> Johannes Waldmann 2013-05-17T14:45:15 http://comments.gmane.org/gmane.comp.lang.haskell.general/19826 <pre>Hello everybody, please find attached the description of a newly opened PhD position in bioinformatics at our group in Vienna. Mit freundlichem Gruss, Christian _______________________________________________ Haskell mailing list Haskell&lt; at &gt;haskell.org http://www.haskell.org/mailman/listinfo/haskell </pre> Christian Hoener zu Siederdissen 2013-05-16T15:53:19 http://comments.gmane.org/gmane.comp.lang.haskell.general/19825 <pre>Dear Haskellers, AlephCloud (www.alephcloud.com) is a well-funded and fast-paced Silicon Valley startup just emerging from stealth mode. We intend to change cloud content management to make it secure but still easy to use – and we have the team and world-class leadership to make it happen. We are seeking passionate software engineers who want to work on cloud content management solutions that meet highest security standards. You will be working closely with cryptographers, architects, product management, and data center operators to design and build server components. We are looking for experienced engineers with skills in: · Functional programing in a strongly typed language such as Haskell · Systems programming languages such as C or C++ · Development in a UNIX environment with open source software · Service security and identity management · Development of domain specific languages for policy and compliance · Cloud services and Cloud databases What should you </pre> Krishna Sunkammurali 2013-05-16T07:09:25 http://comments.gmane.org/gmane.comp.lang.haskell.general/19824 <pre>Welcome to issue 267 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers the week of April 28 to May 11, 2013. Quotes of the Week * ciaranm: a category is just a category in the category of categories * cmccann: the Either monad is like the Maybe monad, except with something instead of Nothing. * sclv: Q: Why are the adjunctions of Galois connections backwards? A: He never got the hang of duals. * acowley: blackdog's experience with IDEs is apparently both more sensual and more culinary than mine * cmccann: shachaf jokes are what the quotes section of HWN is for. cmccann: though lately there have been not as many :[ shachaf: cmccann: Hey, there wasn't a single shachaf quote in the last HWN! shachaf: Leave me alone. shachaf: There were two cmccann quotes. * edwardk: cmccann: i'm NDA'd out of that space for a while ;) elliott: edwardk just collects NDAs so that he can focu</pre> Daniel Santa Cruz 2013-05-16T00:04:07 http://comments.gmane.org/gmane.comp.lang.haskell.general/19822 <pre>LinkedIn ------------ Daniel Díaz Casanueva requested to add you as a connection on LinkedIn: ------------------------------------------ Adrian, I'd like to add you to my professional network on LinkedIn. - Daniel Accept invitation from Daniel Díaz Casanueva http://www.linkedin.com/e/-y1615u-hgr1efjt-n/A5eR2FIG5M9-4jk43rQ4JqtVY2yX2KP/blk/I327947004_140/e39SrCAJoS5vrCAJoyRJtCVFnSRJrScJr6RBfnhv9ClRsDgZp6lQs6lzoQ5AomZIpn8_c3gNnPgMc3sQejsOcQALtTtNsPtzi5gLcjwScPwNdP0PcP4LrCBxbOYWrSlI/eml-comm_invm-b-in_ac-inv28/?hs=false&amp;tok=0Sa2urT3go4lM1 View profile of Daniel Díaz Casanueva http://www.linkedin.com/e/-y1615u-hgr1efjt-n/rso/255311896/LIky/name/144943986_I327947004_140/?hs=false&amp;tok=3t1chtUlQo4lM1 ------------------------------------------ You are receiving Invitation emails. This email was intended for Adrian Borucki. Learn why this is included: http://www.linkedin.com/e/-y1615u-hgr1efjt-n/plh/http%3A%2F%2Fhelp%2Elinkedin%2Ecom%2Fapp%2Fanswers%2Fdetail%2Fa_id%2F4788/-GXI/?hs=false&amp;tok=0pRQw</pre> Daniel Díaz Casanueva 2013-05-15T21:44:06 http://comments.gmane.org/gmane.comp.lang.haskell.general/19819 <pre>Well, my question does not meet the standards for a question at stackoverflow: (I am a haskell beginner) This example is from LYAH: import System.Random finiteRandoms :: (RandomGen g, Random a, Num n) =&gt; n -&gt; g -&gt; ([a], g) finiteRandoms 0 gen = ([], gen) finiteRandoms n gen = let (value, newGen) = random gen (restOfList, finalGen) = finiteRandoms (n-1) newGen in (value:restOfList, finalGen) Looking at that function, I find it impossible to understand how that recursion works. I have to pull out a pencil and paper to figure it out. If I was given the task of writing that function, I would write it like this: import System.Random finiteRands :: (RandomGen g, Random a) =&gt; Int -&gt; g -&gt; [a] finiteRands n gen = finiteRands' n gen [] finiteRands' :: (RandomGen g, Random a) =&gt; Int -&gt; g -&gt; [a] -&gt; [a] finiteRands' 0 _ acc = acc finiteRands' n gen acc = let (rand_num, new_gen) = random gen in finiteRands' (n</pre> 7stud 2013-05-15T18:03:49 http://comments.gmane.org/gmane.comp.lang.haskell.general/19818 <pre> Hello, Please find below the Second Call for Papers for the Twelfth ACM SIGPLAN Erlang Workshop. Apologies for any duplicates you may receive. CALL FOR PAPERS ================= Twelfth ACM SIGPLAN Erlang Workshop ----------------------------------------------------------- Boston, Massachusetts, September 28, 2013 (tentative date, subject to change) Satellite event of the 18th ACM SIGPLAN International Conference on Functional Programming (ICFP 2013) September 25-27, 2013 Erlang is a concurrent, distributed functional programming language aimed at systems with requirements of massive concurrency, soft real time response, fault tolerance, and high availability. It has been available as open source for 15 years, creating a community that actively contributes to its already existing rich set of libraries and applications. Originally created for telecom applications, its usage has spread to other domains including e-commerce, banking, databases, and computer telephony and messaging. Erlang progr</pre> Laura M. Castro 2013-05-14T12:03:50 http://comments.gmane.org/gmane.comp.lang.haskell.general/19817 <pre>Assistant Professor in Software Systems University of Dublin, Trinity College Discipline of Software Systems, School of Computer Science and Statistics Post Status: Permanent Job Ref: 030223 Salary: This appointment will be made on the Department of Education and Skills Lecturer Salary Scale in line with current government pay policy and will be capped at a maximum Point 8. Closing Date: 12 noon on Monday, 10th June 2013 The post is tenable from 1 September, 2013. The Discipline of Software Systems in the School of Computer Science and Statistics is seeking to appoint an Assistant Professor in Software Systems. The Discipline is looking for an exceptional person with a proven track record in research in the field of Software Systems, preferably with research expertise in algorithms, data-structures and compilers. A significant series of publications in internationally recognised journals and conferences is expected of candidates. The successful applicant will have a primary degree and PhD in compu</pre> Matthew Hennessy 2013-05-14T10:16:00 http://comments.gmane.org/gmane.comp.lang.haskell.general/19816 <pre>On behalf of all the contributors, I am pleased to announce that the Haskell Communities and Activities Report (24th edition, May 2013) is now available in PDF and HTML formats: http://haskell.org/communities/05-2013/report.pdf http://haskell.org/communities/05-2013/html/report.html Many thanks go to all the people that contributed to this report, both directly, by sending in descriptions, and indirectly, by doing all the interesting things that are reported. I hope you will find it as interesting a read as I did. If you have not encountered the Haskell Communities and Activities Reports before, you may like to know that the first of these reports was published in November 2001. Their goal is to improve the communication between the increasingly diverse groups, projects, and individuals working on, with, or inspired by Haskell. The idea behind these reports is simple: Every six months, a call goes out to all of you enjoying Haskell to contribute brief summarie</pre> Janis Voigtländer 2013-05-11T23:46:36 http://comments.gmane.org/gmane.comp.lang.haskell.general/19815 <pre>---------------------------------------------------------------------- CALL FOR TALK PROPOSALS HOPE 2013 The 2nd ACM SIGPLAN Workshop on Higher-Order Programming with Effects September 28, 2013 Boston, Massachusetts (the day after ICFP 2013) http://hope2013.mpi-sws.org ---------------------------------------------------------------------- HOPE 2013 aims at bringing together researchers interested in the design, semantics, implementation, and verification of higher-order effectful programs. It will be *informal*, consisting of invited talks, contributed talks on work in progress, and open-ended discussion sessions. --------------------- Goals of the Workshop --------------------- A recurring theme in many papers at ICFP, and in the research of many ICFP attendees, is the interaction of higher-order programming with various kinds of effects: st</pre> Hongseok Yang 2013-05-11T21:34:39 http://comments.gmane.org/gmane.comp.lang.haskell.general/19813 <pre>Our formal methods team at Intel has a full-time position available that I think would be a good fit for functional programming and formal methods enthusiasts. I'm including the description below. Do not hesitate to contact me if you've any questions, or just want to talk about it in general. To apply for the position, please visit: http://www.intel.com/jobs/jobsearch/index.htm, and in the "advanced search" area enter the job number: 709631. Thanks, -Levent. Job Description *Formal Methods &amp; Validation Architect* *-* *709631* Description If you're interested in products going into future super computer markets then the Intel® Many Integrated Core (Intel® MIC) Hardware Engineering Group is the place for you! We design and validate silicon chips with many Intel cores integrated inside being used in high performance computing architectures. In this position you will work as part of the pre-silicon formal methods, tools, and verification team to support a continued high quality of the future Intel m</pre> Levent Erkok 2013-05-08T23:49:58 http://comments.gmane.org/gmane.comp.lang.haskell.general/19809 <pre>final call for papers (note: extended deadline) ================================================== Rewriting is the science of replacing equals by equals and thus a very powerful method for dealing with equations. There are strong connections between Haskell programming and rewriting. Therefore, we announce a new workshop, International Workshop on Haskell And Rewriting Techniques (HART 2013) http://www.imn.htwk-leipzig.de/HART2013/ to be held on June 27, in conjunction with RDP 2013, in Eindhoven. (RDP contains RTA, the main rewriting conference.) We plan a half day of discussions, in an informal setting, on how Haskell and rewriting techniques and theories can cross-fertilize each other. Topics of interest are, for example, equational reasoning and other rewriting techniques for program verification and analysis; lambda calculi and type systems for functional programs and higher order rewriting systems; rewriting of type expressions in the type checker; rewriting of programs by refa</pre> Johannes Waldmann 2013-05-08T15:16:33 http://comments.gmane.org/gmane.comp.lang.haskell.general/19808 <pre>Dear fellow haskellers, the strict-base-types package makes it easy to get rid of the unnecessary laziness (and the resulting space leaks) in your applications; i.e., no more data AppState = AppState { _field :: !(Maybe T.Text) , ... } as the alternative import qualified Data.Maybe.Strict as S data AppState = AppState { _field :: !(S.Maybe T.Text) , ... } is now equally cheap. See http://hackage.haskell.org/package/strict-base-types-0.1 for a full explanation of the functionality provided by this package. happy hacking, Simon _______________________________________________ Haskell mailing list Haskell&lt; at &gt;haskell.org http://www.haskell.org/mailman/listinfo/haskell </pre> Simon Meier 2013-05-08T11:40:49 http://comments.gmane.org/gmane.comp.lang.haskell.general/19807 <pre>===================================================================== 2nd Call for papers 15th International Symposium on Principles and Practice of Declarative Programming PPDP 2013 Special Issue of Science of Computer Programming (SCP) Madrid, Spain, September 16-18, 2013 (co-located with LOPSTR 2013) http://users.ugent.be/~tschrijv/PPDP2013/ ====================================================================== EXTENDED SUBMISSION DEADLINE: JUNE 13, 2013 PPDP 2013 is a forum that brings together researchers from the declarative programming communities, including those working in the logic, constraint and functional programming paradigms, but also embracing a variety of other paradigms such as visual programming, executable specification languages, database languages, and knowledge representation languages. The goal is to stimulate research in the use of logical formalisms and method</pre> Tom Schrijvers 2013-05-07T13:43:15 http://comments.gmane.org/gmane.comp.lang.haskell.general/19806 <pre> Have you taught a course using Hutton's textbook on Programming in Haskell? If so, please read on! As part of the national assessment of universities in the UK that takes place every 5-6 years, I'm producing a case study on the impact of the book on student and professional training. The case study will include a number of quotes from academic and industrial users who have used the book for teaching purposes. If you have taught a course using the book any time from January 2008 onwards, and would be willing to provide a short quote (2-3 sentences) for the case study, that would be very much appreciated. It doesn't matter if you are no longer teaching the course or are not currently using the book. If you are interested, drop me an email and I'll explain what's involved. Many thanks, Graham Hutton </pre> Graham Hutton 2013-05-07T13:19:55 http://comments.gmane.org/gmane.comp.lang.haskell.general/19805 <pre> (apologies for multiple copies) * DEADLINE EXTENSION: Paper submission deadline is now May 14th! (instead of May 8th) ========================================================================= Call for Papers Tenth International Workshop on Constraint Handling Rules CHR 2013 http://dtai.cs.kuleuven.be/CHR/CHR2013/ Berlin (Germany), July 13th, 2013 (co-located with the 3rd Intl Summer School on CHR) ========================================================================= Introduction The CHR 2013 Workshop will be held on July 13th, 2013 in Berlin (Germany) at the occasion of the 3rd International Summer School on CHR. More information on the venue and the co-located summer school can be found on the summer school website (http://met.guc.edu.eg/CHR2013/). The Constraint Handling Rules (CHR) language has become a major declara- tive s</pre> Jon Sneyers 2013-05-07T09:31:58 http://comments.gmane.org/gmane.comp.lang.haskell.general/19804 <pre>CALL FOR PAPERS - MEMOCODE 2013 (NOTE: NEW EXTENDED DATES for PAPERS and DESIGN CONTEST) Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign http://www.memocode-conference.com 18-20 October 2013, Portland, Oregon, USA Co-located with DIFTS and FMCAD SCOPE The eleventh ACM/IEEE MEMOCODE conference focuses on research and developments in methods, tools, and architectures for the design of hardware/software systems. MEMOCODE seeks submissions that present novel formal methods and design techniques to create, refine, and verify complex hardware/software systems and to tackle the tight constraints on timing, power, costs, reliability and security that these systems face. We also invite application-oriented papers, and especially encourage submissions that highlight the tools and design perspective of formal methods and models, including success as well as failure stories, constructive analysis thereof, and demonstrations of hardware/software codesign. Techniques may range </pre> Emil Axelsson 2013-05-07T08:22:47 http://comments.gmane.org/gmane.comp.lang.haskell.general/19802 <pre>THIRD AND FINAL CALL FOR PAPERS Third International Symposium on Foundations of Health Information Engineering and Systems http://www.cs.ox.ac.uk/FHIES2013/ International Institute for Software Technology United Nations University, Macau 21st-23rd August, 2013 EXECUTIVE SUMMARY - CHANGES SINCE PREVIOUS CALL Submission deadline extended by two weeks, to May 20th. Additional category of extended abstracts (max 2 pages) solicited. Apologies for duplication. BACKGROUND ICT plays an increasingly enabling role in addressing the global challenges of healthcare, in both the developed and the developing world. The use of software in medical devices has caused growing concerns in relation to safety and efficacy. The increasing adoption of health information systems provides great potential benefits but also poses severe risks, both with respect to security and privacy and in regard to patient safety. Hospital and other information systems raise important issues of workflow support and interoperability. Regulat</pre> Jeremy.Gibbons< at >cs.ox.ac.uk 2013-05-03T14:55:13 http://comments.gmane.org/gmane.comp.lang.haskell.general/19800 <pre>[Please post - apologies for multiple copies.] Deadline extension ================================================= SCSS 2013 Symbolic Computation in Software Science 5th International Symposium Castle of Hagenberg, Austria, July 5-6, 2013 Research Institute for Symbolic Computation (RISC) Johannes Kepler University Linz http://www.risc.jku.at/conferences/scss2013/ ================================================= Important Dates --------------- May 10, 2013: Abstract submission deadline (extended) May 13, 2013: Paper submission deadline (extended) June 3, 2013: Notification of acceptance June 17, 2013: Camera-ready copy deadline July 5-6, 2013: The symposium Scope -------- The purpose of SCSS 2013 is to promote research on theoretical and practical aspects of symbolic computation in software science. The symposium provides a forum for active dialog between researchers from several fields of computer algebra, algebraic geometry, algorithmic combinatorics, computational logic, and software analysis and v</pre> Temur Kutsia 2013-05-02T08:21:52 Search the mailing list at Gmane query http://search.gmane.org/?group=$group=gmane.comp.lang.haskell.general