March 2015 - Haskell - Haskell.org

Doctoral Teaching Assistantships in CS at Oxford
by Jeremy Gibbons 20 Mar '15

20 Mar '15

DOCTORAL TEACHING ASSISTANTSHIPS SOFTWARE ENGINEERING PROGRAMME DEPARTMENT OF COMPUTER SCIENCE, UNIVERSITY OF OXFORD The University of Oxford's Computer Science department is offering two DPhil (PhD) scholarships. The scholarships are for up to five years; they include teaching responsibilities on the department's Software Engineering Programme (SEP), which has been running for over twenty years, offering part-time professional Master's degrees in Software Engineering and in Software & Systems Security. Each scholarship provides a stipend (£14057 pa from October 2015, with small annual increases subsequently) plus full fees. The Department of Computer Science was established in 1957, making it one of the longest established in the country. It is one of the UK's leading computer science departments, ranked first in a number of international rankings. The latest Research Excellence Framework (REF 2014) resulted in the 74 members of the Department having 87% of their research activity ranked 4* ("world-leading") or 3* (internationally excellent"). Successful applicants will perform their research within the department, with the aim of obtaining a DPhil in Computer Science. Applications are particularly sought from students with research interests in core areas taught in SEP: * software engineering * programming languages * systems security * embedded and mobile systems * formal modelling techniques * semantic technologies * automated verification More information about the department's research in these areas may be found at http://www.cs.ox.ac.uk/research/. The scholarships have a teaching component, in line with the five-year duration. This will involve acting as a Teaching Assistant (TA) and second marker for six one-week SEP modules per year. First-hand professional experience of software engineering or systems security is therefore desirable, albeit not essential. Class sizes are small, with at most students 20 per module. More information about the modules may be found at http://www.cs.ox.ac.uk/softeng/courses/subjects.html. Applications should include a full CV, a description of past teaching experience in relation to core SEP modules, the names of two referees, and a one- to two-page presentation of the candidate's research interests and proposed DPhil topic. They should be sent by email, to tadphil(a)softeng.ox.ac.uk, to arrive no later than noon on Friday 17th April. Applicants should also arrange for their referees to send references to the same address by the same date. Selection will be on the basis of both fit to the teaching programme and suitability of the proposed research topic. We plan to hold interviews (possibly by Skype) during the week of 20th to 24th April. If you have any queries, please feel free to contact us on tadphil(a)softeng.ox.ac.uk. Jeremy.Gibbons(a)cs.ox.ac.uk Oxford University Department of Computer Science, Wolfson Building, Parks Road, Oxford OX1 3QD, UK. +44 1865 283521 http://www.cs.ox.ac.uk/people/jeremy.gibbons/

1 0

[TFP'15] final call for papers - deadline extended march 31 -
by Peter Achten 18 Mar '15

18 Mar '15

----------------------------- L A S T C A L L F O R P A P E R S ----------------------------- ======== 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. == PAPER SUBMISSIONS == Acceptance of articles for presentation at the symposium is based on a lightweight peer review process of extended abstracts (4 to 10 pages in length) or full papers (20 pages). The submission must clearly indicate which category it belongs to: research, position, project, evaluation, or overview paper. It should also indicate which authors are research students, and whether the main author(s) are students. A draft paper for which ALL authors are students will receive additional feedback by one of the PC members shortly after the symposium has taken place. We use EasyChair for the refereeing process. Papers must be submitted at: https://easychair.org/conferences/?conf=tfp2015 Papers must be written in English, and written using the LNCS style. For more information about formatting please consult the Springer LNCS web site: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 == IMPORTANT DATES == Submission of draft papers: March 31, 2015 Notification: April 7, 2015 Registration: May 4, 2015 TFP Symposium: June 3-5, 2015 Student papers feedback: June 9, 2015 Submission for formal review: July 1, 2015 Notification of acceptance: September 8, 2015 Camera ready paper: October 8, 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

1 0

Haskell Weekly News
by Kim-Ee Yeoh 18 Mar '15

18 Mar '15

*Top picks:* - Simon Marlow, who built much of GHC's runtime, now works at Facebook. He contributes to Haxl, a tool to "automatically batch and overlap requests for data from multiple data sources in a rule engine for identifying malicious content." In a talk last year at FP Days <http://fpdays.net/2014/sessions/index.php?session=21>, he explains how you too can use Haxl in your projects. The video was just made available at <http://www.infoq.com/presentations/remote-access-haxl> InfoQ <http://www.infoq.com/presentations/remote-access-haxl>. Hat-tip to redditor Pikachut <http://www.reddit.com/r/haskell/comments/2z049t/remote_access_made_easy_and…> for links to slides <https://github.com/simonmar/fpdays14/blob/master/Haxl%20-%20FP%20Days%20201…> and code <https://github.com/simonmar/fpdays14>. - GHC builds can be frightfully slow. Karel Gardas <http://comments.gmane.org/gmane.comp.lang.haskell.ghc.devel/8233> wonders how he can speedup builds on his 32-threaded SPARC T2000. Folks point him toward Andrey Mokhov's ongoing investigation <https://github.com/snowleopard/shaking-up-ghc> of Neil Mitchell's shake <http://community.haskell.org/~ndm/shake/> to replace GHC's current use of GNU make. SPJ hopes that it "will make a big difference." - Back in September last year, Ahmad Fatoum <https://github.com/haskell/win32/issues/24> asks whether we can fix the Win32 FFI so that it supports optional params? Some Win32 functions -- e.g. see FindWindow <https://msdn.microsoft.com/en-us/library/windows/desktop/ms633499%28v=vs.85…> -- accept NULL pointers as invocation of default behavior, currently impossible from Haskell. One option is to make copies of over 100 functions to prevent existing client code from breaking. A more radical one is to extend the existing FFI in-place and alter the type signatures by Maybe-fying the params that are actually optional. The vocal opinion is in favor of the latter, deeper fix. Yitzchak Gale <http://haskell.1045720.n5.nabble.com/Proposed-significant-breaking-changes-…> recently brought up the issue on haskell-libraries. - Maurizio Vitale <http://haskell.1045720.n5.nabble.com/extracting-a-single-declaration-using-…> asks for a way to extract verbatim a single definition from Haskell source. Michael Sloan shows a way to do it <https://gist.github.com/mgsloan/ac77dd33326322fc6ccd> using haskell-src-exts <https://hackage.haskell.org/package/haskell-src-exts>. - Conor McBride <http://www.reddit.com/r/haskell/comments/2y25ly/language_deriveapplicative/…> discusses Naperian / Representable functors as a subclass of Applicative. Elsewhere in the thread, Ed Kmett remarks that "The Log of a coinductive container being an inductive type is a new result for me." - A subreddit called haskelltil <http://www.reddit.com/r/haskelltil/> (TIL = Today I Learned) for little discoveries was announced on haskell reddit <https://pay.reddit.com/r/haskell/comments/2zcnsl/haskelltil_a_subreddit_for…> . *Repo of the week: *Calvin Cheng <http://calvinx.com/about/>, co-founder and CTO at AlgoAccess, releases code <https://github.com/calvinchengx/learnhaskell> and slides <http://www.slideshare.net/calvinchengx/functional-programming-part01> on learning Haskell for the OO programmer. *In your neighborhood:* - Kat Chuang organized an NYC-based study group <http://www.meetup.com/NY-Haskell/events/220997346/> to dissect Nishan Shukla's Haskell Data Analysis Cookbook <http://haskelldata.com/>. "This is your AHA! <https://github.com/ny-haskell/Action-Haskell-Analysis> Haskell Moment." - Redditor netroby <http://www.reddit.com/r/haskell/comments/2y4e0r/haskell_chinese_user_group_…> launched a QQ instant messaging group <http://en.wikipedia.org/wiki/Tencent_QQ>, code number 424801832, to talk Haskell. *Quote of the week:* Dimitri DeFigueiredo <https://mail.haskell.org/pipermail/beginners/2015-March/014900.html> says about the haskell-beginners mailing list, "This is the friendliest mailing list I have ever subscribed to. The people in this list are so nice that even if Haskell were not so wonderfully elegant, I would like to learn it just to be able to chat and work with them." *Acknowledgments* Thanks to Henk-Jan van Tuyl for help with the Quotes. Thanks to Gershom Bazerman, Roman Cheplyaka, and Artyom for offering assistance on web hosting HWN. *Letter to the Editor:* Can I just say that I'm very much in favour of the new format. There's interesting content that can't just be gained from occasionally checking reddit, there's an actual comment on each one rather than just the headline, and most importantly the quote is still there ;) Sorry if this is adding to a deluge of email that you're now getting because of this. Yours, Anon *Response:* Dear Anon, Glad you're enjoying HWN as much as I do creating and publishing it. I love the quotes too, and I depend on my readers to email me what they'd like to share with Team Haskell. (Sneak peak at the top-secret contingency plan: If I don't have quotes for the week, I ransack the archives. Shhh!! Don't tell anyone.) Yours is the only thank you I received. Appreciation like yours is what keeps HWN going, so let me thank you in return for sharing the love, for I remain Yours editorially, Kim-Ee Yeoh p.s. Stay tuned for an upcoming editorial on what the future holds for HWN. -- Kim-Ee

1 0

There has been discussion on matrix operations and cache thrashing; does management think using Haskell would lead to cash thrashing?
by KC 16 Mar '15

16 Mar '15

There has been discussion on matrix operations and cache thrashing; does management think using Haskell would lead to cash thrashing? What could change management's mind? -- -- Sent from an expensive device which will be obsolete in a few months! :D Casey

2 1

Haskell development role at Standard Chartered in London
by Don Stewart 16 Mar '15

16 Mar '15

The Strats team at Standard Chartered has an open position for a typed functional programming developer to join the team in London. This is a “front office” finance role – meaning you will work on the trading floor, directly with traders, building software to automate their work and improve their efficiency. The role is highly development focused, and you will use Haskell for almost all tasks: data analysis, market data publishing, database access, web services, desktop GUIs, large parallel tasks, quantitative models, solvers, everything. This is a fast paced role – code you write today will be deployed within hours to hundreds of users and has to work. More details are in the full posting here: https://donsbot.wordpress.com/2015/03/16/haskell-development-role-in-strats…

1 0

CFP: GPCE 2015, 14th International Conference on Generative Programming: Concepts & Experiences, Pittsburgh, Oct. 26/27, 2015
by Tomofumi Yuki 10 Mar '15

10 Mar '15

------------------------------------------------------------- ACM SIGPLAN GPCE 2015 14th International Conference on Generative Programming: Concepts & Experiences Oct 26-27, 2015, Pittsburgh, PA, USA http://conf.researchr.org/home/gpce2015 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 Abstract submission : June 8, 2015 Full paper submission : June 15, 2015 Authors notification : July 24, 2015 Camera-ready : Aug 7, 2015 Conference : Oct 26-27, 2015 Workshops: 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. ----------------------------------------------------------------- SUBMISSION GUIDELINES Research papers: 10 pages maximum (ACM SIGPLAN style) Research papers should report on original and unpublished results of theoretical, empirical, conceptual, or experimental research that contribute to scientific knowledge in the areas listed above (the PC chair can advise on appropriateness) Tool demos and short papers: 4 pages maximum (ACM SIGPLAN style). The goal of short papers is to promote current work on research and practice. Short papers represent an early communication of research and do not always require complete results as in the case of a full paper. In this way, authors can introduce new ideas to the community, discuss ideas and get early feedback. Please note that short papers are not intended to be position statements. Short papers are included in the proceedings and will be presented with a shorter time slot at the conference. Tool demonstrations should present tools that implement generative techniques, and are available for use. Any of the GPCE topics of interest are appropriate areas for tool demonstrations, although purely commercial tool demonstrations will not be accepted. Submissions must provide a tool description of 4 pages in SIGPLAN proceedings style (see above) and a demonstration outline including screenshots of up to 4 pages. Tool demonstrations must have the words "Tool Demo" or "Tool Demonstration" in the title, possibly appended in parenthesis. The 4-page tool description will, if the demonstration is accepted, be published in the proceedings. ----------------------------------------------------------------- ORGANIZERS GENERAL CHAIR Christian Kastner, Carnegie Mellon University, Pittsburgh, PA, USA PROGRAM COMMITTEE CHAIR Aniruddha Gokhale, Vanderbilt University, Nashville, TN, USA PUBLICITY CO-CHAIRS Faruk Caglar, Vanderbilt University, Nashville, TN, USA Tomofumi Yuki, INRIA Rhone-Alpes, France PROGRAM COMMITTEE (TO BE COMPLETED) Kenichi Asai, Ochanomizu Univ, Japan Emilie Balland, INRIA Bordeaux, France Don Batory, Univ of Texas, USA Walter Binder, Univ of Lugano, Switzerland Jan Bosch, Chalmers Univ, Sweden Akshay Dabholkar, Oracle, USA Ewen Denney, NASA Ames, USA Katrina Falkner, Univ of Adelaide, Australia Bernd Fischer, Stellenbosch Univ, South Africa Matthew Flatt, Univ of Utah, USA Jeff Gray, Univ of Alabama, USA Michael Haupt, Oracle Labs, Germany James Hill, Indiana Univ Purdue Univ at Indianapolis, USA Young-Woo Kwon, Utah State Univ, USA Raffaela Mirandola, Politechnico di Milano, Italy Hridesh Rajan, Iowa State Univ, USA Laurent Reveillere, LaBRI, Univ of Bordeaux, France Marcio Ribeiro, Federal Univ of Alagoas, Brazil Tiark Rompf, Purdue Univ, USA Klaus Schmid, Stiftung Universitat Hildesheim, Germany Norbert Siegmund, Univ of Passau, Germany Yannis Smaragdakis, Univ of Athens, Greece Sumant Tambe, RTI Inc, USA Petr Tuma, Charles Univ, Czech Republic Nalini Venkatasubramanian, Univ of California, Irvine, USA Jules White, Vanderbilt Univ, USA Eric Wohlstadter, Univ of British Columbia, Canada

1 0

SPLASH 2015: 2nd Call for Contributions: OOPSLA, Onward!, Workshops, Dynamic Languages Symposium
by Craig Anslow 09 Mar '15

09 Mar '15

/************************************************************************************/ ACM Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH'15) Pittsburgh, Pennsylvania, USA 25th-30th October, 2015 http://www.splashcon.org<http://www.splashcon.org/> Sponsored by ACM SIGPLAN /************************************************************************************/ COMBINED CALL FOR CONTRIBUTIONS OOPSLA Onward! Workshops Dynamic Languages Symposium (DLS) /************************************************************************************/ 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. ** OOPSLA Research Papers ** Papers that address any aspect of software development are welcome, including requirements, modeling, prototyping, design, implementation, generation, analysis, verification, testing, evaluation, maintenance, reuse, replacement, and retirement of software systems. Papers may address these topics in a variety of ways, including new tools (such as languages, program analyses, and runtime systems), new techniques (such as methodologies, design processes, code organization approaches, and management techniques), and new evaluations (such as formalisms and proofs, corpora analyses, user studies, and surveys). Submissions Due: 25 March, 2015 http://2015.splashcon.org/track/oopsla2015 ** Onward! Research Papers ** Onward! is a premier multidisciplinary conference focused on everything to do with programming and software: including processes, methods, languages, communities, and applications. Onward! is more radical, more visionary, and more open than other conferences to ideas that are well-argued but not yet proven. We welcome different ways of thinking about, approaching, and reporting on programming language and software engineering research. Submissions Due: 2 April, 2015 http://2015.splashcon.org/track/onward2015-papers ** Onward! Essays ** Onward! Essays is looking for clear and compelling pieces of writing about topics important to the software community. An essay can be an exploration of a topic, its impact, or the circumstances of its creation; it can present a personal view of what is, explore a terrain, or lead the reader in an act of discovery; it can be a philosophical digression or a deep analysis. It can describe a personal journey, perhaps that by which the author reached an understanding of such a topic. The subject area should be interpreted broadly and can include the relationship of software to human endeavors, or its philosophical, sociological, psychological, historical, or anthropological underpinnings. Submissions Due: 2 April, 2015 http://2015.splashcon.org/track/onward2015-essays ** 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. Early Phase Submissions Due: 25 March, 2015 Late Phase Submissions Due: 30 June, 2015 http://2015.splashcon.org/track/splash2015-workshops ** Dynamic Languages Symposium (DLS) ** DLS is the premier forum for researchers and practitioners to share knowledge and research on dynamic languages, their implementation, and applications. The influence of dynamic languages — from Lisp to Smalltalk to Python to Javascript — on real-world practice, and research, continues to grow. We invite high quality papers reporting original research, innovative contributions, or experience related to dynamic languages, their implementation, and applications. Submissions Due: 7 June, 2015 http://2015.splashcon.org/track/dls2015-papers ** Co-Located Events ** 8th International ACM SIGPLAN Conference on Software Language Engineering (SLE) Submissions Due: 15 June, 2015 http://conf.researchr.org/home/sle2015 14th International Conference on Generative Programming: Concepts & Experiences (GPCE) Submissions Due: 15 June, 2015 http://conf.researchr.org/home/gpce2015 22nd International Conference on Pattern Languages of Programming (PLoP) Submissions Due: 4 May, 2015 http://conf.researchr.org/home/plop2015 15th Symposium on Database Programming Languages (DBPL) Submissions Due: 10 June, 2015 http://conf.researchr.org/home/dbpl-2015 Information: SPLASH Early Registration Deadline: 25 September, 2015 Contact: info(a)splashcon.org<mailto:info@splashcon.org> Website: http://2015.splashcon.org<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) Artifact Evaluation Co-Chairs: Robby Findler (Northwestern University) and Michael Hind (IBM Research) Demos Co-Chairs: Igor Peshansky (Google) and Pietro Ferrara (IBM Research) Inspirations Co-Chairs: Darya Kurilova (Carnegie Mellon University), Zach Tatlock (University of Washington), and Crista Lopes (UC Irvine) Local Arrangements Chair: Claire Le Goues (Carnegie Mellon University) Posters Chair: 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) Sponsorship Chair: Tony Hosking (Purdue 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) Wavefront Co-Chairs: Dennis Mancl (Alcatel-Lucent) Web Technology Chair: Eelco Visser (TU Delft) Workshops Co-Chairs: Du Li (Carnegie Mellon University) and Jan Rellermeyer (IBM Research) SLE General Chair: Richard Paige (University of York) GPCE General Chair: Christian Kästner (Carnegie Mellon University) PLoP General Chair: Filipe Correia (University of Porto) DBPL General Chairs: James Cheney (University of Edinburgh) and Thomas Neumann (TU Munich) /************************************************************************************/

1 0

ARRAY'15 Call for Papers
by Mary Sheeran 09 Mar '15

09 Mar '15

ARRAY 15: ACM SIGPLAN 2nd International Workshop on Libraries, Languages and Compilers for Array Programming Saturday June 13th (whole day) Sunday June 14th (morning) Co-located with PLDI 2015, Portland, Oregon, USA http://www.sable.mcgill.ca/array/ This is the second instance of a new international workshop on Libraries, Languages and Compilers for Array Programming. The workshop aims to bring together the various groups (including functional programmers) that work on array programming. Papers from readers of this mailing list would be very welcome. The deadline for submission of four to six-page research or tool papers is March 23rd 2015, with notification on April 20th. Note the SIGPLAN sponsorship and the fact that students can apply for SIGPLAN PAC funding. It will be a fun workshop! For more information see http://www.sable.mcgill.ca/array/ and think about submitting! Mary Sheeran (with Laurie Hendren (Chair), Hidehiko Masuhara and Jan Vitek)

1 0

IIT’15, IEEE Sponsored, Dubai (01-03 Nov 2015), Call for Papers, Tutorials & Workshops Proposals, Students Posters
by Leila Fayez Ismail 09 Mar '15

09 Mar '15

Dear Colleagues, Apologies if you receive multiple copies of this CFP. Call for Papers, Submission deadline: 30 May 2015 Submission of Organizing Workshops Proposals: Extended to 15 March 2015 2015 11th International Conference on Innovations in Information Technology (IIT'15) November 01-03, 2015, Dubai, UAE. Conference website: http://www.it-innovations.ae/ Please feel free to distribute the IIT'15 CFP to your colleagues, students and networks. 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. Selected papers from IIT'15 will be invited for possible publications in special issues of journals. Extended papers will be published in a Springer Book. IIT’15 brings together leading innovators in Research & Development and Entrepreneurs in IT from around the world. The latest advances in fields from traditional computer science to evolving smart applications and technologies are explored in IIT’15 conference tracks. IIT’15 is an excellent opportunity to present theoretical, experimental as well as visionary research on various IT topics. The themes of IIT’15 are "Smart Living Cities, Big Data and Sustainable Development" and all the 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 and 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 IMPORTANT DATES Papers and Posters Submission 30 May 2015 Submission of Tutorials 30 May 2015 Notification of Papers and Posters 15 July 2015 Notification for Tutorials 15 July 2015 Submission of Organizing Workshops Proposals 01 March 2015 (Extended to 15 March 2015) Notification for Organizing Workshops Proposals 15 March 2015 (Extended to 22 March 2015) Final Camera-Ready Paper 01 September 2015 ------- Call for Tutorials http://www.it-innovations.ae/iit2015/cftutorials.html Tutorial Submission IIT’15 seeks 2-3 hour long tutorials which can address an audience of senior undergraduate students, graduate students and researchers. The tutorials will be open to all registered attendees free of charge. We seek proposals across a wide range of interesting topics related to the theme of the main conference including (but not limited to): · Next Generation Mobile and Wireless Networks · Smart Grid and Cyber Physical Systems · Green Technologies, Communications and Software · Information and Cyber Security for Smart Living Spaces · Internet of Things · Smart Appliances & Wearable Computing Devices · Design, Modeling and Simulation of Collaborative Applications · Real-Time Information Sharing and Interaction · Big Data Analytics and Algorithms · Cloud Computing · High Performance Computing · Middleware for Smart Applications and Platforms · e-Health and Bioinformatics · Smart Transportation Systems Tutorial proposals can be submitted via the conference management system (https://edas.info/) should be 2-3 pages and must include: · A 500 word summary. · Targeted audience. · Justification/motivation behind the proposed topic. · A short biography of the presenter (one only), and previous lecture and tutorial experience. · If the tutorial was given before, indicate when and where it was given and how it will be modified for IIT’15. ------- Call for Workshop Proposals http://www.it-innovations.ae/iit2015/cfworkshops.html Workshops Submission The IIT’15 organizing committee invites proposals for workshops within the main theme of the conference and its related areas. Workshops are intended to mainly cover research being done within the academic and professional community on new ideas with the focus on new experiences and case studies. All accepted workshop papers will be included as part of the proceedings based on the main conference paper submission regulations and will be subject to the same review policy. However, submission and reviewing of the papers will be managed by the workshops organizers utilizing the conference management system. Workshop proposals should include: · Title of the workshop. · A 500 word summary of the workshop · Full contact details of workshop organizers (maximum three), expected number of paper submissions. · Objectives of the workshop; why it is important and how it is relevant to IIT’15. · A draft Call for paper of the workshop with deadlines and list of TPC members. · If the workshop was conducted before, when and where it was conducted and statistics on the number of attendees and the acceptance ratio. · A short bio of the workshop organizers and past experiences in organizing workshops, seminars, or research meetings. Up to two of each workshop organizers will be granted free IIT’15 registration for one paper each provided that their organized workshop has more than 10 registered papers. Workshop proposals must be no more than 5 pages in length and submission should be made to EDAS: https://edas.info/ ------- Call for Students Posters URL: http://www.it-innovations.ae/iit2015/posters.html 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(a)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=l… 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<http://www.uaeu.ac.ae>

1 0

ANNOUNCE: fgl 5.5.1.0
by Ivan Lazar Miljenovic 09 Mar '15

09 Mar '15

I'm pleased to announce that - after being pestered about it for the past few months ;-) - I've released a new version of the Functional Graph Library that should* now be compatible with GHC 7.10. fgl is now developed on GitHub: https://github.com/haskell/fgl * In that I can't test it on my own machines -- Ivan Lazar Miljenovic Ivan.Miljenovic(a)gmail.com http://IvanMiljenovic.wordpress.com

1 0