From ky3 at atamo.com Fri May 1 07:16:00 2015 From: ky3 at atamo.com (Kim-Ee Yeoh) Date: Fri, 1 May 2015 14:16:00 +0700 Subject: [Haskell] Haskell Weekly News Message-ID: *Top Picks:* - Haskell wins a bumper crop of 18 accepted Google Summer of Code proposals . Mentor offers total 44, another thumpin' sign of life. Kudos to Edward Kmett, Johan Tibell, Shachaf Ben-Kiki, and Gershom Bazerman. Gloria Haskella sine labore nulla. - Reddit Haskell celebrates 20k subscribers. It's the 7th largest PL community on reddit after python, javascript, java, php, ruby, c++, in that order. - Matthew Griffith migrates away from Python: "I do most of my web prototyping in Haskell now." A journey vividly logged and much loved on Hacker News . And also on Proggit and Reddit Haskell . - A web developer migrates away from Rails to Haskell and explains on HN the 10x advantage he reaps. - Fancy Python in Haskell dress? Check out Dogelang , charmingly defiant: "With Haskell's syntax but none of its type system, dg is the best way to make fans of static typing shut up already." Proggit kibbitzing here , HN there . - Caio Rordrigues copiously illustrates Haskell programming. Pretty: a tax bracket tool and a coffee shop Point-of-Sale DSL . It's almost a whole book! - Christian Marie starts the ball rolling on library cheatsheets to guide your way through the jungle of hackage. Moar, moar! - Got a C library you'd love Haskell bindings for? Remember Ian Ross and his new C2HS release ? Well, Ian's happy to do it for you. Provisos apply. - Olle Fredriksson announces a combinator-based Earley parsing library which accepts context-free but not context-sensitive (monadic parsing) grammars. Discussion reveals that "one enormously important difference for this library is that it reports all possible parses." - Another Lennart, last name Spitzner, creates another genie that turns type signatures into programs. Unlike Djinn, Exference makes no promises over termination. "Your wish is my command even at the expense of closure." - Like Agda? You can now enjoy the hole-driven development style in Haskell, brought to you courtesy of Mote by Izaak Meckler . Discussion here . - Federico Tomassetti creates a web-based interface to Andrew Gallant's erd tool . Entity-Relationship Diagrams (ERD) come from the database world and help visualize {one,many} to {one,many} relationships. Federico's web app enables him to use erd everywhere without having to install the tool chain multiple times. - Mark Dominus gives a beginner spin to the chestnut of SEND + MORE = MONEY . This puzzle site has comparisons with other languages. - Got a number system? Flip it into a data structure . Re-flip it into an efficient search algorithm . Edward Kmett shows you how. Respective discussion here and here . *In Memoriam* - A key founder of Haskell, Professor Paul Hudak, completed his end-of-life plan after a five-year encounter with leukemia. He stays in the thoughts of all who cherish his gifts from the heart. *Quotes of the Week* - A type system flattens the cost of change curve . -- Chad Austin - The MLs and Haskell remind me of Brian Eno's line about how the first Velvet Underground album only sold 30,000 copies, but "everyone who bought one of those 30,000 copies started a band". -- Source - On the value of Haskell : I find I'm able to accomplish tasks which would otherwise be beyond my skill and intelligence. For example, even though C was the first language I learned, I can't imagine writing a parser in C after discovering the simplicity & readability of monadic parsing in Haskell. - Haskell's level of abstraction is so crazy that they can actually swap out their entire I/O system for another one without changing any application interfaces, this one blew my mind, it's the change that makes GHC 7.8 run the Warp webserver twice as fast. ... All of this without changing a line in Warp, they just transparently made every traditional Haskell use modern I/O principles. Academics man, they're smart ;) -- Source - An old man loved is winter with flowers. -- Edgar Z. Friedenberg *Cool Beans of the Week* - Ravi Chugh and his fine team at U. Chicago just concluded stateside's first ever FRP-based FP course for undergrads using Elm. Check out the student projects for inspiration on FRP architecture. Over in Bonn, Janis Voigtl?nder also gave such a course that completed this year. Paul's legacy lives on. p.s. Coming soon: Cabal Hell -- Kim-Ee -------------- next part -------------- An HTML attachment was scrubbed... URL: From P.Achten at cs.ru.nl Fri May 1 12:39:24 2015 From: P.Achten at cs.ru.nl (Peter Achten) Date: Fri, 01 May 2015 14:39:24 +0200 Subject: [Haskell] [TFP'15] call for participation Message-ID: <554373FC.7030208@cs.ru.nl> ----------------------------- L A S T C A L L F O R P A R T I C I P A T I O N ----------------------------- ======== TFP 2015 =========== 16th Symposium on Trends in Functional Programming June 3-5, 2015 Inria Sophia Antipolis, France http://tfp2015.inria.fr/ The symposium on Trends in Functional Programming (TFP) is an international forum for researchers with interests in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions (see below). Authors of draft papers will be invited to submit revised papers based on the feedback receive at the symposium. A post-symposium refereeing process will then select a subset of these articles for formal publication. The selected revised papers will be published as a Springer Lecture Notes in Computer Science (www.springer.com/lncs) volume. TFP 2015 will be the main event of a pair of functional programming events. TFP 2015 will be accompanied by the International Workshop on Trends in Functional Programming in Education (TFPIE), which will take place on June 2nd. The TFP symposium is the heir of the successful series of Scottish Functional Programming Workshops. Previous TFP symposia were held in * Edinburgh (Scotland) in 2003; * Munich (Germany) in 2004; * Tallinn (Estonia) in 2005; * Nottingham (UK) in 2006; * New York (USA) in 2007; * Nijmegen (The Netherlands) in 2008; * Komarno (Slovakia) in 2009; * Oklahoma (USA) in 2010; * Madrid (Spain) in 2011; * St. Andrews (UK) in 2012; * Provo (Utah, USA) in 2013; * and in Soesterberg (The Netherlands) in 2014. For further general information about TFP please see the TFP homepage. (http://www.tifp.org/). == INVITED SPEAKERS == TFP is pleased to announce talks by the following two invited speakers: * Laurence Rideau is a researcher at INRIA and is interested in the semantics of programming languages , the formal methods, and the verification tools for programs and mathematical proofs. She participated in the beginnings of the Compcert project (certified compiler), and is part of the Component Mathematical team in the MSR-INRIA joint laboratory, who performed the formalization of the Feit-Thompson theorem successfully. Thirty years ago, computers barged in mathematics with the famous proof of the Four Color Theorem. Initially limited to simple calculation, their role is now expanding to the reasoning whose complexity is beyond the capabilities of most humans, as the proof of the classification of finite simple groups. We present our large collaborative adventure around the formalization of the Feit-Thompson theorem (http://en.wikipedia.org/wiki/Feit%E2%80%93Thompson_theorem) that is a first step to the classification of finite groups and that uses a palette of methods and techniques that range from formal logic to software (and mathematics) engineering. * Anil Madhavapeddy == SCOPE == The symposium recognizes that new trends may arise through various routes. As part of the Symposium's focus on trends we therefore identify the following five article categories. High-quality articles are solicited in any of these categories: Research Articles: leading-edge, previously unpublished research work Position Articles: on what new trends should or should not be Project Articles: descriptions of recently started new projects Evaluation Articles: what lessons can be drawn from a finished project Overview Articles: summarizing work with respect to a trendy subject Articles must be original and not simultaneously submitted for publication to any other forum. They may consider any aspect of functional programming: theoretical, implementation-oriented, or experience-oriented. Applications of functional programming techniques to other languages are also within the scope of the symposium. Topics suitable for the symposium include: Functional programming and multicore/manycore computing Functional programming in the cloud High performance functional computing Extra-functional (behavioural) properties of functional programs Dependently typed functional programming Validation and verification of functional programs Debugging and profiling for functional languages Functional programming in different application areas: security, mobility, telecommunications applications, embedded systems, global computing, grids, etc. Interoperability with imperative programming languages Novel memory management techniques Program analysis and transformation techniques Empirical performance studies Abstract/virtual machines and compilers for functional languages (Embedded) domain specific languages New implementation strategies Any new emerging trend in the functional programming area If you are in doubt on whether your article is within the scope of TFP, please contact the TFP 2015 program chair, Manuel Serrano. == BEST PAPER AWARDS == To reward excellent contributions, TFP awards a prize for the best paper accepted for the formal proceedings. TFP traditionally pays special attention to research students, acknowledging that students are almost by definition part of new subject trends. A student paper is one for which the authors state that the paper is mainly the work of students, the students are listed as first authors, and a student would present the paper. A prize for the best student paper is awarded each year. In both cases, it is the PC of TFP that awards the prize. In case the best paper happens to be a student paper, that paper will then receive both prizes. == SPONSORS == TFP is financially supported by Erlang Solutions. == PROGRAM == Please find the program at: http://tfp2015.inria.fr/program/ The program features two invited talks by Laurence Rideau and Anil Madhavapeddy and one comprehensive Dart tutorial by Florian Loitsch. == IMPORTANT DATES == Registration: May 4, 2015 TFP Symposium: June 3-5, 2015 == PROGRAM COMMITTEE == Janis Voigtl?nder University of Bonn, DE Scott Owens University of Kent, UK Neil Sculthorpe Swansea University, UK Colin Runciman University of York, UK Manuel Serrano Inria (PC chair), FR Rinus Plasmeijer University of Nijmegen, NL Tomas Petricek University of Cambridge, UK Marco T. Morazan Seton Hall University, USA Wolfgang De Meuter Vrije Universiteit Brussel, BE Michel Mauny Ensta ParisTech, FR Sam Lindley The University of Edinburgh, UK Daan Leijen Microsoft, USA Jurriaan Hage Utrecht University, NL Andy Gill University of Kansas, USA Thomas Gazagnaire University of Cambrige, UK Lars-Ake Fredlund Universidad Polit?cnica de Madrid, ES Jean-Christophe Filliatre Universit? Paris Sud Orsay, FR Marc Feeley Universit? de Montr?al, CA Olaf Chitil University of Kent, UK Edwin Brady University of St Andrews, UK From ky3 at atamo.com Fri May 1 13:02:47 2015 From: ky3 at atamo.com (Kim-Ee Yeoh) Date: Fri, 1 May 2015 20:02:47 +0700 Subject: [Haskell] Haskell Weekly News In-Reply-To: References: Message-ID: > Another Lennart, last name Spitzner, creates another genie that turns type > signatures into programs. Unlike Djinn, Exference > > makes no promises over termination. "Your wish is my command even at the > expense of closure." > > Like Agda? You can now enjoy the hole-driven development style in Haskell, > brought to you courtesy of Mote by Izaak Meckler > . Discussion here > > . > Relevant addendum: - Ever use 'undefined' when writing definition stubs? Ever wished you had a type-level 'undefined' too? Thomas Winant explains advanced stubbing using GHC 7.10's new PartialTypeSignatures extension. Three years later, Dan Burton's wish is granted. Thanks to Dominique Devriese for prompting inclusion. And speaking of granting wishes, stub-driven development in your favorite editor jetpacked with type-to-term genies is tantalizingly within grasp. Visual Studio , eat your heart out. -- Kim-Ee -------------- next part -------------- An HTML attachment was scrubbed... URL: From Nalqirim at uaeu.ac.ae Sun May 3 09:17:44 2015 From: Nalqirim at uaeu.ac.ae (Nabeel Al-Qirim) Date: Sun, 3 May 2015 09:17:44 +0000 Subject: [Haskell] CF STUDENT POSTERS for Innovations'15 (No registration fees), Dubai, November 01-03, 2015 Message-ID: <613A9065892D6441AC7E1D2FE4E16EA147CE4C12@PEXMBOX20101.uaeu.ac.ae> From: Nabeel Al-Qirim Sent: Monday, March 09, 2015 3:23 PM To: haskell at haskell.org; Haskell Cafe Subject: CF STUDENT POSTERS for Innovations'15 (No registration fees), Dubai, November 01-03, 2015 CF STUDENT POSTERS for Innovations'15 (No registration fees), Dubai, November 01-03, 2015 IIT?15: The 11th International Conference on Innovations in Information Technology 2015 URL: http://www.it-innovations.ae/iit2015/posters.html The IIT?15 Student Poster and Demos Committee invites all undergraduate and graduate students to submit an extended (2 pages max.) abstract and to display it as a poster during the IIT?15. The poster topic should fall within the conference?s theme and tracks. SUBMISSION Extended abstracts should be sent to Dr. Nabeel Al-Qirim at nalqirim at uaeu.ac.ae. All students are encouraged to review their abstracts with their faculty advisers prior to submission. All accepted abstracts will be published by the IIT?15 proceedings. IMPORTANT DATES -Student Poster (Extended Paper) Submission May 30, 2015 -Notification of Student Poster acceptance July 15, 2015 -Camera ready Extended Paper and Poster material September 01, 2015 -Conference November 01-03, 2015 BEST STUDENT POSTER AWARDS There will be a competition for best student poster award at the IIT?15. This award will be given to recognize student excellence in research and presentation. CONTACT Queries should be directed to: Dr. Nabeel Al-Qirim at nalqirim at uaeu.ac.ae Thanks, Dr. Nabeel Al-Qirim IIT?15 Student Poster and Demos Chair College of Information Technology United Arab Emirates University P.O Box 15551 - Al Ain United Arab Emirates Tel: +971-3-7135531 Mobile: +971-507308705 Fax: +971-3-7672018 Email: nalqirim at uaeu.ac.ae Website: http://nalqirim.wix.com/nabeel-al-qirim Disclaimer:"The content of this email together with any attachments, statements and opinions expressed herein contains information that is confidential in nature and intended for the named addressee(s) only. If you are not the addressee of this email or you have received this message in error please notify the sender and delete the message and any associated files from your system, you have no right to copy, print, distribute or use this email or any of its attachments, or permit or disclose its contents to any other party in any way, except with the prior approval of the sender. In case of breach of what has been explained above, you will be held legally accountable." ?????: "?????: ?? ????? ??? ?????? ?????????? ???????? ???????? ?????? ??????? ?? ??? ??????? ????? ??? ??????? ????? ??? ????? ????? ??????? ?????? ???? ???? ???? ?? ??? ?????? ???? ?? ??? ??????? ?? ??? ?? ????? ??????? ??????? ????? ????? ??????? ???? ??????? ???? ????? ?????? ?? ?????? ????? ??? ?? ??? ???? ???? ?? ??? ?? ????? ?? ????? ?? ??????? ??????? ??? ?????? ??????????? ?? ?????? ?? ????? ?? ??? ??? ??? ??? ??? ?? ??? ??? ??????? ????? ?? ?????? ????? ??? ?????? ??? ??? ?????? ???????? ?????????" . www.uaeu.ac.ae From compscience.announcement at gmail.com Mon May 4 14:56:01 2015 From: compscience.announcement at gmail.com (Klaus Havelund) Date: Mon, 4 May 2015 09:56:01 -0500 Subject: [Haskell] Call for participation (FCRC+LCTES) Message-ID: FCRC?15 Early bird registration is now open for FCRC 2015, the event that assembles a spectrum of affiliated research conferences and workshops into a week-long coordinated meeting. FCRC 2015 will be held at the Oregon Convention Center, in Portland, Oregon from June 13 ? 19, 2015. Early Registration ends May 18th. This year?s plenary speakers include: Michael Stonebraker, MIT CSAIL, 2014 ACM Turing Award Winner, who will deliver the 2014 ACM Turing Lecture; Andrew Yao, Tsinghua University; Olivier Temam, Google; Don Syme, Microsoft Research; Kathy Yelick, University of California at Berkeley and Balaji Prabhakar, Stanford University Computational Complexity Conference CRA-W 2015 Career Mentoring Workshops EC 2015 [The 16th ACM Conference on Economics and Computation] HPDC 2015 [The 24th International Symposium on High-Performance Parallel and Distributed Computing] ISCA 2015 [The 42nd International Symposium on Computer Architecture] ISMM 2015 [ACM SIGPLAN International Symposium on Memory Management] IWQoS 2015 [IEEE/ACM International Symposium on Quality of Service] LCTES 2015 [ACM SIGPLAN/SIGBED International Conference on Languages, Compilers and Tools for Embedded Systems] PADL 2015 [17th Symposium on Practical Aspects of Declarative Languages] PLDI 2015 [36th ACM SIGPLAN Conference on Programming Language Design and Implementation] SIGMETRICS 2015 [International Conference on Measurement and Modeling of Computer Systems] SPAA 2015 [ACM Symposium on Parallelism in Algorithms and Architectures] STOC 2015 [47th ACM Symposium on Theory of Computing] TRANSACT [10th ACM SIGPLAN Workshop on Transactional Computing] -------------- next part -------------- An HTML attachment was scrubbed... URL: From maciej.pirog at cs.ox.ac.uk Tue May 5 20:39:31 2015 From: maciej.pirog at cs.ox.ac.uk (Maciej Pirog) Date: Tue, 05 May 2015 21:39:31 +0100 Subject: [Haskell] Summer School on Generic and Effectful Programming Message-ID: <040d2c828e8b1d2e630d97cd2ab7e87f@webmail.cs.ox.ac.uk> Call for Participation SUMMER SCHOOL ON GENERIC AND EFFECTFUL PROGRAMMING St Anne's College, Oxford, 6th to 10th July 2015 http://www.cs.ox.ac.uk/projects/utgp/school/ TOPIC Generic programming is a technique that exploits the inherent structure that exists in data, to automatically produce efficient and flexible algorithms that can be adapted to suit different needs. The goal of this school is to explore datatype-generic programming and related topics from a variety of different angles, emphasizing in particular the interplay of generics and effects. This summer school is the closing activity of the EPSRC-funded project "Unifying Theories of Generic Programming" at Oxford University. LECTURERS Six lecturers from the Programming Languages community, each an acknowledged expert in their specialism, will cover various aspects of generic and effectful programming. Each will give about four hours' lectures, distributed throughout the week. Edwin Brady (University of St Andrews) "Embedded Domain-Specific Languages in Idris" Fritz Henglein (University of Copenhagen) "Worst-case Efficient Generic Functional Programming on Bulk Data" Andres L?h (Well-Typed) "Applying Type-level and Generic Programming in Haskell" Conor McBride (University of Strathclyde) "Datatypes of Datatypes" Don Syme (Microsoft Research) "Compile-time Meta-programming for the Information-rich World" Tarmo Uustalu (Tallinn University of Technology) "Containers for Effects and Contexts" PREREQUISITES The school is aimed at doctoral students in programming languages and related areas; however, researchers and practitioners will be very welcome, as will strong masters students with the support of a supervisor. It will be assumed that participants have a good understanding of typed functional programming, as in Haskell, O'Caml, or F#. DATES Registration deadline: 21st June 2015 School: 6th July (9am) to 10th July 2015 (lunchtime) COSTS Costs will be kept low, thanks to support from EPSRC. There will be a nominal registration fee of ?135, and B&B accommodation in college will be ?75 (ensuite) or ?48 (shared bathroom) per night. We can accept at most 50 participants; places will be allocated on a first-come, first-served basis. FURTHER INFORMATION Further information, including instructions on how to register, is available at the website: http://www.cs.ox.ac.uk/projects/utgp/school/ From Gunnar.Brinkmann at ugent.be Wed May 6 08:44:40 2015 From: Gunnar.Brinkmann at ugent.be (Gunnar Brinkmann) Date: Wed, 06 May 2015 10:44:40 +0200 Subject: [Haskell] Position in foundations of software and programming languages In-Reply-To: <5549D36C.8090404@ugent.be> References: <5549D36C.8090404@ugent.be> Message-ID: <5549D478.7060208@ugent.be> Dear subscribers of the haskell mailing list, Ghent University has an opening for a full time tenure track position in "foundations of software and programming languages". Details can be found at http://www.ugent.be/en/work/vacancies/professorial-staff/foundations-of-software-and-programming-languages Additional question can be posed to Gunnar.Brinkmann at ugent.be. With kind regards, Gunnar Brinkmann -- Gunnar Brinkmann Applied Mathematics, Computer Science and Statistics Ghent University Krijgslaan 281 - S9 B - 9000 Ghent email: Gunnar.Brinkmann at UGent.be phone: +32-9-264.48.07, Fax: +32-9-264.49.95 From Graham.Hutton at nottingham.ac.uk Wed May 6 09:04:24 2015 From: Graham.Hutton at nottingham.ac.uk (Graham Hutton) Date: Wed, 6 May 2015 10:04:24 +0100 Subject: [Haskell] Assistant Professorship in Nottingham Message-ID: Dear all, The School of Computer Science at the University of Nottingham is seeking to appoint a new Assistant Professor: http://www.nottingham.ac.uk/jobs/currentvacancies/ref/SCI41814 Applications in the area of the Functional Programming (FP) lab are encouraged. The FP lab is keen to receive applications from candidates with an excellent publication record, experience in combining theory with practice, and the ability to secure external funding to support their research. Further information about the FP lab is available from: http://fp.cs.nott.ac.uk The deadline for applications is Wednesday 15th July 2015. Best wishes, Graham -- Prof Graham Hutton Functional Programming Lab School of Computer Science University of Nottingham, UK http://www.cs.nott.ac.uk/~gmh This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please send it back to me, and immediately delete it. Please do not use, copy or disclose the information contained in this message or in any attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. This message has been checked for viruses but the contents of an attachment may still contain software viruses which could damage your computer system, you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation. From liyuanfang at gmail.com Thu May 7 11:59:15 2015 From: liyuanfang at gmail.com (liyuanfang at gmail.com) Date: Thu, 07 May 2015 04:59:15 -0700 (PDT) Subject: [Haskell] Associate Professor (Software Engineering) position at Monash University Message-ID: <554b5393.640b450a.1ed9.5ac4@mx.google.com> The Faculty of Information Technology at Monash University is seeking an experienced academic in the field of Software Engineering, with a demonstrated track record of excellence in teaching and research, to lead its Software Engineering programs. A member of the prestigious Australian Group of Eight Universities, Monash University is the only Australian university with a dedicated Faculty of IT, where both our research and education programs cover the full span of IT, from Computer Science and Software Engineering, through Networks and Security, to Business Information Systems and the Digital Humanities. This Associate Professor (Level D) position will be located at our Clayton campus (located in Melbourne's south-eastern suburbs), where we offer a 4-year Bachelor of Software Engineering degree, accredited by both Engineers Australia and the Australian Computer Society. Monash is seeking to boost its existing expertise in Software Engineering, and the successful applicant will be asked to lead a new hiring round for further Lecturer/Senior Lecturer positions. For full details and to apply, see here: http://jobs.monash.edu.au/jobDetails.asp?sJobIDs=534496&sKeywords=Associate+Professor+%28Software+Engineering%29&lWorkTypeID=&lLocationID=&lCategoryID=&lBrandID=&sJobNo=Associate+Professor+%28Software+Engineering%29&stp=AW&sLanguage=en. Closing date: Sunday 14 June 2015, 11:55pm Aus. Eastern Standard Time Enquiries: Prof. Graham Farr, Head of Campus, Clayton, Faculty of IT +61 3 9905 5201. email: graham.farr at monash.edu From semen at trygub.com Thu May 7 23:29:26 2015 From: semen at trygub.com (Semen Trygubenko / =?utf-8?B?0KHQtdC80LXQvSDQotGA0LjQs9GD0LHQtdC9?= =?utf-8?B?0LrQvg==?=) Date: Fri, 8 May 2015 00:29:26 +0100 Subject: [Haskell] Haskell Weekly News: Issue 328 In-Reply-To: <20150423225841.GA8001@inanna.trygub.com> References: <20150326222444.GA91822@inanna.trygub.com> <20150409225936.GA1070@inanna.trygub.com> <20150423225841.GA8001@inanna.trygub.com> Message-ID: <20150507232926.GA3288@inanna.trygub.com> Calls for Participation School of Haskell 2.0 Open-source version of School of Haskell is going to be released soon! Michael Sloan explains that the aim is to remove any obstacles that historically discouraged people from contributing to School of Haskell through making it open-source, Creative-Commons-licensed and GitHub-hosted and more usable by allowing websites to include editable and runnable Haskell code with ease. He outlines the plans for the editor and markdown rendering services and asks for feedback and more ideas. https://www.fpcomplete.com/blog/2015/05/school-of-haskell-2 http://www.reddit.com/r/haskell/comments/34uc8y/school_of_haskell_20/ Talks Functional Programming @ Amplidata Koen De Keyser gave a talk about Amplidata and their introduction of OCaml as an alternative to Python/C++ in 2010 and transition from OCaml to Haskell in 2014. He argues that going strongly-typed and functional meant moving bugs from test/run time to compile time, gaining expressiveness and reducing boiler-plate, and switching to Haskell meant joining larger community, gaining access to commercial support, adding multi-threaded runtime / garbage collector and enforcing separation of side effects from pure functions (though ramp-up time was significant and "tools are nowhere near Java / .NET / C++ level"). http://people.cs.kuleuven.be/~tom.schrijvers/Research/talks/lhug4b.pdf Discussion People using Haskell in production: what is your build/deployment setup? Jameshfisher asks a number of build/deployment questions on Reddit, as he is starting a "real" Haskell project. Community responses suggest that deploying Haskell is no different from deploying anything else. Haskell-specific parts frequently feature Cabal, Stackage and Shake. http://www.reddit.com/r/haskell/comments/34m4bq/people_using_haskell_in_production_what_is_your/ How to Replace Failure by a Heap of Successes Edward Kmett writes a blog post on writing parsing combinators. He explains gains and losses of switching from State monad to Update monad in parsers, and argues that limited structure of updates can be exploited to yield a more efficient Applicative for parsing and help unclutter parser implementation through better handling of the issue of parse leftovers. https://www.fpcomplete.com/user/edwardk/heap-of-successes http://www.reddit.com/r/haskell/comments/34kouv/edward_kmett_how_to_replace_failure_by_a_heap_of/ Smarter validation Roman Cheplyaka explores different ways of handling and communicating errors in Haskell ? Either Monad, Validation Applicative, and SmartValidation Applicative. Either halts on first error, Validation Applicative reports all errors, whereas SmartValidation applicative reports first N errors and stops doing work when N errors were gathered. Roman wants to hear how other people are approaching "first N errors" problem. https://ro-che.info/articles/2015-05-02-smarter-validation Haskell Web Server in a 5MB Docker Image Tim Dysinger solves the problem of redirection of all Amazon Elastic Load Balancer HTTP traffic to HTTPS in Haskell, in one hour and 97 lines of code, and produces a 1.22 MB exe. He argues that Haskell's performance can compete with natively compiled systems languages like Go, Rust and even hand-written C, and that Haskell allows to communicate intent in code with precision. https://www.fpcomplete.com/blog/2015/05/haskell-web-server-in-5mb https://github.com/fpco/rdr2tls Quotes of the Week "I like safePerformIO = Just . don't" (sinelaw) http://www.reddit.com/r/haskell/comments/34kl93/just_stumbled_on_to_the_acmeeverything_library/cqwrxfm "Interactive Haddocks sounds like a dream." (NihilistDandy) http://www.reddit.com/r/haskell/comments/34uc8y/school_of_haskell_20/cqy8sau "Being able to have runnable code on standalone blogs is huge!" (roche) http://www.reddit.com/r/haskell/comments/34uc8y/school_of_haskell_20/cqyab7z "If you want to have a type system related heart attack, the acme-stringly-typed library provides it." (tsahyt) http://www.reddit.com/r/haskell/comments/34kl93/just_stumbled_on_to_the_acmeeverything_library/cqvv9td https://hackage.haskell.org/package/acme-stringly-typed -------------- next part -------------- A non-text attachment was scrubbed... Name: not available Type: application/pgp-signature Size: 181 bytes Desc: not available URL: From publicityifl at gmail.com Sun May 10 20:02:42 2015 From: publicityifl at gmail.com (publicityifl at gmail.com) Date: Sun, 10 May 2015 13:02:42 -0700 (PDT) Subject: [Haskell] First Call for Papers for IFL 2015 Message-ID: <554fb962.2853b40a.5b6d.1146@mx.google.com> Hello, Please, find below the first call for papers for IFL 2015. Please forward these to anyone you think may be interested. Apologies for any duplicates you may receive. best regards, Jurriaan Hage Publicity Chair of IFL --- IFL 2015 - Call for papers 27th SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES - IFL 2015 University of Koblenz-Landau, Koblenz, Germany In cooperation with ACM SIGPLAN September 14-16, 2015 http://ifl2015.wikidot.com/ Scope The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. IFL 2015 will be a venue for researchers to present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the implementation and application of functional languages and function-based programming. Peer-review Following the IFL tradition, IFL 2015 will use a post-symposium review process to produce the formal proceedings. All participants of IFL2015 are invited to submit either a draft paper or an extended abstract describing work to be presented at the symposium. At no time may work submitted to IFL be simultaneously submitted to other venues; submissions must adhere to ACM SIGPLAN's republication policy: http://www.sigplan.org/Resources/Policies/Republication The submissions will be screened by the program committee chair to make sure they are within the scope of IFL, and will appear in the draft proceedings distributed at the symposium. Submissions appearing in the draft proceedings are not peer-reviewed publications. Hence, publications that appear only in the draft proceedings do not count as publication for the ACM SIGPLAN republication policy. After the symposium, authors will be given the opportunity to incorporate the feedback from discussions at the symposium and will be invited to submit a revised full article for the formal review process. From the revised submissions, the program committee will select papers for the formal proceedings considering their correctness, novelty, originality, relevance, significance, and clarity. Important dates August 10: Submission deadline draft papers August 12: Notification of acceptance for presentation August 14: Early registration deadline August 21: Late registration deadline September 7: Submission deadline for pre-symposium proceedings September 14-16: IFL Symposium December 1: Submission deadline for post-symposium proceedings January 15, 2016: Notification of acceptance for post-symposium proceedings March 1, 2016: Camera-ready version for post-symposium proceedings Submission details Prospective authors are encouraged to submit papers or extended abstracts to be published in the draft proceedings and to present them at the symposium. All contributions must be written in English. Papers must adhere to the standard ACM two columns conference format. For the pre-symposium proceedings we adopt a 'weak' page limit of 12 pages. For the post-symposium proceedings the page limit of 12 pages is firm. A suitable document template for LaTeX can be found at: http://www.acm.org/sigs/sigplan/authorInformation.htm Authors submit through EasyChair: https://easychair.org/conferences/?conf=ifl2015 Topics IFL welcomes submissions describing practical and theoretical work as well as submissions describing applications and tools in the context of functional programming. If you are not sure whether your work is appropriate for IFL 2015, please contact the PC chair at rlaemmel at acm.org. Topics of interest include, but are not limited to: - language concepts - type systems, type checking, type inferencing - compilation techniques - staged compilation - run-time function specialization - run-time code generation - partial evaluation - (abstract) interpretation - metaprogramming - generic programming - automatic program generation - array processing - concurrent/parallel programming - concurrent/parallel program execution - embedded systems - web applications - (embedded) domain specific languages - security - novel memory management techniques - run-time profiling performance measurements - debugging and tracing - virtual/abstract machine architectures - validation, verification of functional programs - tools and programming techniques - (industrial) applications Peter Landin Prize The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honored article is selected by the program committee based on the submissions received for the formal review process. The prize carries a cash award equivalent to 150 Euros. Programme committee Chair: Ralf L??mmel, University of Koblenz-Landau, Germany - Malgorzata Biernacka, University of Wroclaw, Poland - Laura M. Castro, University of A Coru??a, Spain - Martin Erwig, Oregon State University, USA - Dan Ghica, University of Birmingham, UK - Andrew Gill, University of Kansas, USA - Stephan Herhut, Google, USA - Zhenjiang Hu, National Institute of Informatics (NII), Japan - Mauro Jaskelioff, CIFASIS/Universidad Nacional de Rosario, Argentina - Fr??d??ric Jouault, ESEO, France - Oleg Kiselyov, Tohoku University, Japan - Lindsey Kuper, Indiana University, USA - Rita Loogen, Philipps-Universit??t Marburg, Germany - Akimasa Morihata, University of Tokyo, Japan - Atsushi Ohori, Tohoku University, Japan - Bruno C. D. S. Oliveira, The University of Hong Kong, Hong Kong - Frank Piessens, Katholieke Universiteit Leuven, Belgium - Norman Ramsey, Tufts University, USA - Matthew Roberts, Macquarie University, Australia - Manfred Schmidt-Schauss, Goethe-University Frankfurt, Germany - Simon Thompson, University of Kent, UK - Stephanie Weirich, University of Pennsylvania, USA - Steve Zdancewic, University of Pennsylvania , USA Venue The 27th IFL will be held in association with the Faculty of Computer Science, University of Koblenz-Landau, Campus Koblenz. Koblenz is well connected by train to several international airports. For instance, Koblenz can be reached from Frankfurt by high-speed train ICE within an hour. The modern Koblenz campus is close to the city center and can be reached by foot, bus, or cab. See the website for more information on the venue. From atze at uu.nl Tue May 12 09:58:53 2015 From: atze at uu.nl (Atze Dijkstra) Date: Tue, 12 May 2015 11:58:53 +0200 Subject: [Haskell] Call for participation: Applied Functional Programming (AFP) Summerschool 6-17 July 2015, Utrecht, Netherlands Message-ID: =========== AFP Summerschool 2015 =========== Applied Functional Programming (AFP) Summerschool July 6-17, 2015 Utrecht University, Department of Information and Computing Sciences Utrecht, The Netherlands Summerschool & registration website: http://www.utrechtsummerschool.nl/courses/science/applied-functional-programming-in-haskell AFP website : http://www.cs.uu.nl/wiki/USCS contact : Uscs-afp at lists.science.uu.nl *** The 2015 edition of the Applied Functional Programming (AFP) Summerschool in Utrecht, Netherlands will be held from 6-17 July 2015. 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 a summary from the summerschool info: ``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.'' *** This year is somewhat special in that the Tour de France starts in Utrecht the weekend before the start of the summerschool. It is an opportunity for enjoying the related festivities. It also implies that housing may be more difficult the weekend before the summerschool, something to keep in mind when you wait with registration until the latest. 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 at uu.nl ............... / |___\ _______________________________________________ Haskell mailing list Haskell at haskell.org http://www.haskell.org/mailman/listinfo/haskell From mihai.maruseac at gmail.com Wed May 13 19:30:55 2015 From: mihai.maruseac at gmail.com (Mihai Maruseac) Date: Wed, 13 May 2015 15:30:55 -0400 Subject: [Haskell] all for Contributions - Haskell Communities and Activities Report, May 2015 edition (28th edition) In-Reply-To: References: Message-ID: On Fri, Apr 17, 2015 at 10:04 PM, Mihai Maruseac wrote: > We would like to collect contributions for the 28th edition of the > > ============================================================ > Haskell Communities & Activities Report > > http://www.haskell.org/haskellwiki/Haskell_Communities_and_Activities_Report > > Submission deadline: 17 May 2015 > > (please send your contributions to hcar at haskell.org, > in plain text or LaTeX format) > ============================================================ Hi all. Just a small reminder that the deadline for submissions is at the end of this week. -- Mihai Maruseac (MM) "If you can't solve a problem, then there's an easier problem you can solve: find it." -- George Polya From mainland at cs.drexel.edu Thu May 14 00:35:42 2015 From: mainland at cs.drexel.edu (Geoffrey Mainland) Date: Wed, 13 May 2015 20:35:42 -0400 Subject: [Haskell] CFP: Extended Deadline: Functional High-Performance Computing (held with ICFP) Message-ID: <5553EDDE.5030909@cs.drexel.edu> ====================================================================== CALL FOR PAPERS FHPC 2015 The 4th ACM SIGPLAN Workshop on Functional High-Performance Computing Vancouver, British Columbia, Canada, Canada September 3, 2015 https://sites.google.com/site/fhpcworkshops/ Co-located with the International Conference on Functional Programming (ICFP 2015) EXTENDED Submission Deadline: Friday, 22 May, 2015 (anywhere on earth) ====================================================================== The FHPC workshop aims at bringing together researchers exploring uses of functional (or more generally, declarative or high-level) programming technology in application domains where high performance is essential. The aim of the meeting is to enable sharing of results, experiences, and novel ideas about how high-level, declarative specifications of computationally challenging problems can serve as maintainable and portable code that approaches (or even exceeds) the performance of machine-oriented imperative implementations. All aspects of performance critical programming and parallel programming are in-scope for the workshop, irrespective of hardware target. This includes both traditional large-scale scientific computing (HPC), as well as work targeting single node systems with SMPs, GPUs, FPGAs, or embedded processors. It is becoming apparent that radically new and well founded methodologies for programming such systems are required to address their inherent complexity and to reconcile execution performance with programming productivity. Proceedings: ============ Accepted papers will be published by the ACM and will appear in the ACM Digital Library. * Submissions due: Friday, 22 May, 2015 (anywhere on earth) * Author notification: Friday, 26 June, 2015 * Final copy due: Sunday, 19 July, 2015 Submitted papers must be in portable document format (PDF), formatted according to the ACM SIGPLAN style guidelines (2 column, 9pt format). See http://www.sigplan.org/authorInformation.htm for more information and style files. Typical papers are expected to be 8 pages (but up to four additional pages are permitted). Contributions to FHPC 2015 should be submitted via Easychair, at the following URL: * https://www.easychair.org/conferences/?conf=fhpc15 The submission site is now open. The FHPC workshops adhere to the ACM SIGPLAN policies regarding programme committee contributions and republication. Any paper submitted must adhere to ACM SIGPLAN's republication policy. PC member submissions are welcome, but will be reviewed to a higher standard. http://www.sigplan.org/Resources/Policies/Review http://www.sigplan.org/Resources/Policies/Republication Travel Support: =============== Student attendees with accepted papers can apply for a SIGPLAN PAC grant to help cover travel expenses. PAC also offers other support, such as for child-care expenses during the meeting or for travel costs for companions of SIGPLAN members with physical disabilities, as well as for travel from locations outside of North America and Europe. For details on the PAC programme, see its web page (http://www.sigplan.org/PAC.htm). Programme Committee: ==================== Tiark Rompf (co-chair), Purdue University, USA Geoffrey Mainland (co-chair), Drexel University, USA Kevin Brown Stanford University, USA James Cheney University of Edinburgh, UK Albert Cohen INRIA, France David Duke University of Leeds, UK Yukiyoshi Kameyama University of Tsukuba, Japan Gabriele Keller University of New South Wales, Australia Paul H J Kelly Imperial College London, UK Trevor L. Mcdonell Indiana University, USA Greg Michaelson Heriot-Watt University, UK Cosmin E. Oancea University of Copenhagen, Denmark Markus Pueschel ETH Zurich, Switzerland Sukyoung Ryu KAIST, Korea Alexander Slesarenko Huawei, Russia Josef Svenningsson Chalmers University of Technology, Sweden From david.janin at labri.fr Thu May 14 10:12:30 2015 From: david.janin at labri.fr (David Janin) Date: Thu, 14 May 2015 12:12:30 +0200 Subject: [Haskell] CFP : Extended deadline : Functional Art, Music, Modelling and Design (FARM 2015) Message-ID: <2BB0262A-56D9-4BD0-A113-2B119793DB88@labri.fr> ************************************************************ Call for Papers and Demos : FARM 2015 The 3rd ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design Vancouver, Canada, 5 September, 2015 affiliated with ICFP 2015 http://functional-art.org EXTENTED Submission Deadline : 27 May, 2015 (optional abstract submission : 17 May, 2015) ************************************************************ The ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design (FARM) gathers together people who are harnessing functional techniques in the pursuit of creativity and expression. Functional Programming has emerged as a mainstream software development paradigm, and its artistic and creative use is booming. A growing number of software toolkits, frameworks and environments for art, music and design now employ functional programming languages and techniques. FARM is a forum for exploration and critical evaluation of these developments, for example to consider potential benefits of greater consistency, tersity, and closer mapping to a problem domain. FARM encourages submissions from across art, craft and design, including textiles, visual art, music, 3D sculpture, animation, GUIs, video games, 3D printing and architectural models, choreography, poetry, and even VLSI layouts, GPU configurations, or mechanical engineering designs. The language used need not be purely functional (?mostly functional? is fine), and may be manifested as a domain specific language or tool. Theoretical foundations, language design, implementation issues, and applications in industry or the arts are all within the scope of the workshop. Submissions are invited in two categories: * Full papers 5 to 12 pages using the ACM SIGPLAN template. FARM 2015 is an interdisciplinary conference, so a wide range of approaches are encouraged and we recognize that the appropriate length of a paper may vary considerably depending on the approach. However, all submissions must propose an original contribution to the FARM theme, cite relevant previous work, and apply appropriate research methods. * Demo abstracts Demo abstracts should describe the demonstration and its context, connecting it with the themes of FARM. A demo could be in the form of a short (10-20 minute) tutorial, presentation of work-in-progress, an exhibition of some work, or even a performance. Abstracts should be no longer than 2 pages, using the ACM SIGPLAN template and will be subject to a light-touch peer review. If you have any questions about what type of contributions that might be suitable, or anything else regarding submission or the workshop itself, please contact the organisers at: farm-2015 at easychair.org KEY DATES: (Optional) abstract submission deadline : 17 May Full Paper and Demo Abstract submission Deadline: 27 May Author Notification: 26 June Camera Ready: 19 July Workshop: 5 September SUBMISSION All papers and demo abstracts must be in portable document format (PDF), using the ACM SIGPLAN style guidelines. The text should be in a 9-point font in two columns. See: http://www.sigplan.org/Resources/Author/ The submission itself will be via EasyChair: https://easychair.org/conferences/?conf=farm2015 PUBLICATION Accepted papers will be included in the formal proceedings published by ACM Press and will also be made available through the the ACM Digital Library; see http://authors.acm.org/main.cfm for information on the options available to authors. Authors are encouraged to submit auxiliary material for publication along with their paper (source code, data, videos, images, etc.); authors retain all rights to the auxiliary material. WORKSHOP ORGANISATION Workshop Chair: Henrik Nilsson, University of Nottingham Program Chair: David Janin, University of Bordeaux Publicity Chair: Samuel Aaron, University of Cambridge Program Committee: Samuel Aaron, University of Cambridge Jean Bresson, IRCAM Paris David Broman, KTH and UC Berkeley David Janin (chair), University of Bordeaux Anton Kholomiov, Orffeus instrumental ensemble Moscow Alex Mclean, University of Leeds Carin Meier, Outpace Systems Henrik Nilsson, University of Nottingham Yann Orlarey, GRAME Lyon Donya Quick, Yale University Shigeki Sagayama, Meiji University Chung-chieh Shan, Indiana University Michael Sperber, Active Group GmbH Bodil Stokke, FutureAdLabs For further details, see the FARM website: http://functional-art.org From ky3 at atamo.com Fri May 15 12:07:09 2015 From: ky3 at atamo.com (Kim-Ee Yeoh) Date: Fri, 15 May 2015 19:07:09 +0700 Subject: [Haskell] Haskell Weekly News Message-ID: *Top Picks:* - Is Servant the most type-safe HTTP server library ever? Are the type signatures hard to read ? In addition to its utmost relevance as a web library, Servant is also an awesome case study in the type safety vs type readability trade-off spectrum, brought to you by Alp Mestanogullari and Julian Arni. HN and /r/haskell - Ozan Sener compiles Pandoc into JS via GHCJS and creates a web interface to it using the Reflex FRP library . Markup.Rocks is much loved on /r/haskell . See also HN . - Is Haskell a "Startup Secret Weapon"? Alexandr Kurilin reveals adoption challenges at Front Row Education . Among them, slow build times. Also, "senior developers [that] get very frustrated when something wouldn't compile for hours and they couldn't find any help to move forward." Comments on HN and /r/haskell . - At Facebook, Bryan O'Sullivan debugs aeson's gigabyte space leak on decoding a JSON megabyte of non-stop backslashes. Culprit? The streaming interface didn't match the use case. In place of streaming, Bryan now blasts bytes into a single big buffer, gaining 27x speed and 42x memory reduction. Comments on HN , Proggit , /r/haskell . - Paul Chiusano's Unison programming platform hits the HN and /r/haskell headlines. Features include a browser-based UI that constrains edits to those that are well-typed. Also, DRY-ness up the wazoo: every type and term is uniquely identified by a hash a la Git. - Joey Hess reports that Debian unstable now has a working GHCi for ARM. The Template Haskell challenges have been surmounted. - Garrison Jensen blows the whistle on the impostor sieve on the front page of Haskell.org. In jest. A festive one-upmanship of fondly treasured code ensues on /r/haskell . And since bad publicity is better than no publicity, we owe kudos to Garrison. HN-worthy . - Michael Snoyman decries use of ExceptT IO for exception handling because the user exception data type creates misleading expectations of comprehensiveness. The gotcha is that it doesn't cover IO exceptions! Furthermore, distinct exception types mean that the corresponding code can't compose. Instead? Use MonadThrow. /r/haskell - JP Moresmau steps down as chief of EclipseFP and the companion Haskell packages BuildWrapper, ghc-pkg-lib, and scion-browser. Without anyone to take his place, the sun sets on EclipseFP. But the sun continues to shine on ide-backend (previously reported ), a GHC API wrapper akin to BuildWrapper. JP spitballs on how he might move on to the Atom editor, jiggering it to use ide-backend-client. /r/haskell - Tatsuya Hirose translates Go By Example into Haskell. GBE comprises code samples annotated for an experienced programmer new to Go. For this first cut , Tatsuya stays close to the original and creates Go-ish, imperative Haskell. Already good for Go-to-Haskell crossovers. Potentially excellent when done in idiomatic Haskell. /r/haskell - Tomas Petricek observes the diversity of type theories and type systems and posits harm in any attempt at a single all-encompassing capture of the meaning of 'types'. What about unsound types? He doesn't offer a way out for those stuck with the appellation. Comments on HN and /r/haskell . - John De Goes launches a crowdfund to solicit $15,000 for video-recording 70 talks at LambdaConf 2015, which features many known Haskell programmers. /r/haskell - A redditor asks ex-Lispers what it's like moving to Haskell . "I miss Lisp parens" is a frequent answer. Also, Lisp has a better REPL experience. A biggie upside? The refactoring afforded by Haskell's type system. *Tip of the Week:* - When programming fractals, use the LLVM backend because it's "usually good at optimizing this kind of non-allocating code" as Reid Barton advises. -- Kim-Ee -------------- next part -------------- An HTML attachment was scrubbed... URL: From johannes.waldmann at htwk-leipzig.de Sun May 17 18:52:17 2015 From: johannes.waldmann at htwk-leipzig.de (Johannes Waldmann) Date: Sun, 17 May 2015 20:52:17 +0200 Subject: [Haskell] Call for participation: 8th International School on Rewriting - ISR 2015 Message-ID: <5558E361.10604@htwk-leipzig.de> Call for participation 8th International School on Rewriting - ISR 2015 August 10-14, Leipzig, Germany http://www.imn.htwk-leipzig.de/ISR2015/ * early registration deadline: July 1 * student research posters welcome ===================================================================== The 8th International School on Rewriting (ISR 2015) is aimed at master and PhD students, researchers, and practitioners interested in the study of rewriting concepts and their applications. The school features lectures by renowned researchers in rewriting, and is organized in two parallel tracks: Basic: aimed at students that enter the field. Aart Middeldorp and Sarah Winkler: Introductory Course Advanced: several shorter courses, showing different areas of rewriting research, with applications. David Sabel and Manfred Schmidt-Schau?: Rewriting Techniques for Correctness of Program Transformations Makoto Hamana: Algebraic Semantics of Higher-Order Abstract Syntax and Second-Order Rewriting Santiago Escobar: Term Rewriting applied to Cryptographic Protocol Analysis Hans Zantema: SAT/SMT encodings for rewrite problems Femke van Raamsdonk: Higher-Order Rewriting Alfons Geser: Proving Abstract Rewriting Properties with PVS Georg Moser: Termination and Complexity Detlef Plump: Rule-based Graph Programming Also, we encourage participants to submit a presentation of their research, in the form of a poster. These posters will be reviewed by experts in rewriting, and will be displayed and discussed during the school. ==================================================================== Rewriting is a branch of computer science whose origins go back to the origins of computer science itself (with Thue, Church, Post, and many other prominent researchers). It has strong links with mathematics, algebra, and logic, and it is the basis of well-known programming paradigms like functional and equational programming. In these programming paradigms and corresponding languages, the notions of reduction, pattern matching, confluence, termination, strategy, etc., are essential. Rewriting provides a solid framework for understanding, using, and teaching all these notions. Rewriting techniques are also used in many other areas of software engineering (scripting, prototyping, automated transformation of legacy systems, refactoring, web services, etc.) Rewriting techniques play a relevant role in computing research, education, and industry. International Schools on Rewriting are promoted by the IFIP Working Group 1.6 Term Rewriting. ISR 2015 organizing committee: Alfons Geser, Christine Kl?den, and Johannes Waldmann. ==================================================================== Note: ISR 2015 is right after CADE ( http://www.inf.fu-berlin.de/cade25/ ) You can go from Berlin to Leipzig in 1 hour by train. From m.gaboardi at dundee.ac.uk Sun May 17 22:55:14 2015 From: m.gaboardi at dundee.ac.uk (Marco Gaboardi (Staff)) Date: Sun, 17 May 2015 22:55:14 +0000 Subject: [Haskell] CFP - Information and Computation special issue on Implicit Computational Complexity Message-ID: <3CB44A6C-35E5-4C45-AC89-F59CE99768BB@dundee.ac.uk> ====================================================================== Call for Papers INFORMATION & COMPUTATION Special Issue on Implicit Computational Complexity (open post-conference publication of the workshops DICE 2014 and DICE 2015) Deadline: July 1st 2015 Guest Editors: Marco Gaboardi Ulrich Sch?pp ====================================================================== The area of Implicit Computational Complexity has grown from several proposals for using logic and formal methods to provide languages for complexity-bounded computation (such as polynomial time, polynomial space or logarithmic space computation). Its aim is to study computational complexity without reference to external measuring conditions or particular machine models, but only in terms of language restrictions or logical/computational principles implying complexity properties. We welcome contributions on various aspects of Implicit Computational Complexity, including (but not exclusively) the following topics: - types for controlling complexity - logical systems for implicit computational complexity - linear logic - semantics of complexity-bounded computation - complexity analysis - rewriting and termination orderings - interpretation-based methods for implicit complexity - programming languages for complexity bounded computation - application of implicit complexity to other programming paradigms (e.g. imperative or object-oriented languages) - application of implicit complexity to security This special issue of Information & Computation follows the informal workshops on Developments in Implicit Computational Complexity (DICE), DICE 2014 in Grenoble (http://dice14.tcs.ifi.lmu.de) and DICE 2015 in London (http://dice15.computing.dundee.ac.uk). Submission to this special issue is open to everyone, including those who did not participate in DICE 2014 or DICE 2015. DICE workshops have been held annually as satellite events of ETAPS: DICE 2010 in Paphos, DICE 2011 in Saarbr?cken, DICE 2012 in Tallinn, DICE 2013 in Rome, DICE 2014 in Grenoble and DICE 2015 in London. Previous post-conference publications have appeared in - Information & Computation for DICE 2011, - Theoretical Computer Science for DICE 2012 (in press), and - Information & Computation for DICE 2013 (to appear). More information on the DICE workshop series is available at: http://perso.ens-lyon.fr/patrick.baillot/DICE Information & Computation solicits high quality papers reporting research results related to the topics mentioned above. All papers must be original, unpublished, and not submitted for publication elsewhere. - Contributions should be submitted electronically to both addresses and . - Papers must be in PDF format and be formatted using Elsevier's elsarticle.cls LaTeX macro package. Formatting instructions can be found at http://www.elsevier.com/author-schemas/latex-instructions - Submissions must be sent to us no later than JULY 1st 2015. Papers will be processed as soon as they are submitted. We are aiming for a turnaround of no more than six months. We encourage authors to look at the author guide at http://www.elsevier.com/journals/information-and-computation/0890-5401/guide-for-authors The University of Dundee is a registered Scottish Charity, No: SC015096 From benl at ouroborus.net Mon May 18 03:20:46 2015 From: benl at ouroborus.net (Ben Lippmeier) Date: Mon, 18 May 2015 13:20:46 +1000 Subject: [Haskell] CFP: Haskell Symposium Regular Track Final Call Message-ID: <56C47F83-AA54-45DB-9263-9CA379D32AD4@ouroborus.net> ===================================================================== ACM SIGPLAN CALL FOR SUBMISSIONS Haskell Symposium 2015 Vancouver, Canada, 3-4 September 2015, directly after ICFP http://www.haskell.org/haskell-symposium/2015 ===================================================================== Reminder that the Haskell Symposium Regular Track abstract deadline is this: Tuesday 19th of May, with full papers due this: Friday 22nd of May. Authors that have *already submitted to the early track*, have until 5th of June to resubmit an improved version of those papers. Deadlines stated are valid anywhere on earth. (the HotCRP submission site states them in US EDT, but don't fret) See the website for further details http://www.haskell.org/haskell-symposium/2015 ===================================================================== From brucker at spamfence.net Mon May 18 05:36:53 2015 From: brucker at spamfence.net (Achim D. Brucker) Date: Mon, 18 May 2015 07:36:53 +0200 Subject: [Haskell] OCL 2015: First Call for Papers Message-ID: <20150518053653.GA8666@fujikawa.home.brucker.ch> (Apologies for duplicates) CALL FOR PAPERS 15th International Workshop on OCL and Textual Modeling Tools and Textual Model Transformations Co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015) September 28th, 2015, Ottawa, Canada http://ocl2015.lri.fr Modeling started out with UML and its precursors as a graphical notation. Such visual representations enable direct intuitive capturing of reality, but some of their features are difficult to formalize and lack the level of precision required to create complete and unambiguous specifications. Limitations of the graphical notations encouraged the development of text-based modeling languages that either integrate with or replace graphical notations for modeling. Typical examples of such languages are OCL, textual MOF, Epsilon, and Alloy. Textual modeling languages have their roots in formal language paradigms like logic, programming and databases. The goal of this workshop is to create a forum where researchers and practitioners interested in building models using OCL or other kinds of textual languages can directly interact, report advances, share results, identify tools for language development, and discuss appropriate standards. In particular, the workshop will encourage discussions for achieving synergy from different modeling language concepts and modeling language use. The close interaction will enable researchers and practitioners to identify common interests and options for potential cooperation. Topics of interest include (but are not limited to) =================================================== - Mappings between textual modeling languages and other languages/formalisms - Algorithms, evaluation strategies and optimizations in the context of textual modeling languages for -- validation, verification, and testing, -- model transformation and code generation, -- meta-modeling and DSLs, and -- query and constraint specifications - Alternative graphical/textual notations for textual modeling languages - Evolution, transformation and simplification of textual modeling expressions - Libraries, templates and patterns for textual modeling languages - Tools that support textual modeling languages (e.g., verification of OCL formulae, runtime monitoring of invariants) - Complexity results for textual modeling languages - Quality models and benchmarks for comparing and evaluating textual modeling tools and algorithms - Successful applications of textual modeling languages - Case studies on industrial applications of textual modeling languages - Experience reports -- usage of textual modeling languages and tools in complex domains, -- usability of textual modeling languages and tools for end-users - Empirical studies about the benefits and drawbacks of textual modeling languages - Innovative textual modeling tools - Comparison, evaluation and integration of modeling languages - Correlation between modeling languages and modeling tasks This year, we particularly encourage submissions describing tools that support - in a very broad sense - textual modeling languages (if you have implemented OCL.js to run OCL in a web browser, this is the right workshop to present your work) as well as textual model transformations. Venue ===== The workshop will be organized as a part of MODELS 2015 Conference in Ottawa, Canada. It continues the series of OCL workshops held at UML/MODELS conferences: York (2000), Toronto (2001), San Francisco (2003), Lisbon (2004), Montego Bay (2005), Genova (2006), Nashville (2007), Toulouse (2008), Denver (2009), Oslo (2010), Zurich (2011, at the TOOLs conference), 2012 in Innsbruck, 2013 in Miami, and 2014 in Valencia, Spain. Similar to its predecessors, the workshop addresses both people from academia and industry. The aim is to provide a forum for addressing integration of OCL and other textual modeling languages, as well as tools for textual modeling, and for disseminating good practice and discussing the new requirements for textual modeling. Workshop Format =============== The workshop will include short (about 15 min) presentations, parallel sessions of working groups, and sum-up discussions. Submissions =========== Three types of papers will be considered: * short papers (between 6 and 8 pages) describing ideas, * tool papers (between 6 and 8 pages), and * full papers (between 12 and 16 pages) in LNCS format. Submissions should be uploaded to EasyChair (https://easychair.org/conferences/?conf=ocl20150). The program committee will review the submissions (minimum 2 reviews per paper, usually 3 reviews) and select papers according to their relevance and interest for discussions that will take place at the workshop. Accepted papers will be published online in a pre-conference edition of CEUR (http://www.ceur-ws.org). Important Dates =============== Submission of papers: July 17, 2015 Notification: August 21, 2015 Workshop date: September 28, 2015 Organizers ========== Achim D. Brucker, SAP SE, Germany Marina Egea, Indra Sistemas S.A., Spain Martin Gogolla, University of Bremen, Germany Frederic Tuong, Univ. Paris-Sud - IRT SystemX - LRI, France Programme Committee =================== Mira Balaban, Ben-Gurion University of the Negev, Israel Tricia Balfe, Nomos Software, Ireland Achim D. Brucker, SAP SE, Germany Fabian Buettner, Inria - Ecole des Mines de Nantes, France Jordi Cabot, Inria - Ecole des Mines de Nantes, France Dan Chiorean, Babes-Bolyai University, Romania Robert Clariso, Universitat Oberta de Catalunya, Spain Tony Clark, Middlesex University, UK Manuel Clavel, IMDEA Software Institute, Spain Carolina Dania, IMDEA Software Institute, Spain Birgit Demuth, Technische Universitat Dresden, Germany Marina Egea, Indra Sistemas S.A., Spain Geri Georg, Colorado State University, USA Martin Gogolla, University of Bremen, Germany Shahar Maoz, Tel Aviv University, Israel Istvan Rath, Budapest University of Technology and Economics, Hungary Bernhard Rumpe, RWTH Aachen, Germany Frederic Tuong, Univ. Paris-Sud - IRT SystemX - LRI, France Claas Wilke, Technische Universitat Dresden, Germany Edward Willink, Willink Transformations Ltd., UK Burkhart Wolff, Univ. Paris-Sud - LRI, France Steffen Zschaler, King's College, UK -- Dr. Achim D. Brucker, SAP SE, Vincenz-Priessnitz-Str. 1, D-76131 Karlsruhe Phone: +49 6227 7-52595, http://www.brucker.ch/ From frantisek at farka.eu Mon May 18 22:15:56 2015 From: frantisek at farka.eu (Frantisek Farka) Date: Mon, 18 May 2015 23:15:56 +0100 Subject: [Haskell] Workshop on Type Inference and Automated Proving In-Reply-To: <20150415222851.3c49ad79@farka.eu> References: <20150415222851.3c49ad79@farka.eu> Message-ID: <20150518231556.206a744b@farka.eu> Hello everyone, some of the people here on the list asked whether there will be recordings of the workshop. Now I can announce that we were able to record the whole event and talks are accesible here: http://staff.computing.dundee.ac.uk/frantisekfarka/tiap/ Also, all the speakers were kind enough to provide their slides. Best regards, Frantisek Farka On Wed, 15 Apr 2015 22:28:51 +0100 Frantisek Farka wrote: > > ********************************************************************* > > WORKSHOP ON TYPE INFERENCE AND AUTOMATED PROVING > > Tuesday the 12th of May, 12PM to 6PM > School Of Computing, > University of Dundee > > http://staff.computing.dundee.ac.uk/frantisekfarka/tiap/ > > ********************************************************************* > > Refreshments will be available from 12:00, with talks beginning at > 12:45. For the detailed programme please see the above website. > > Talks: > > Tom Schrijvers (Katholieke Universiteit Leuven) > GADTs Meet Their Match: Pattern-matching Warnings that > Account for GADTs, Guards, and Laziness > > Bob Atkey (University of Strathclyde) > An Algebraic Approach to Typechecking and Elaboration > > Edwin Brady (University of St Andrews) > Implementing a Dependently Typed Programming Language > > Peng Fu (University if Dundee) > Nontermination Analysis for Evidence Construction in Type > Class Inference > > Adam Gundry (Well-Typed LLP) > A Typechecker Plugin for Units of Measure: Domain-specific > Constraint Solving in GHC Haskell > > Katya Komendantskaya (University of Dundee) > Structural Resolution and Universal Productivity Checker > > J. Garrett Morris (University of Edinburgh) > Substructural Types with Class > > > After the talks we plan to continue the discussion at the nearby > Duke's Corner bar and then go for dinner, place is yet to be > announced but in the walking distance from both Seagate bus station > and Dundee railway station. > > Please let us know if you are coming by either replying to this email, > or by contacting me at ffarka at dundee.ac.uk > If possible please indicate whether you wish to join us for dinner. > > > With regards, > Franti?ek Farka > _______________________________________________ > Haskell mailing list > Haskell at haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell > From Leila at uaeu.ac.ae Tue May 19 12:46:53 2015 From: Leila at uaeu.ac.ae (Leila Fayez Ismail) Date: Tue, 19 May 2015 12:46:53 +0000 Subject: [Haskell] =?utf-8?q?CALL_FOR_PAPERS_for_IIT=E2=80=9915=2C_IEEE_Sp?= =?utf-8?q?onsored=2C_Dubai_=2801-03_Nov_2015=29?= Message-ID: <70DAF03E26F942429AD80FC3C3AD9E5D47CF3A14@PEXMBOX20102.uaeu.ac.ae> Dear Colleagues, Apologies if you receive multiple copies of this CFP. Please feel free to distribute the IIT'15 CFP to your colleagues, students and networks. CALL FOR PAPERS 2015 11th International Conference on Innovations in Information Technology (IIT'15) Special Theme: Smart Living Cities, Big Data and Sustainable Development November 01-03, 2015, Dubai, UAE http://www.it-innovations.ae/ BEST PAPER AWARDS Two best papers of the conference will be selected by the program committee. One will be awarded the "Best Research Paper Award" and another one will be awarded the ?Best Application Paper Award? (for application-oriented submissions). IMPORTANT DATES Papers and Student Posters Submission 30 May 2015 Submission of Tutorials 30 May 2015 Notification for Papers and Student Posters 15 July 2015 Notification for Tutorials 15 July 2015 Final Camera-Ready 01 September 2015 PUBLICATION IIT'15 is technically sponsored by IEEE Computer Society. Proceedings will be published by IEEE Computer Society Conference Publication Services, and will be submitted for publication in Computer Society Digital Library indexed in IEEE Xplore digital library, and all other global indices. Extended papers will be published in a Springer Book, indexed in Springer global indices, one of the largest databases in the world and Scopus including citations. Selected papers from IIT'15 will be invited for possible publications in special issues of journals. SCOPE The International Conference on Innovations in Information Technology 2015 (IIT?15) is a forum that addresses the latest ideas in information technology (IT). The theme of IIT?15 is Smart Cities and all of the software and hardware technologies that are required to provide better living conditions in the cities of tomorrow. This theme will be reflected by a number of tracks which focus on different aspects of related technologies such as Big Data, cloud computing, collaborative platforms, communication infrastructures, smart health, smart learning, social participation, sustainable development and energy management. All of those themes will be brought together by unifying invited high quality keynotes and panels. CONFERENCE TRACKS/THEMES Topics of interest include but not limited to the following major tracks/themes. Research papers are invited but not limited to the following areas: Track A: Innovations in Information and Communication Infrastructures - Advanced Network Technologies, Heterogeneous networks, and Real Time Networks - Quality of Services - Next Generation of Mobile Networks - Ad-Hoc and Sensor Networks, Wireless Networks - Distributed Systems, Grid Computing - Smart Grid - Mobility Management and Mobile computing - Information and Cyber Security for Smart Living Spaces Track B: Internet of Things (IoT) ICT Architecture for IoT - System design, Modeling and Simulation - Grid Computing , and Cloud Computing - Real-Time Systems for IoT, Autonomic Systems - Security, Privacy, Trust and Reliability - Software Design and Development of IoT-Based Applications - Intelligent Data Processing - Smart Appliances & Wearable Computing Devices Track C: Smart Collaborative Platforms and Logistics Agile Information Systems - Design, Modeling and Simulation of Collaborative Applications - Practice and Experiences of Collaborative Applications - Risk Management, Smart Business - Middleware Support for Collaboration - Real-Time Information Sharing and Interaction - AI and Decision-Support Systems Track D: Big Data and Smart Applications - Big Data Analytics and Algorithms - High Performance Computing and Real-Time of Big Data Processing - Big Data Storage and Distribution - Data Mining - Grid Computing and Cloud Computing - Middleware for Smart Applications - e-Health, Smart Learning, Intelligent Processing and Intelligent Applications Track E: Cyber-Physical Energy Systems - Theory, Tools and Applications - System Design, Modeling and Simulation - Testbeds and Experiences - Algorithms for Energy Efficiency - Middleware - Design and Development of Protocols for Sustainable energy - Design and Development of Secure and Resilient Systems SUBMISSIONS IIT'15 seeks original manuscripts (of up to 6 pages maximum in IEEE two-column format) describing research in all aspects of IT that contribute to the conference themes. Papers submitted to the conference should present original work that has not been previously published or is currently under review by other conferences or journals. All papers will be peer reviewed, and authors of accepted papers are expected to present their work at the conference. Submissions of tutorial, special session, and workshop proposals are also welcome. The submission guidelines are available at http://www.it-innovations.ae/iit2015/Authors.html. Paper submission should be done through http://www.edas.info KEYNOTE SPEAKERS Chair Professor Christian Wagner Associate Provost for Quality Assurance City University, Hong kong Dr. Babu Narayanan Senior Principal Scientist GE Global Research Dr. Michael P. Perrone Program Director, DCS Client Partnerships IBM T. J. Watson Research Center, NY USA Professor & Canberra Fellow & IEEE Fellow Elizabeth Chang IFIP Web Semantics Group chair, University of New South Wales UNSW at Australian Defense Force Academy, Australia We look forward to welcoming you in Dubai at IIT'15 in November 2015. On behalf of the IIT'15 Organizing Committee --- Dr. Leila Ismail, IIT'15 Chair Founder & Director to High Performance & Grid/Cloud Computing Research Lab College of IT, UAE University 17551, Al-Maqam, Al-Ain, UAE Email: leila at uaeu.ac.ae Tel.: +971-3-7135530 Mobile: +971-50-8311059 Fax : +971-3-7672018 http://fit.uaeu.ac.ae/en/academic_tracks_programs/int/profile.shtml?email=leila at uaeu.ac.ae http://citweb.uaeu.ac.ae/citweb/profile/leila http://hpgcl.fit.uaeu.ac.ae/ Disclaimer:"The content of this email together with any attachments, statements and opinions expressed herein contains information that is confidential in nature and intended for the named addressee(s) only. If you are not the addressee of this email or you have received this message in error please notify the sender and delete the message and any associated files from your system, you have no right to copy, print, distribute or use this email or any of its attachments, or permit or disclose its contents to any other party in any way, except with the prior approval of the sender. In case of breach of what has been explained above, you will be held legally accountable." ?????: "?????: ?? ????? ??? ?????? ?????????? ???????? ???????? ?????? ??????? ?? ??? ??????? ????? ??? ??????? ????? ??? ????? ????? ??????? ?????? ???? ???? ???? ?? ??? ?????? ???? ?? ??? ??????? ?? ??? ?? ????? ??????? ??????? ????? ????? ??????? ???? ??????? ???? ????? ?????? ?? ?????? ????? ??? ?? ??? ???? ???? ?? ??? ?? ????? ?? ????? ?? ??????? ??????? ??? ?????? ??????????? ?? ?????? ?? ????? ?? ??? ??? ??? ??? ??? ?? ??? ??? ??????? ????? ?? ?????? ????? ??? ?????? ??? ??? ?????? ???????? ?????????" . www.uaeu.ac.ae -------------- next part -------------- An HTML attachment was scrubbed... URL: From hanssv at gmail.com Wed May 20 11:22:29 2015 From: hanssv at gmail.com (Hans Svensson) Date: Wed, 20 May 2015 13:22:29 +0200 Subject: [Haskell] Erlang Workshop 2015: deadline extension Message-ID: <555C6E75.6080405@gmail.com> Hi everyone, The PC has decided to extend the paper submission deadline for the 14th ACM SIGPLAN Erlang Workshop. New final dates are as follows, there will not be any further extensions Submissions due: Friday, 29 May, 2015 [extended] Author notification: Friday, 26 June, 2015 [unchanged] Final copy due: Sunday, 19 July, 2015 [unchanged] Workshop date: September 4, 2015 [unchanged] Apologies for any duplicates you may receive. CALL FOR PAPERS =============== Fourteenth ACM SIGPLAN Erlang Workshop ----------------------------------------------------------- Vancouver, Canada, September 4, 2015 Satellite event of the 20th ACM SIGPLAN International Conference on Functional Programming (ICFP 2015) August 30 - September 5, 2015 http://www.erlang.org/workshop/2015/ErlangWorkshop2015.html 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 16 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 programs are today among the largest applications written in any functional programming language. These applications offer new opportunities to evaluate functional programming and functional programming methods on a very large scale and suggest new problems for the research community to solve. This workshop will bring together the open source, academic, and industrial programming communities of Erlang. It will enable participants to familiarize themselves with recent developments on new techniques and tools tailored to Erlang, novel applications, draw lessons from users' experiences and identify research problems and common areas relevant to the practice of Erlang and functional programming. We invite three types of submissions. 1. Technical papers describing language extensions, critical discussions of the status quo, formal semantics of language constructs, program analysis and transformation, virtual machine extensions and compilation techniques, implementations and interfaces of Erlang in/with other languages, and new tools (profilers, tracers, debuggers, testing frameworks, etc.). The maximum length for technical papers is restricted to 12 pages. 2. Practice and application papers describing uses of Erlang in the "real-world", Erlang libraries for specific tasks, experiences from using Erlang in specific application domains, reusable programming idioms and elegant new ways of using Erlang to approach or solve a particular problem. The maximum length for the practice and application papers is restricted to 12 pages. Note that this is a maximum length; we welcome shorter papers also, and the program committee will evaluate all papers on an equal basis independent of their lengths. 3. Poster presentations describing topics related to the workshop goals. Each includes a maximum of 2 pages of the abstract and summary. Presentations in this category will be given an hour of shared simultaneous demonstration time. Workshop Co-Chairs ------------------ Hans Svensson, QuviQ AB, Sweden Melinda T??th, E??tv??s Lor??nd University, Hungary Program Committee ----------------------------- (Note: the Workshop Co-Chairs are also committee members) Jesper L. Andersen, Independent Clara Benac Earle, Technical University of Madrid, Spain Laura M. Castro, University of A Coru??a, Spain Christopher Meiklejohn, Basho Technologies, Inc., US Samuel Rivas, Klarna AB, Sweden Tee Teoh, Erlang Solutions Ltd, UK Simon Thompson, University of Kent, UK Important Dates ----------------------- Submissions due: Friday, 29 May, 2015 [extended] Author notification: Friday, 26 June, 2015 [unchanged] Final copy due: Sunday, 19 July, 2015 [unchanged] Workshop date: September 4, 2015 [unchanged] Instructions to authors -------------------------------- Papers must be submitted online via EasyChair (via the "Erlang2015" event). The submission page is https://www.easychair.org/conferences/?conf=erlang2015 Submitted papers should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines. Each submission must adhere to SIGPLAN's republication policy. Violation risks summary rejection of the offending submission. Accepted papers will be published by the ACM and will appear in the ACM Digital Library. The proceedings will be freely available for download from the ACM Digital Library from one week before the start of the conference until two weeks after the conference. Paper submissions will be considered for poster submission in the case they are not accepted as full papers. Venue & Registration Details ------------------------------------------ For registration, please see the ICFP 2015 web site at: http://icfpconference.org/icfp2015/ Related Links -------------------- ICFP 2015 web site: http://www.icfpconference.org/icfp2015/ Past ACM SIGPLAN Erlang workshops: http://www.erlang.org/workshop/ Open Source Erlang: http://www.erlang.org/ EasyChair submission site: https://www.easychair.org/conferences/?conf=erlang2015 Author Information for SIGPLAN Conferences: http://www.sigplan.org/authorInformation.htm Atendee Information for SIGPLAN Events: http://www.sigplan.org/Resources/Policies/Anti-harassment From canslow at ucalgary.ca Wed May 20 23:39:08 2015 From: canslow at ucalgary.ca (Craig Anslow) Date: Wed, 20 May 2015 23:39:08 +0000 Subject: [Haskell] SPLASH 2015 - Call for Contributions: Other Tracks Message-ID: /************************************************************************************/ ACM Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH'15) Pittsburgh, Pennsylvania, USA 25th-30th October, 2015 http://www.splashcon.org Sponsored by ACM SIGPLAN /************************************************************************************/ COMBINED CALL FOR CONTRIBUTIONS Demos Doctoral Symposium OOPSLA Artifacts Posters SPLASH-E Student Research Competition Student Volunteers Tutorials Wavefront Workshops Co-Located Conferences: SLE, GPCE, DBPL, PLoP /************************************************************************************/ The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) embraces all aspects of software construction and delivery to make it the premier conference at the intersection of programming, languages, and software engineering. SPLASH is now accepting submissions. We invite high quality submissions describing original and unpublished work. ** Demos ** The SPLASH Demonstrations track is an excellent vehicle for sharing your latest work with an experienced and technically savvy audience. Live demonstrations show the impact of software innovation. Demonstrations are not product sales pitches, but rather an opportunity to highlight, explain, and present interesting technical aspects of running applications in a dynamic and highly interactive setting. Presenters are encouraged to actively solicit feedback from the audience, which should lead to very interesting and entertaining demonstration sessions. Submissions Due: 30 June, 2015 http://2015.splashcon.org/track/splash2015-demos ** Doctoral Symposium ** The SPLASH Doctoral Symposium provides students with useful guidance for completing their dissertation research and beginning their research careers. The Symposium will provide an interactive forum for doctoral students who have progressed far enough in their research to have a structured proposal, but will not be defending their dissertation in the next 12 months. Submissions Due: 30 June, 2015 http://2015.splashcon.org/track/splash2015-ds ** OOPSLA Artifacts ** The Artifact Evaluation process is a service provided by the community to help authors of accepted papers provide more substantial supplements to their papers so future researchers can more effectively build on and compare with previous work. The Artifact Evaluation Committee has been formed to assess how well paper authors prepare artifacts in support of such future researchers. Roughly, authors of papers who wish to participate are invited to submit an artifact that supports the conclusions of the paper. Submissions Due: 9 June, 2015 http://2015.splashcon.org/track/splash2015-artifacts ** Posters ** The SPLASH Poster track provides an excellent forum for authors to present their recent or ongoing projects in an interactive setting, and receive feedback from the community. We invite submissions covering any aspect of programming, systems, languages and applications. The goal of the poster session is to encourage and facilitate small groups of individuals interested in a technical area to gather and interact. It is held early in the conference, to promote continued discussion among interested parties. Posters can be independent presentations or associated with one of the other parts of SPLASH. Submissions Due: 30 June, 2015 http://2015.splashcon.org/track/splash2015-posters ** SPLASH-E ** The SPLASH-E track brings together researchers and educators to share educational results, ideas, and challenges centered in Software and Programming Languages. Submission formats vary, including papers, tool demos, lightning talks, challenge-topics for discussion, and suggested themes for "unconference" sessions. Help us create an engaging forum for educational issues related to SPLASH! Submissions Due: 30 June, 2015 http://2015.splashcon.org/track/splash2015-splash-e ** Student Research Competition ** The ACM SIGPLAN Student Research Competition (ACM SRC) is an internationally-recognized venue that enables undergraduate and graduate students to experience the research world, share their research results with other students and SPLASH attendees. The competition has separate categories for undergraduate and graduate students and awards prizes to the top three students in each category. The ACM SIGPLAN Student Research Competition shares the Poster session?s goal to facilitate interaction with researchers and industry practitioners; providing both sides with the opportunity to learn of ongoing, current research. Submissions Due: 30 June, 2015 http://2015.splashcon.org/track/splash2015-src ** Student Volunteers ** The SPLASH Student Volunteer program provides an opportunity for students from around the world to associate with some of the leading personalities in industry and research in the following areas: programming languages, object-oriented technology and software development. Student volunteers contribute to the smooth running of the conference by performing tasks such as: assisting with registration, providing information about the conference to attendees, assisting session organizers and monitoring sessions. Submissions Due: 7 August, 2015 http://2015.splashcon.org/track/splash2015-sv ** Tutorials ** The SPLASH 2015 Tutorials programme will consist of prestigious tutorials on current topics in software, systems, and languages research. The scope of Tutorials is the same as the conference itself: all aspects of software construction and delivery at the intersection of programming, languages, and software engineering. Tutorials in particular focus on the nexus between research and practice, including work that takes inspiration from or builds connections to areas not commonly considered at SPLASH. Tutorials should introduce researchers to current research in an area, or show important new tools that can be used in research. Submissions Due: 30 June, 2015 http://2015.splashcon.org/track/splash2015-tutorials ** Wavefront ** The SPLASH Wavefront track is looking for presentations and technology talks of interest to the software community, particularly to software professionals working in companies large and small. Wavefront is a forum for presenting experience reports and tutorials about innovative tools, technologies, and software practices. Submissions Due: 30 June, 2015 http://2015.splashcon.org/track/splash2015-wavefront ** Workshops ** The SPLASH Workshops track will host a variety of high-quality workshops, allowing their participants to meet and discuss research questions with peers, to mature new and exciting ideas, and to build up communities and start new collaborations. SPLASH workshops complement the main tracks of the conference and provide meetings in a smaller and more specialized setting. Workshops cultivate new ideas and concepts for the future, optionally recorded in formal proceedings. Late Phase Submissions Due: 30 June, 2015 http://2015.splashcon.org/track/splash2015-workshops ** Co-Located Events ** SLE - 8th International Conference on Software Language Engineering (SLE) Submissions Due: 15 June, 2015 http://conf.researchr.org/home/sle2015 GPCE - 14th International Conference on Generative Programming: Concepts & Experiences (GPCE) Submissions Due: 15 June, 2015 http://conf.researchr.org/home/gpce2015 DBPL - 15th Symposium on Database Programming Languages (DBPL) Submissions Due: 15 June, 2015 http://conf.researchr.org/home/dbpl2015 PLoP - 22nd International Conference on Pattern Languages of Programming (PLoP) Submissions Due: 12 May, 2015 http://www.hillside.net/plop/2015/ Information: SPLASH Early Registration Deadline: 25 September, 2015 Contact: info at splashcon.org Website: http://2015.splashcon.org Location: Sheraton Station Square Hotel Pittsburgh, Pennsylvania, United States Organization: SPLASH General Chair: Jonathan Aldrich (Carnegie Mellon University) OOPSLA Papers Chair: Patrick Eugster (Purdue University) Onward! Papers Chair: Gail Murphy (University of British Columbia) Onward! Essays Chair: Guy Steele (Oracle Labs) DLS Papers Chair: Manuel Serrano (INRIA) Artifacts Co-Chairs: Robby Findler (Northwestern University) and Michael Hind (IBM Research) Demos Co-Chair: Igor Peshansky (Google) and Pietro Ferrara (IBM Research) Doctoral Symposium Chair: Yu David Liu, State University of New York (SUNY) Binghamton Local Arrangements Chair: Claire Le Goues (Carnegie Mellon University) PLMW Workshop Co-Chairs: Darya Kurilova (Carnegie Mellon University) and Zachary Tatlock (University of Washington) Posters Co-Chairs: Nick Sumner (Simon Fraser University) Publications Chair: Alex Potanin (Victoria University of Wellington) Publicity and Web Co-Chairs: Craig Anslow (University of Calgary) and Tijs van der Storm (CWI) SPLASH-E Chair: Eli Tilevich (Virginia Tech) SPLASH-I Co-Chairs: Tijs van der Storm (CWI) and Jan Vitek (Northeastern University) Student Research Competition Co-Chairs: Sam Guyer (Tufts University) and Patrick Lam (University of Waterloo) Student Volunteer Co-Chairs: Jonathan Bell (Columbia University) and Daco Harkes (TU Delft) Sponsorship Chair: Tony Hosking (Purdue University) Tutorials Co-Chair: Romain Robbes (University of Chile) and Ronald Garcia (University of British Columbia) Video Chair: Michael Hilton (Oregon State University) Videos Previews Czar: Thomas LaToza (University of California, Irvine) Wavefront Co-Chairs: Dennis Mancl (Alcatel-Lucent) and Joe Kiniry (Galois) Web Technology Chair: Eelco Visser (TU Delft) Workshop Co-Chairs: Du Li (Carnegie Mellon University) and Jan Rellermeyer (IBM Research) /************************************************************************************/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From sabel at ki.informatik.uni-frankfurt.de Thu May 21 07:49:44 2015 From: sabel at ki.informatik.uni-frankfurt.de (David Sabel) Date: Thu, 21 May 2015 09:49:44 +0200 Subject: [Haskell] Call for Participation: WPTE 2015 Second International Workshop on Rewriting Techniques for Program Transformations and Evaluation Message-ID: <555D8E18.1020600@ki.informatik.uni-frankfurt.de> CALL FOR PARTICIPATION Second International Workshop on Second International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2015) affiliated with RDP 2015 2 July, 2015, Warsaw, Poland http://www.trs.cm.is.nagoya-u.ac.jp/event/wpte2015/ !! The early registration deadline ends on May 22 !! Aims and Scope ============== The aim of WPTE is to bring together the researchers working on program transformations, evaluation, and operationally-based programming language semantics, using rewriting methods, in order to share the techniques and recent developments and to exchange ideas to encourage further activation of research in this area. The previous WPTE was held in Vienna 2014. Registration ============ http://rdp15.mimuw.edu.pl/index.php?site=registration Note that early registration ends on May 22. Talks ===== * Brigitte Pientka Invited talk, TBA * Giulio Guerrieri Head reduction and normalization in a call-by-value lambda-calculus * Guillaume Madelaine, Cedric Lhoussaine, and Joachim Niehren Structural simplification of chemical reaction networks preserving deterministic semantics * Naosuke Matsuda A simple extension of the Curry-Howard correspondence with intuitionistic lambda rho calculus * Adrian Palacios and German Vidal Towards Modelling Actor-Based Concurrency in Term Rewriting * David Sabel and Manfred Schmidt-Schauss Observing Success in the Pi-Calculus * Koichi Sato, Kentaro Kikuchi, Takahito Aoto and Yoshihito Toyama Context-Moving Transformation for Term Rewriting Systems * Sjaak Smetsers, Ken Madlener, and Marko Van Eekelen Formalizing Bialgebraic Semantics in PVS 6.0 From semen at trygub.com Thu May 21 23:49:52 2015 From: semen at trygub.com (Semen Trygubenko / =?utf-8?B?0KHQtdC80LXQvSDQotGA0LjQs9GD0LHQtdC9?= =?utf-8?B?0LrQvg==?=) Date: Fri, 22 May 2015 00:49:52 +0100 Subject: [Haskell] Haskell Weekly News: Issue 330 In-Reply-To: <20150507232926.GA3288@inanna.trygub.com> References: <20150326222444.GA91822@inanna.trygub.com> <20150409225936.GA1070@inanna.trygub.com> <20150423225841.GA8001@inanna.trygub.com> <20150507232926.GA3288@inanna.trygub.com> Message-ID: <20150521234952.GA57183@inanna.trygub.com> New Releases inline-c Francesco Mazzoli and Mathieu Boespflug release a library that allows to freely mix Haskell and C in the same source file and pass data from one language to the other with minimal overhead. http://hackage.haskell.org/package/inline-c https://github.com/fpco/inline-c/ https://www.fpcomplete.com/blog/2015/05/inline-c Books The Little Prover by Daniel P. Friedman and Carl Eastlund This book will come out in July 2015 and teaches how to use inductive proofs to determine facts about computer programs. http://mitpress.mit.edu/books/little-prover Haskell Programming by Christopher Allen and Julie Moronuki Half of the book is written and is available for early access. http://haskellbook.com/ https://gumroad.com/l/haskellbook?getthebook=Get+Haskell+Programming+now+from+Gumroad https://news.ycombinator.com/item?id=9580746 http://haskellbook.com/images/sample_pdf_v1.pdf Talks Workshop on Type Inference and Automated Proving Videos and slides are now available. http://staff.computing.dundee.ac.uk/frantisekfarka/tiap/ Discussion Against the definition of types Tomas Petricek argues that definition of what is a type does not exist and we should look for innovative ways of working with types without formal definition. http://tomasp.net/blog/2015/against-types/ http://www.reddit.com/r/haskell/comments/35zzvu/against_the_definition_of_types_by_tomas_petricek/ Effects encoded in types break encapsulation Yuras Shumovich notes that being too fine-grained in specification of side effects is in some ways equivalent to leaking implementation detail. http://blog.haskell-exists.com/yuras/posts/effects-encoded-in-types-break-encapsulation.html http://www.reddit.com/r/haskell/comments/36agmf/effects_encoded_in_types_break_encapsulation/ Quotes of the Week klaxion> "? My impression is that haskellers tend to be seen as head-in-the-clouds-impractical, purists to the point of fanaticism, and annoyingly prone to proselytizing. I'd like to change that and honestly I haven't met anyone who fits that (then again, I've yet to meet another haskeller IRL). Maybe this is a holdover from the earlier days when Haskell was a very marginalized community." kqr> "I wouldn't be too hopeful. Despite the fact that I'm one of the most practical, pragmatic members of one little social group I belong to (and this is clearly obvious quite often when others get into arguments over insignificant things) I'm still seen as a puristic, impractical hipster because I like Haskell. :( They don't seem to understand that a desire for good type systems and immutability come from a practical perspective. They equate things like Node.js with productivity and practicality. It's hard to change that image as long as that is the case." http://www.reddit.com/r/haskell/comments/36j3au/how_haskellers_are_seen_and_see_themselves/ "Everyone knows that the awesome Iron Man suit is actually dependent types." (psygnisfive) http://www.reddit.com/r/haskell/comments/36j3au/how_haskellers_are_seen_and_see_themselves/cremooe "The haskell applicative, alternative, monoidal and monadic combinators when applied to a monad that manage asynchronous IO permits multithreaded programming with little plumbing that is close to the specification level with great composability. No inversion of control means no need to deconstruct the specifications and no state machines. This, together with the uniform and composable thread management, narrow the design space and makes the application more understandable from the requirements, and thus the technical documentation and maintenance costs are reduced to a minimum." (Alberto G?mez Corona) "OOP is like creating custom hardware everytime for every problem. since there is no composability, everything must be done from scratch. there are no reusable objects beyond basic containers encapsulated in objects." (Alberto G?mez Corona) https://www.fpcomplete.com/user/agocorona/EDSL-for-hard-working-IT-programmers#the-oop-non-solution-half-solution http://haskell.1045720.n5.nabble.com/NoOO-languages-td5809663.html "if it's abstract (say, map) then x is as informative as element: a thing you know nothing further about" (cameleon) http://www.reddit.com/r/haskell/comments/36j3au/how_haskellers_are_seen_and_see_themselves/crf47tg "Add `terror`, a Text version of `error`" (Jonathan Lange) https://github.com/jml/basic-prelude/commit/11e936d6484ddbe9d403d40aa2bfbd3594b3a2b1 "If you take away my laziness, your language better bloody well be total and have a good accounting of codata." (kamatsu) http://www.reddit.com/r/haskell/comments/36s0ii/how_do_we_all_feel_about_laziness/crgm71x "Turing completeness is entirely compatible with totality. It is only bullshit completeness that totality excludes." (pigworker) http://www.reddit.com/r/haskell/comments/36s0ii/how_do_we_all_feel_about_laziness/crgqbah "The best way to encapsulate effects is not to restrict them." (Yuras Shumovich) http://blog.haskell-exists.com/yuras/posts/effects-encoded-in-types-break-encapsulation.html "I wouldn't use Haskell if I felt bad about laziness. It'd be like eating an apple pie while complaining that it contains apples..." (hagda) http://www.reddit.com/r/haskell/comments/36s0ii/how_do_we_all_feel_about_laziness/crgmcbl "Lazy evaluation gives the compiler more leverage in the optimiser than in a strict language. There are more equalities that apply (e.g. beta reduction, and let x = E in y ==> y, if y /= x) and therefore the compiler can do more code transformations." (simonmar) http://www.reddit.com/r/haskell/comments/36s0ii/how_do_we_all_feel_about_laziness/crgntwq "Seeing arguments from both sides, it's obvious to me that laziness-by-default is not better or worse than strictness-by-default; it's just a matter of taste and thinking habits. You can't please everyone: some people like looking at code more equationally and mathy, while some like it more down-to-earthy and predictable. ? The bottom line, however, is that, as SPJ said, laziness was good for Haskell because it helped them keep it pure." (SkoomaMudcrab) http://www.reddit.com/r/haskell/comments/36s0ii/how_do_we_all_feel_about_laziness/crgn2q5 -------------- next part -------------- A non-text attachment was scrubbed... Name: not available Type: application/pgp-signature Size: 181 bytes Desc: not available URL: From felipe.lessa at gmail.com Fri May 22 23:06:18 2015 From: felipe.lessa at gmail.com (Felipe Lessa) Date: Fri, 22 May 2015 20:06:18 -0300 Subject: [Haskell] ANN: nonce package Message-ID: <555FB66A.9000904@gmail.com> (Please forgive me if you received multiple copies of this e-mail.) Hello, The nonce package [1] contains functions to easily generate cryptographic nonces for many situations. Some places where these generated nonces can be used include: - Password recovery e-mail tokens. - XSRF protection tokens. - Session IDs sent on cookies. - Initialization vectors. It uses an AES CPRNG periodically reseeded from /dev/urandom (or equivalent). It has no frills, no knobs, so it's hard to misuse. It's been available for an year but I just realized I've never properly announced it. Regrettably, I've seen many uses of the random package (System.Random) when generating nonces. It's a bad choice: it is not a cryptographically secure PRNG, contains low entropy (64-bit state), and its default usage is seeded predictably (using a constant seed). Please avoid using the random package for generating nonces at all costs. In its stead, use the nonce package or something similar. Cheers, [1] http://hackage.haskell.org/package/nonce -- Felipe. -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 819 bytes Desc: OpenPGP digital signature URL: From tdammers at gmail.com Sat May 23 16:02:13 2015 From: tdammers at gmail.com (Tobias Dammers) Date: Sat, 23 May 2015 18:02:13 +0200 Subject: [Haskell] ANN: nonce package In-Reply-To: <555FB66A.9000904@gmail.com> References: <555FB66A.9000904@gmail.com> Message-ID: <20150523160211.GA10577@nibbler> Looks useful; feature request: something like nonce :: MonadIO => Int -> Generator (plus -url and -T flavors, obviously). I believe allowing the programmer to balance security vs. usability demands would be a good thing overall and worth a knob. -> m ByteString On Fri, May 22, 2015 at 08:06:18PM -0300, Felipe Lessa wrote: > (Please forgive me if you received multiple copies of this e-mail.) > > Hello, > > The nonce package [1] contains functions to easily generate > cryptographic nonces for many situations. Some places where these > generated nonces can be used include: > > - Password recovery e-mail tokens. > > - XSRF protection tokens. > > - Session IDs sent on cookies. > > - Initialization vectors. > > It uses an AES CPRNG periodically reseeded from /dev/urandom (or > equivalent). It has no frills, no knobs, so it's hard to misuse. It's > been available for an year but I just realized I've never properly > announced it. > > Regrettably, I've seen many uses of the random package (System.Random) > when generating nonces. It's a bad choice: it is not a > cryptographically secure PRNG, contains low entropy (64-bit state), and > its default usage is seeded predictably (using a constant seed). Please > avoid using the random package for generating nonces at all costs. In > its stead, use the nonce package or something similar. > > Cheers, > > [1] http://hackage.haskell.org/package/nonce > > -- > Felipe. > > _______________________________________________ > Haskell mailing list > Haskell at haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell -- Tobias Dammers - tdammers at gmail.com From tomofumi.yuki at inria.fr Tue May 26 08:45:37 2015 From: tomofumi.yuki at inria.fr (Tomofumi Yuki) Date: Tue, 26 May 2015 10:45:37 +0200 (CEST) Subject: [Haskell] CFP: GPCE' 15 (COMLAN Special Issue), Deadline June 8 Message-ID: <2138447917.8441168.1432629937679.JavaMail.zimbra@inria.fr> Call for Papers: Computer Languages, Systems and Structures COMLAN Special Issue on the 14th International Conference on Generative Programming: Concepts & Experiences (GPCE'15) Papers will be selected among top ranked papers from GPCE'15: ACM SIGPLAN GPCE 2015 14th International Conference on Generative Programming: Concepts & Experiences Oct 26-27, 2015, Pittsburgh, PA, USA http://www.gpce.org GPCE keynote speaker: Prof. Priya Narasimhan (CMU, USA) GPCE is co-located with: ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH 2015) and ACM SIGPLAN 8th International Conference on Software Language Engineering (SLE) 2015 ----------------------------------------------------------------- IMPORTANT DATES GPCE abstract submission : June 8, 2015 GPCE full paper submission: June 15, 2015 GPCE authors notification : July 24, 2015 GPCE camera-ready : Aug 7, 2015 GPCE conference : Oct 26-27, 2015 Special issue submission : January 1, 2016 Special issue notification: May 1, 2016 Special issue publication : July 1, 2016 Note that GPCE workshops are handled by SPLASH All dates are Anywhere on Earth ----------------------------------------------------------------- SCOPE 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. ----------------------------------------------------------------- TOPICS OF INTEREST GPCE seeks contributions on all topics related to generative software and its properties. Topics of interest include, but are not limited to: Generative software * Domain-specific languages (language extension, language embedding, language design, language theory, language workbenches, interpreters, compilers) * Product lines (domain engineering, feature-oriented and aspect-oriented programming, pre-processors, feature interactions) * Metaprogramming (reflection, staging, partial evaluation), Type systems, Program synthesis * Implementation techniques and tool support (components, plug-ins, libraries, metaprogramming, macros, templates, generic programming, run-time code generation, model-driven development, composition tools, code-completion and code-recommendation systems) Practical Applications and Empirical evaluations * Empirical evaluations of all topics above (user studies, substantial case studies, controlled experiments, surveys, rigorous measurements) * Application areas and engineering practice (Cloud Computing, Internet of Things, Cyber Physical Systems, Mobile Computing, Software Defined Networking, High Performance Computing, Patterns and Middleware, Development methods) Properties of generative software * Correctness of generators and generated code (analysis, testing, formal methods, domain-specific error messages, safety, security) * Reuse and evolution * Modularity, separation of concerns, understandability, and maintainability * Performance engineering, nonfunctional properties (program optimization and parallelization, GPGPUs, multicore, footprint, metrics) We particularly welcome papers that address some of the key challenges in the field, such as, * 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 GPCE encourages submissions about empirical evaluations and applications of generative software, and such papers will be given special consideration during reviewing. From Y.Lin at hw.ac.uk Wed May 27 10:37:44 2015 From: Y.Lin at hw.ac.uk (YuHui Lin) Date: Wed, 27 May 2015 11:37:44 +0100 Subject: [Haskell] AVoCS 2015: Final Call for Papers Message-ID: ====================================================================== FINAL CALL FOR PAPERS The 15th International Workshop on Automated Verification of Critical Systems AVoCS 2015 1-4 September 2015, Edinburgh, UK https://sites.google.com/site/avocs15/ avocs2015 at easychair.org -----------------------|*** HIGHLIGHTS ***|---------------------------- + Paper deadline: 12th June (with abstract due 5th June) + Invited talks by Colin O'Halloran (D-RisQ/Oxford) Don Sannella (Contemplate/Edinburgh) + AI4FM workshop including invited talk by J Strother Moore (Univerity of Texas at Austin) + Student support from FME/SICSA sponsorships + Proceedings to be published by EASST + Special issues of Science of Computer Programming ======================================================================= IMPORTANT DATES Submission of abstract (full papers): 5th June 2015 Submission of full papers: 12th June 2015 Notification (full papers): 14th July 2015 Submission of research idea papers: 7th August 2015 Notification (research idea): 14th August 2015 Early registration: 18th August 2015 Submissions of final versions: 21st August 2015 INVITED SPEAKERS Colin O'Halloran (D-RisQ & the University of Oxford) Don Sannella (Contemplate & the University of Edinburgh) SPONSORS Formal Methods Europe (FME) The Scottish Informatics & Computer Science Alliance (SICSA) BACKGROUND The aim of Automated Verification of Critical Systems (AVoCS) 2015 is to contribute to the interaction and exchange of ideas among members of the international research community on tools and techniques for the verification of critical systems. SCOPE The subject is to be interpreted broadly and inclusively. It covers all aspects of automated verification, including model checking, theorem proving, SAT/SMT constraint solving, abstract interpretation, and refinement pertaining to various types of critical systems which need to meet stringent dependability requirements (safety-critical, business-critical, performance-critical, etc.). Contributions that describe different techniques, or industrial case studies are encouraged. The technical programme will consist of invited and contributed talks and also allow for short presentations of research ideas. The workshop will be relatively informal, with an emphasis on discussion where special discussion sessions will be organised around the research ideas presentations. Topics include (but are not limited to): - Model Checking - Automatic and Interactive Theorem Proving - SAT, SMT or Constraint Solving for Verification - Abstract Interpretation - Specification and Refinement - Requirements Capture and Analysis - Verification of Software and Hardware - Specification and Verification of Fault Tolerance and Resilience - Probabilistic and Real-Time Systems - Dependable Systems - Verified System Development - Industrial Applications WORKSHOPS AI4FM 2015: 1 September 2015 -- www.ai4fm.org/ai4fm-2015/ including invited talk by J Strother Moore (Univerity of Texas at Austin) VENUE The event will be held in the International Centre for Mathematical Sciences (ICMS) in the centre of the historic old town of Edinburgh - an UNESCO world heritage site. STUDENT GRANTS Thanks to sponsorships from FME and SICSA we can offer financial support for a limited number of students registering for AVoCS in the form of a registration fee waiver (full or partial). As this is limited, we ask the students that would like to take the advantage of this support to submit a short application. The details on how to apply will be available in due course from the AVoCS webpage. SUBMISSION DETAILS Submissions of full papers to the workshop must not have been published or be concurrently considered for publication elsewhere. All submissions will be peer-reviewed and judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the workshop. Submissions are handled via Easychair: https://easychair.org/conferences/?conf=avocs2015 The papers must be written in English and not exceed 15 pages and should use the dedicated AVoCS 2015 EASST template available rom the the following link (for LaTeX and Word): http://journal.ub.tu-berlin.de/eceasst AVoCS also encourages the submissions of research ideas in order to stimulate discussions at the workshop. Reports on ongoing work or surveys on work published elsewhere are welcome. The Programme Committee will select research ideas on the basis of submitted abstracts according to significance and general interest. Research ideas must be written in English and not exceed 2 pages using the EASST template. The presentation of these ideas will be organised around discussions, where the presenter should also prepare a set of question in which the audience will discuss. PROCEEDINGS At the workshop, pre-proceedings will be available in the form of a Heriot-Watt University Technical Report; this report will also include the research ideas. After the workshop, the authors of accepted full papers will have about one month in order to revise their papers for publication in the workshop post- proceedings which will appear in the Electronic Communications of the EASST Open Access Journal. Research ideas will not be part of the proceedings in the Open Access Journal. SPECIAL SCP JOURNAL ISSUE Authors of a selection of the best papers presented at the workshop will be invited to submit extended versions of their work for publication in a special issue of Elsevier's journal Science of Computer Programming. PROGRAM COMMITTEE Ernie Cohen, University of Pennsylvania, USA Ewen Denney, NASA Ames, USA Jean-Christophe Filliatre, CNRS, France Michael Goldsmith, University of Oxford, UK Gudmund Grov, Heriot-Watt University, UK (co-chair) Keijo Heljanko, Aalto University, Finland Mike Hinchey, University of Limerick, Ireland Marieke Huisman, University of Twente, Netherlands Andrew Ireland, Heriot-Watt University, UK (co-chair) Gerwin Klein, NICTA/UNSW, Australia Thierry Lecomte, ClearSy, France Peter Gorm Larsen, Aarhus University, Denmark Panagiotis (Pete) Manolios, Northeastern University, USA Stephan Merz, INRIA Nancy & LORIA, France Jaco van de Pol, University of Twente, Netherlands Markus Roggenbach, Swansea University, UK Marco Roveri, FBK, Italy Thomas Santen, Microsoft Research, Germany Bernard Steffen, Technical University Dortmund, Germany Jan Strej?ek, Masaryk University, Czech Republic Jun Sun, Singapore University of Technology and Design, Singapore Tayssir Touili, LIAFA, CNRS & University Paris Diderot, France Helen Treharne, University of Surrey, UK Laurent Voisin, Systerel, France Angela Wallenburg, Altran, UK John Wickerson, Imperial College London, UK Peter ?lveczky, University of Oslo, Norway ORGANISERS Gudmund Grov, Heriot-Watt University, UK Andrew Ireland, Heriot-Watt University, UK Yuhui Lin, Heriot-Watt University, UK (local arrangements and publicity chair) STEERING COMMITTEE Michael Goldsmith, University of Oxford, UK Stephan Merz, INRIA Nancy & LORIA, France Markus Roggenbach, Swansea University, UK ----- We invite research leaders and ambitious early career researchers to join us in leading and driving research in key inter-disciplinary themes. Please see www.hw.ac.uk/researchleaders for further information and how to apply. Heriot-Watt University is a Scottish charity registered under charity number SC000278. From akenn at microsoft.com Wed May 27 14:14:32 2015 From: akenn at microsoft.com (Andrew Kennedy) Date: Wed, 27 May 2015 14:14:32 +0000 Subject: [Haskell] ICFP 2015 Student Research Competition: Call for Submissions Message-ID: <95db108f61804670bc882a7b103c4e76@AM3PR30MB033.064d.mgd.msft.net> ====================================================================== CALL FOR SUBMISSIONS SRC at ICFP 2015 Vancouver, Canada 31 August - 2 September 2015 http://www.icfpconference.org/icfp2015/src.html Co-located with the International Conference on Functional Programming (ICFP 2015) ====================================================================== Student Research Competition ---------------------------- This year ICFP will host a Student Research Competition where undergraduate and postgraduate students can present posters. The SRC at ICFP 2015 consists of three rounds: * Extended abstract round. All students are encouraged to submit an extended abstract of up to 800 words outlining their research. * Poster session. Based on the abstracts, a panel of judges will select the most promising entrants to participate in the poster session which will take place at ICFP. Students who make it to this round will be eligible for some travel support to attend the conference. In the poster session, students will have the opportunity to present their work to the judges, who will select three finalists in each category (graduate/undergraduate) to advance to the next round. * ICFP presentation. The last round will consist of an oral presentation at ICFP to compete for the final award. Prizes ------ * The top three graduate and the top three undergraduate winners will receive prizes of $500, $300, and $200, respectively. * All six winners will receive award medals and a two-year complimentary ACM student membership, including a subscription to ACM's Digital Library. * The names of the winners will be posted on the ACM SRC web site. * The first-place winners will be invited to participate in the ACM SRC Grand Finals, an on-line round of competition among the winners of conference-hosted SRCs. * Grand Finalists and their advisors will be invited to the Annual ACM Awards Banquet for an all-expenses-paid trip, where they will be recognized for their accomplishments along with other prestigious ACM award winners, including the winner of the Turing Award (also known as the Nobel Prize of Computing). * The top three graduate Grand Finalists will receive an additional $500, $300, and $200. Likewise, the top three undergraduate Grand Finalists will receive an additional $500, $300, and $200. All six Grand Finalists will receive Grand Finalist certificates. * The ACM, Microsoft Research, and our industrial partners provide financial support for students attending the SRC. You can find more information about this on the ACM website. Eligibility ----------- The SRC is open to both undergraduate (not in a PhD programme) and graduate students (in a PhD programme). Upon submission, entrants must be enrolled as a student at their universities, and are ACM student members. Furthermore, there are some constraints on what kind of work may be submitted. Previously published work: Submissions should consist of original work (not yet accepted for publication). If the work is a continuation of previously published work, the submission should focus on the contribution over what has already been published. We encourage students to see this as an opportunity to get early feedback and exposure for the work they plan to submit to the next ICFP or POPL. Collaborative work: Students are encouraged to submit work they have been conducting in collaboration with others, including advisors, internship mentors, or other students. However, submissions are individual, so they must focus on the contributions of the student. Submission Details ------------------ Each submission should include the student author's name, institutional affiliation, e-mail address, and postal address; research advisor's name; ACM student member number; category (undergraduate or graduate); research title; and an extended abstract addressing the following: * Problem and Motivation: Clearly state the problem being addressed and explain the reasons for seeking a solution to this problem. * Background and Related Work: Describe the specialized (but pertinent) background necessary to appreciate the work. Include references to the literature where appropriate, and briefly explain where your work departs from that done by others. * Approach and Uniqueness: Describe your approach in attacking the problem and clearly state how your approach is novel. * Results and Contributions: Clearly show how the results of your work contribute to computer science and explain the significance of those results. The abstract must describe the student's individual research and must be authored solely by the student. If the work is collaborative with others and/or part of a larger group project, the abstract should make clear what the student's role was and should focus on that portion of the work. The extended abstract must not exceed 800 words and must not be longer than 2 pages. The reference list does not count towards these limits. To submit an abstract, please register through the submission page and follow the instructions. Abstracts submitted after the deadline may be considered at the committee's discretion, but only after decisions have been made on all abstracts submitted before the deadline. If you have any problems, don't hesitate to contact the competition chair. Please submit your abstract at the EasyChair submission page: https://easychair.org/conferences/?conf=icfp2015src Important Dates --------------- * Deadline for submission: 29 June * Notification of acceptance: 14 July Selection Committee ------------------- To include: Andrew Kennedy, Microsoft Research Cambridge (chair) Derek Dreyer, MPI-SWS, Saarbrucken Kathy Gray, University of Cambridge David Van Horn, University of Maryland -------------- next part -------------- An HTML attachment was scrubbed... URL: From c.grelck at uva.nl Wed May 27 21:25:47 2015 From: c.grelck at uva.nl (Clemens Grelck) Date: Wed, 27 May 2015 23:25:47 +0200 Subject: [Haskell] CoPro 2015 - Mini-Symposium on Coordination Programming Message-ID: <5566365B.4040302@uva.nl> *************************************************************************** CALL FOR PAPERS CoPro 2015 Mini-Symposium on Coordination Programming http://www.parco2015.org/coordination-programming Edinburgh, UK September 1, 2015 Submission deadline: July 3, 2015 *************************************************************************** PART OF ParCo 2015 17th International Conference on Parallel Computing http://www.parco2015.org/ Edinburgh, UK September 1-4, 2015 *************************************************************************** Coordination programming is a term that everybody seems to have a vague idea about, but only a few have a definite view on. And among those there is a great deal of divergence in understanding what coordination is all about. In this mini-symposium we intend to look at various interpretations of, and approaches to, coordination: from the conventional tuple-space, Linda-inspired constructions, such as CnC, to behavioural models such as Reo, to more recent attempts to see a coordination program as a projection of the full semantics of a distributed application that can be more or less accurately inferred at compile time and which affects resource- and performance-critical parameters. The mini-symposium will serve as a forum for building bridges between the various directions of research and will help us to share experiences and build a community geared towards practical applications of coordination programming. *************************************************************************** SCOPE: The mini-symposium will address, but is not limited to, the following issues through contributed papers and a panel-style discussion session included in the programme: * Why does coordination require a coordination language? Is there a kind of analysis that is impeded by the lack of specific coordination-language constructs? * Inference vs adaptation. What can be inferred and how should the coordination program adapt to the resource situation in parallel and distributed systems? * What kind of tuning or self-tuning facilities should/can coordination programming approaches require/possess? * What is the relationship between control-coordination and data-coordination? * How can coordination programming address the challenges of cloud computing, big data processing/analysis and mixed-criticality cyberphysical systems? * What are recent success stories in applying coordination programming to real-life applications? *************************************************************************** PROCEEDINGS: CoPro 2015 solicits original research papers written in English. Being a mini-symposium our focus is on bringing together researchers interested in all aspects of coordination programming. We explicitly encourage all sorts of contributions from mature research to position papers, work in progress and crazy ideas. For the initial submission extended abstracts of at least 2 pages are equally fine. Titles, authors and abstracts of all papers accepted by the mini-symposium will appear in the ParCo book of abstracts, which will distributed at the conference. All papers presented during the mini-symposium will be included in the proceedings of the 17th International Conference on Parallel Computing (ParCo 2015) and published as a volume of the series Advances of Parallel Computing after the ParCo conference. *************************************************************************** PAPER PREPARATION GUIDELINES: For CoPro 2015 the same formatting guidelines apply as for the main ParCo conference. Thus, papers must be formatted in ParCo style and not exceed 10 pages. For style files and all further details see http://www.parco2015.org/information-authors *************************************************************************** SUBMISSION GUIDELINES: CoPro 2015 makes use of the EasyChair conference management system to process all submissions and to organise the reviewing process. Please, use the following link: https://easychair.org/conferences/?conf=copro2015 to submit your paper. *************************************************************************** IMPORTANT DATES: July 3, 2015: submission deadline July 20, 2015: notification of acceptance July 31, 2015: early registration deadline ParCo conference September 1, 2015: mini-symposium September 4, 2015: end of ParCo conference October 31, 2015: submission of camera-ready papers for ParCo proceedings *************************************************************************** PROGRAMME COMMITTEE: tba *************************************************************************** MINI-SYMPOSIUM CHAIRS Clemens Grelck University of Amsterdam Informatics Institute Science Park 904 1098XH Amsterdam Netherlands c.grelck at uva.nl http://staff.fnwi.uva.nl/c.u.grelck Alex Shafarenko University of Hertfordshire School of Computer Science College Lane Hatfield, AL10 9AB United Kingdom a.shafarenko at herts.ac.uk http://homepages.herts.ac.uk/~comqas/ *************************************************************************** -- ---------------------------------------------------------------------- Dr Clemens Grelck Science Park 904 University Lecturer 1098XH Amsterdam Netherlands University of Amsterdam Institute for Informatics T +31 (0) 20 525 8683 Computer Systems Architecture Group F +31 (0) 20 525 7490 Office C3.105 staff.fnwi.uva.nl/c.u.grelck ---------------------------------------------------------------------- From xinyu.feng at gmail.com Wed May 27 16:33:36 2015 From: xinyu.feng at gmail.com (Xinyu Feng) Date: Thu, 28 May 2015 00:33:36 +0800 Subject: [Haskell] APLAS 2015: Final Call for Papers Message-ID: ********************************************************************* APLAS 2015, Call for Papers 13th Asian Symposium on Programming Languages and Systems Pohang, Korea, November 30 - December 2, 2015 < http://pl.postech.ac.kr/aplas2015/> ********************************************************************* *IMPORTANT DATES* Submission deadline: June 5, 2015 Author notification: August 17, 2015 Final version: September 7, 2015 Conference: November 30 - December 2, 2015 *INVITED SPEAKERS* Peter O'Hearn, Facebook Sukyoung Ryu, KAIST Eran Yahav, Technion Hongseok Yang, University of Oxford *ABOUT* APLAS aims to stimulate programming language research by providing a forum for the presentation of latest results and the exchange of ideas in programming languages and systems. APLAS is based in Asia, but is an international forum that serves the worldwide programming language community. APLAS is sponsored by the Asian Association for Foundation of Software (AAFS), founded by Asian researchers in cooperation with many researchers from Europe and the USA. Past APLAS symposiums were successfully held in Singapore ('14), Melbourne ('13), Kyoto ('12), Kenting ('11), Shanghai ('10), Seoul ('09), Bangalore ('08), Singapore ('07), Sydney ('06), Tsukuba ('05), Taipei ('04) and Beijing ('03) after three informal workshops. Proceedings of the past symposiums were published in Springer's LNCS. *TOPICS* The symposium is devoted to foundational and practical issues in programming languages and systems. Papers are solicited on topics such as * semantics, logics, foundational theory * design of languages, type systems and foundational calculi * domain-specific languages * compilers, interpreters, abstract machines * program derivation, synthesis and transformation * program analysis, verification, model-checking * logic, constraint, probabilistic and quantum programming * software security * concurrency and parallelism * tools and environments for programming and implementation Topics are not limited to those discussed in previous symposiums. Papers identifying future directions of programming and those addressing the rapid changes of the underlying computing platforms are especially welcome. Demonstration of systems and tools in the scope of APLAS are welcome to the System and Tool presentations category. Authors concerned about the appropriateness of a topic are welcome to consult with program chair prior to submission. *SUBMISSION* We solicit submissions in two categories: a) Regular research papers - describing original scientific research results, including tool development and case studies. Regular research papers should not exceed 18 pages in the Springer LNCS format, including bibliography and figures. They should clearly identify what has been accomplished and why it is significant. Submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity. In case of lack of space, proofs, experimental results, or any information supporting the technical results of the paper could be provided as an appendix or a link to a web page, but reviewers are not obliged to read them. b) System and tool presentations - describing systems or tools that support theory, program construction, reasoning, or program execution in the scope of APLAS. System and Tool presentations are expected to be centered around a demonstration. The paper and the demonstration should identify the novelties of the tools and use motivating examples. System and Tool papers should not exceed 8 pages in the Springer LNCS format, including bibliography and figures. Submissions will be judged based on both the papers and the described systems or tools. It is highly desirable that the tools are available on the web. Papers should be submitted electronically via the submission web page using EasyChair. Acceptable formats are PostScript or PDF. Submitted papers must be unpublished and not submitted for publication elsewhere. Papers must be written in English. The proceedings will be published as a volume in Springer's LNCS series. Accepted papers must be presented at the conference. *ORGANIZERS* General Chair: Sungwoo Park (Pohang Univ. of Science and Technology (POSTECH), Korea) Program Chair: Xinyu Feng (Univ. of Science and Technology of China, China) Program Committee: James Brotherston (Univ. College London, UK) James Cheney (Univ. of Edinburgh, UK) Huimin Cui (Institute of Computing Technology, CAS, China) Mike Dodds (Univ. of York, UK) Xinyu Feng (Univ. of Science and Technology of China, China) Nate Foster (Cornell Univ., USA) Alexey Gotsman (IMDEA Software Institute, Spain) Aquinas Hobor (School of Computing, National Univ. of Singapore / Yale-NUS College) Chung-Kil Hur (Seoul National Univ., Korea) Radha Jagadeesan (DePaul Univ., USA) Annie Liu (Stony Brook Univ., USA) Andreas Lochbihler (ETH Zurich, Switzerland) Santosh Nagarakatte (Rutgers Univ., USA) David A. Naumann (Stevens Inst. of Tech., USA) Michael Norrish (NICTA, Australia) Hakjoo Oh (Korea Univ., Korea) Murali Krishna Ramanathan (Indian Institute of Science, India) Xavier Rival (CNRS / ENS / INRIA, France) Kohei Suenaga (Kyoto Univ., Japan) Gang Tan (Lehigh Univ., USA) Alwen Tiu (Nanyang Technological University, Singapore) Martin Vechev (ETH Zurich, Switzerland) Bow-Yaw Wang (Academia Sinica, Taiwan) Nobuko Yoshida (Imperial College London, UK) Lijun Zhang (Institute of Software, CAS, China) -------------- next part -------------- An HTML attachment was scrubbed... URL: From andra.dinu at erlang-solutions.com Wed May 27 10:48:16 2015 From: andra.dinu at erlang-solutions.com (Andra Dinu) Date: Wed, 27 May 2015 11:48:16 +0100 Subject: [Haskell] Call for Talks - Code Mesh London 3-5 Nov Message-ID: Code Mesh is back! http://www.codemesh.io/ Like every year, our aim is to bring together a wide range of alternative technologies and programming languages and the wonderful crazy people who use them to solve real-world problems in software industry. With the aim of bringing together as many new users and inventors of non-mainstream tech as possible, we are opening our first *Call for Talks (which ends on 26 June)*. http://www.codemesh.io/#call-for-talks *Andra Dinu* Community & Social Check out the Erlang User Conference in Stockholm on 11-12 June! -------------- next part -------------- An HTML attachment was scrubbed... URL: From david.janin at labri.fr Fri May 29 09:25:27 2015 From: david.janin at labri.fr (David Janin) Date: Fri, 29 May 2015 11:25:27 +0200 Subject: [Haskell] Two years R&D engineer position available in Computer Science & Arts, Bordeaux, France Message-ID: Inria Bordeaux opens a R&D engineer position in the PoSET research project, located at LaBRI, Bordeaux, France Object: research and development on new modeling and programing methods for realtime computerized artistic systems. Duration: two years from Autumn 2015. Where : Inria Bordeaux/CNRS LaBRI, within the research project PoSET. Salary: from 2000 to 2500 Euros monthly netto (including health insurance) depending on candidate qualification. Keywords: functional programing (Haskell or Ocaml), reactive programming, real-time system, graphical modeling, computational music, science and arts. More details below. To apply, send CV and motivation letter to David Janin, david.janin at labri.fr ********************* ** Research Context The Inria research project PoSET is a new research team in Bordeaux with four permanent researchers and at least as many PhD students. It aims at developing a new approach to the design, implementation and execution of complex interactive media systems such as augmented musical pieces or interactive museographic installations. It aims in particular at developing the notion of tiled temporal media, a mathematically well-defined and rich model of temporal media, with a clean and efficient implementation of this model in the functional programming language Haskell. The resulting software platform should offer uniform, robust and easy-to-use tools for the homogeneous capture, transformation and production of heterogeneous temporal media: music, video, animation, etc. ** Mission Within the PoSET research and development team, the engineer will be the main developer of the project. His task will consists in developing consolidated versions of the existing programming modules and the current on-the-fly rendering kernel. Further developments, to be designed in collaboration with researchers and artists, will include interactive extensions of the rendering kernel, graphic modeling extensions based on higher dimensional tiles, and various domain-specific libraries (audio, music, video, control). His task will also include technical assistance to artists in residence creating artistic systems. ** Profile Master degree / engineering diploma in Computer Science - Creative and highly motivated - Solid programming skills in functional programming (Haskell, Ocaml) - Prior exposure to Human-Machine Interface and Computational Music would be a bonus - Language requirements: fluent spoken English or French and fluent written English ** Environment Hired by Inria Bordeaux Sud-Ouest, the engineer will be located within CNRS LaBRI in the lively city of Bordeaux which hosts many foreign students and researchers. Located in the heart of one of the most famous wine region of France, the direct surrounding of Bordeaux offers great outdoor recreation including surfing, sailing and cycling. The Pyrenees mountains (hiking, climbing and skiing) can be reached from Bordeaux in 3h by car. Paris can be reached from Bordeaux in 3h by train. ** About Inria: ? Established in 1967, Inria is the only public research body fully dedicated to computational sciences. Combining computer sciences with mathematics, Inria?s 3,500 researchers strive to invent the digital technologies of the future. Educated at leading international universities, they creatively integrate basic research with applied research and dedicate themselves to solving real problems, collaborating with the main players in public and private research in France and abroad and transferring the fruits of their work to innovative companies. The researchers at Inria published over 4,500 articles in 2013. They are behind over 300 active patents and 120 start-ups. The 172 project teams are distributed in eight research centers located throughout France. ? ** Some related links: * Inria Bordeaux Sud-Ouest: http://www.inria.fr/en/centre/bordeaux * UMR CNRS LaBRI laboratory http://www.labri.fr/index.php?n=Main.HomePage?userlang=en * PoSET research project http://www.labri.fr/perso/janin/poset.html * SCRIME (Studio de Cr?ation et de Recherche en Informatique et Musique Electroaccoustique) https://scrime.labri.fr/le-scrime/ * PoSET team leader http://www.labri.fr/perso/janin/ * Some publications in link with the project http://www.labri.fr/perso/janin/music.html From calimeri at mat.unical.it Fri May 29 14:48:14 2015 From: calimeri at mat.unical.it (Francesco Calimeri) Date: Fri, 29 May 2015 16:48:14 +0200 Subject: [Haskell] LPMR 2015 - Associated events - DEADLINES Message-ID: [apologies for multiple or cross- posting] The LPNMR 2015 Program Committee is evaluating the submitted papers, and notifications of acceptance are expected soon. However, we would like to remember that this year's edition comes along with a very rich set of associated events: 4 Workshops, the ADT 2015 conference, the joint ADT/LPNMR Doctoral Consortium, not to mention the 6th Answer Set Programming Competition. Quite a rich menu, right? Deadlines are approaching for such events, and this is intended as a gentle reminder: * GTTV'15: June 22, 2015 * ALPP 2015: July 15, 2015 * NLPAR 2015: June 22, 2015 * LNMR'15: June 22, 2015 * ADT 2015: time over * Joint LPNMR-ADT Doctoral Consortium: June 1, 2015 * Answer Set Programming Competition ASPCOMP: June 1, 2015 More details can be found here: http://lpnmr2015.mat.unical.it/associated-events From ky3 at atamo.com Fri May 29 16:40:58 2015 From: ky3 at atamo.com (Kim-Ee Yeoh) Date: Fri, 29 May 2015 23:40:58 +0700 Subject: [Haskell] Haskell Weekly News Message-ID: *Top Picks:* - Tony Day, Brisbane-based investment strategist and high-frequency-trading hacker, rides 100% idiomatic Haskell into the Single Page (web)-App space. How? He spins the GHCJS transpiler on Gabriel Gonzalez's Model-View-Controller library to obtain his own TodoMVC benchmark demo . Per GHCJS, the production spans multi-megabytes of javascript. Not to be missed: auto-run, i.e. click the QuickCheck-powered checkbox labeled "Let haskell do the work." Github repo . Along the way, he discovers how crippled Javascript is without sum types. As noted on HN , "Typos and missing cases represent a very large set of trivial bugs." He believes superior FP features such as sum types makes it "much harder for haskell to avoid success." Woe is us. /r/haskell - Michael Walker, a Ph.D. student at York, reveals his personal book-collection management web-app that runs on top of persistent , WAI , and web-routes . Public domain. - David Christiansen announces on /r/haskell Idris 0.9.18 with fancier records. Top comment says Idris is more type-friendly than Haskell despite the "esoteric academics behind dependent type theory." Why? Because Idris, helpfully offers suggestions that turn ill- into well-typed code. Haskell doesn't. - Remember JP Moresmau dropping EclipseFP ? Can Leksah take its place? Hamish Mackenzie announces a 7.10-ready Leksah 0.15.0 on /r/haskell . Top new feature? Support for GHCJS, which excites Phil Freeman of PureScript fame. Here's a 2min video clip on How to make a ghcjs-dom application in Leksah . - Roman Cheplyaka writes a short 'n sweet tutorial on how a list may be variously forced. He summarizes the similarities and differences in a table that goes from the shallowestly evaluated seq () to forceSpine to forceElements to the deepest rnf. /r/haskell - Justin Leitgeb, Rails developer and Co-Founder / CTO of Stack Builders, a Haskell-enabled software consultancy, deprioritizes learning Clojure, Go, Erlang, and Scala in favor of Agda, Coq, Idris, Elm, and Liquid Haskell . He will invest a couple of weeks at the Oregon PL Summer School starting June 15 . - Tony Morris announces a three-day Haskell-based Intro to FP course in Melbourne, July 21-23 this year. Pitched at beginners, it features learning by coding. Free; application deadline: July 10 . - By popular request , Franti?ek Farka and his team recorded all of a workshop on type inference in Dundee, Scotland held a couple of weeks ago. Highly-viewed talks include Edwin Brady on implementing dependent types in Idris and Conor McBride on "Type Inference Needs Revolution." /r/haskell - Michael Hicks at UMD, PC chair of POPL 2012, writes a PL research apologia cum pitch for new grad students. An informal poll he did shows PL Ph.D.s get good jobs. He explains that "The ethos of PL research is to not just find solutions to important problems, but to find the *best expression of those solutions.*" As ethos specimens, he gives three: probabilistic programming, incremental computation a.k.a. self-adaptive computation, and authenticated data structures (see LambdaAuth ). HN-worthy . - Jan Stolarek gives a glimpse of GHC's new injective type families feature, which is joint research with SPJ and Richard Eisenberg. It brings Haskell one step closer to having a notion of type functions as opposed to mere 'constructors.' The feature is useful in type-level hacking. It allows the arguments of a type family to be inferred solely by result type. But Lennart Augustsson on /r/haskell gives a trivial example where even when a type family isn't injective, its argument can still be inferred knowing a particular result type. He regrets that GHC doesn't do this. - Joe Nelson uploads the video and a summary of Kristen Kozak introducing the Safe Haskell extension to the SF Bay Area Haskell Users Group on May 12. Slides here . Redditor beerdude26 adds the link to and tidies up the Safe Haskell wiki entry. - Out of frustration with existing Windows GUI FFIs, Luka Horvat creates bindings for WinForms , Microsoft's .NET menus-and-widgets library. He binds to F# instead of lower-level C++/C# because it's easier. /r/haskell - Gabriel Gonzalez demoes another piece of Morte, what he describes as his "pandoc for programming languages." He prototypes "distributing typed code over the internet where the unit of compilation is individual expressions." /r/haskell - Taylor Fausak forsakes TagSoup and scrapes websites the hard way using xml-conduit. He concludes that it's "tougher than doing the same thing in scripting languages, but hopefully easier than [his blog readers] expected." - Stuart Popejoy writes a monad tutorial . A redditor finds it an "entertaining explanation of monads." Another asks the OOP-ish question: are monads "basically wrappers that contain 'impure' data and actions with some common functions?" See /r/haskell *Announcement:* Semen Trygubenko has stepped down from publishing his edition of HWN. Losing him means there will be no issue next week. *Quotes of the Week:* - UnoOuzo : "The type of my love is parametrically polymorphic. It is unbounded." Looking into ways to cite this in my thesis. - Conor McBride : Algebra is a posh way of saying "construction kit". - Michael Hicks : The ethos of PL research is to not just find solutions to important problems, but to find the *best expression of those solutions. * - There is a fountain of youth: it is your mind, your talents, the creativity you bring to your life and the lives of people you love. When you learn to tap this source, you will truly have defeated age. -- Sophia Loren -- Kim-Ee -------------- next part -------------- An HTML attachment was scrubbed... URL: From mihai.maruseac at gmail.com Fri May 29 20:41:56 2015 From: mihai.maruseac at gmail.com (Mihai Maruseac) Date: Fri, 29 May 2015 16:41:56 -0400 Subject: [Haskell] ANNOUNCE: Haskell Communities and Activities Report (28th ed., May 2015) Message-ID: On behalf of all the contributors, we are pleased to announce that the Haskell Communities and Activities Report (28th edition, May 2014) is now available, in PDF and HTML formats: http://haskell.org/communities/05-2015/report.pdf http://haskell.org/communities/05-2015/html/report.html Many thanks go to all the people that contributed to this report, both directly, by sending in descriptions, and indirectly, by doing all the interesting things that are reported. We hope you will find it as interesting a read as we did. If you have not encountered the Haskell Communities and Activities Reports before, you may like to know that the first of these reports was published in November 2001. Their goal is to improve the communication between the increasingly diverse groups, projects, and individuals working on, with, or inspired by Haskell. The idea behind these reports is simple: Every six months, a call goes out to all of you enjoying Haskell to contribute brief summaries of your own area of work. Many of you respond (eagerly, unprompted, and sometimes in time for the actual deadline) to the call. The editors collect all the contributions into a single report and feed that back to the community. When we try for the next update, six months from now, you might want to report on your own work, project, research area or group as well. So, please put the following into your diaries now: ======================================== End of September 2015: target deadline for contributions to the November 2015 edition of the HC&A Report ======================================== Unfortunately, many Haskellers working on interesting projects are so busy with their work that they seem to have lost the time to follow the Haskell related mailing lists and newsgroups, and have trouble even finding time to report on their work. If you are a member, user or friend of a project so burdened, please find someone willing to make time to report and ask them to "register" with the editors for a simple e-mail reminder in October (you could point us to them as well, and we can then politely ask if they want to contribute, but it might work better if you do the initial asking). Of course, they will still have to find the ten to fifteen minutes to draw up their report, but maybe we can increase our coverage of all that is going on in the community. Feel free to circulate this announcement further in order to reach people who might otherwise not see it. Enjoy! Mihai Maruseac and Alejandro Serrano Mena -- Mihai Maruseac (MM) "If you can't solve a problem, then there's an easier problem you can solve: find it." -- George Polya -------------- next part -------------- An HTML attachment was scrubbed... URL: