- Haskell - Haskell.org

Call for Papers IFL 2013
by publicityifl＠gmail.com 27 May '13

27 May '13

Hello, Please, find below the first call for papers for IFL 2013. 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 CALL FOR PAPERS 25th SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES - IFL 2013 RADBOUD UNIVERSITY NIJMEGEN, THE NETHERLANDS ACM In-Cooperation / ACM SIGPLAN AUGUST 28 - 30 2013 "Landgoed Holthurnsche Hof" http://ifl2013.cs.ru.nl We are proud to announce that the 25th edition of the IFL series returns to its roots at the Radboud University Nijmegen in the Netherlands. The symposium is held from 28th to 30th of August 2013. 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 2013 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. Following the IFL tradition, IFL 2013 will use a post-symposium review process to produce the formal proceedings which will be published in the ACM Digital Library. All participants of IFL 2013 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. Invited Speaker --------------- Lennart Augustsson, currently employed by the Standard Chartered Bank, well-known for his work on Haskell, parallel Haskell, Cayenne, and Bluespec, is the invited speaker of IFL 2013. He will be talking about practical applications of functional programming. Submission Details ------------------ Submission deadline draft papers: July 31 Notification of acceptance for presentation: August 2 Early registration deadline: August 7 Late registration deadline: August 14 Submission deadline for pre-symposium proceedings: August 21 25th IFL Symposium: August 28-30 Submission deadline for post-symposium proceedings: November 11 Notification of acceptance for post-symposium proceedings: December 18 Camera-ready version for post-symposium proceedings: February 3 2014 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 Papers are to be submitted via the conference's EasyChair submission page: https://www.easychair.org/conferences/?conf=ifl2013 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 2013, please contact the PC chair at rinus(a)cs.ru.nl. 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 honoured 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 ------------------- Thomas Arts, Quviq, Gothenburg, Sweden Andrew Butterfield, Trinity College, Dublin, Ireland Edwin Brady, University of St. Andrews, UK Clemens Grelck, University of Amsterdam, Netherlands Adam Granicz, IntelliFactory, Budapest, Hungary Jeremy Gibbons, University of Oxford, UK Fritz Henglein, University of Copenhagen, Denmark Stephan Herhut, Intel Labs, Santa Clara, US Ralf Hinze (co-chair), University of Oxford, UK Zoltán Horváth, Eötvös Loránd University, Budapest, Hungary Zhenjiang Hu, University of Tokyo, Japan Mauro Jaskelioff, Universidad Nacional de Rosario, Argentina Johan Jeuring, University of Utrecht, Netherlands Rita Loogen, University of Marburg, Germany Marco T. Morazán, Seton Hall University, New Jersey, US Dominic Orchard, University of Cambridge, UK Rinus Plasmeijer (chair), Radboud University Nijmegen, Netherlands Tim Sheard, Portland State University, US Sam Tobin-Hochstadt, Northeastern University / Indiana University, US Peter Thiemann, University of Freiburg, Germany Simon Thompson, University of Kent, UK Venue ----- The 25th IFL is organized by the Radboud University Nijmegen, Model Based Software Development Department at the Nijmegen Institute for Computing and Information Sciences. The event is held in the Landgoed Holthurnsche Hof, a rural estate in the woodlands surrounding Nijmegen. It can be reached quickly and easily by public transport.

1 0

[ANN] Hac Phi 2013
by Daniel Wagner 23 May '13

23 May '13

Hac Phi 2013, a Haskell hackathon/get-together, will be held June 7-9 at the University of Pennsylvania in Philadelphia. The hackathon will officially kick off at 2:30 Friday afternoon, and go until 5pm on Sunday (with breaks for sleep, of course). Last year's Hac Phi was a lot of fun, drawing more than 30 Haskellers, and many people have already expressed interest in coming back this year. Everyone is welcome - you do not have to be a Haskell guru. Helping hack on someone else's project could be a great way to increase your Haskell-fu. If you plan on coming, please officially register [1]. Registration, travel, lodging and many other details can be found on the Hac Phi wiki [2]. This year, we are making a public list of attendees' names and nicks - please let us know if you'd prefer not to be listed when you register. We're also looking for a few people interested in giving short (15-20 min.) talks, probably on Saturday afternoon. Anything of interest to the Haskell community is fair game - a project you've been working on, a paper, a quick tutorial. If you'd like to give a talk, add it on the wiki [3]. Hope to see you in Philadelphia! - The Hac Phi team Brent Yorgey (byorgey) Daniel Wagner (dmwit) Chris Casinghino (ccasin) [1] http://www.haskell.org/haskellwiki/Hac_%CF%86/Register [2] http://www.haskell.org/haskellwiki/Hac_%CF%86 [3] http://www.haskell.org/haskellwiki/Hac_%CF%86/Talks

1 1

SLE 2013 - Final Call for Papers
by Martin Erwig 22 May '13

22 May '13

======================================================================== CALL FOR PAPERS 6th International Conference on Software Language Engineering (SLE 2013) Oct 26-28, 2013, Indianapolis, IN, USA (Co-located with SPLASH 2013 and GPCE 2013) General chair: Eric Van Wyk, University of Minnesota, USA Program co-chairs: Martin Erwig, Oregon State University, USA Richard Paige, University of York, UK Keynote speaker: Don Batory, University of Austin, USA http://planet-sl.org/sle2013 ======================================================================== IMPORTANT DATES Deadline for abstracts: June 7, 2013 (Midnight UTC-8, Pacific Standard Time) Deadline for full papers: June 14, 2013 (Midnight UTC-8, Pacific Standard Time) Notification to authors: August 3, 2013 Camera-ready copies due: August 16, 2013 Conference: October 26 -28, 2013 TYPES OF SUBMISSIONS We solicit the following types of papers: - Research papers: These should report a substantial research contribution to SLE or successful application of SLE techniques or both. Full paper submissions must not exceed 20 pages (in LNCS format). - Industrial experience papers: These papers discuss practical applications of SLE technology with an emphasis on the advantages and disadvantages of the method, techniques, or tools used. These papers must not exceed 10 pages (in LNCS format). - Tool demonstration papers: Because of SLE's ample interest in tools, we seek papers that present software tools related to the field of SLE. These papers will accompany a tool demonstration to be given at the conference. These papers must not exceed 10 pages (in LNCS format). The selection criteria include the originality of the tool, its innovative aspects, the relevance of the tool to SLE, and the maturity of the tool. Papers are submitted via the Easychair system: https://www.easychair.org/conferences/?conf=sle2013 SCOPE The term "software language" refers to artificial languages used in software development. These include general-purpose programming languages, domain-specific languages, modeling and metamodeling languages, data models and ontologies. Examples include general purpose modeling languages such as SysML and UML, metamodeling frameworks such as Ecore, MOF or GOPRR, domain-specific modeling languages for business process modeling, such as BPMN, or embedded systems, such as Simulink or Modelica, and specialized XML-based and OWL-based languages and vocabularies. The term "software language" is intentionally broad; besides the above categories and examples, it also encompasses implicit approaches to language definition, such as APIs and collections of design patterns. Software language engineering is the application of systematic, disciplined, and measurable approaches to the development (design, implementation, testing, deployment), use, deployment, and maintenance (evolution, recovery, and retirement) of these languages. Of special interest are (1) formal descriptions of languages that are used to design or generate language-based tools and (2) methods and tools for managing such descriptions, including modularization, refactoring, refinement, composition, versioning, co-evolution, recovery, and analysis. TOPICS OF INTEREST We solicit high-quality contributions in the area of SLE ranging from theoretical and conceptual contributions to tools, techniques, and frameworks that support the aforementioned lifecycle activities. The topics of interest include, but are not limited to the following: - Formalisms used in designing and specifying languages, and tools that analyze language descriptions - Language implementation techniques: compiler generator tools, attribute grammar systems, term-rewriting systems, functional programming-based combinator libraries; metamodel-based and ontology tools implementing constraint, rule, view, transformation, and query formalisms and engines. - Transformations and transformation languages, as well as program and model transformation tools, and approaches for mapping between ontologies. - Language evolution: Included are extensible languages and type systems and their supporting tools and language conversion tools, approaches for ontology evolution, approaches for impact analysis of language evolution. - Approaches to the elicitation, specification, and verification of requirements for software languages: Examples include the use of requirements engineering techniques in domain engineering and in the development of domain-specific languages and the application of logic-based formalisms for verifying language and domain requirements. - Language development frameworks, methodologies, techniques, best practices, and tools for the broader language lifecycle covering phases such as analysis, testing, and documentation. For example, frameworks for advanced type or reasoning systems, constraint mechanisms, tools for metrics collection and language usage analysis, assessing language usability, documentation generators, visualization backends, generation of tests for language-based tools, knowledge and process management approaches, as well as IDE support for many of these activities are of interest. - Integration and interoperation between different approaches to software language engineering; for example, ways to integrate grammar-based and ontology-based approaches to language definition. - Design challenges in SLE: Example challenges include finding a balance between specificity and generality in designing domain-specific languages, between strong static typing and weaker yet more flexible type systems, or between deep and shallow embedding approaches, as, for example, in the context of adding type-safe XML and database programming support to general-purpose programming languages. - Applications of languages including innovative domain-specific languages or "little" languages: Examples include policy languages for security or service-oriented architectures, web-engineering with schema-based generators or ontology-based annotations. Of specific interest are the engineering aspects of domain-specific language support in all of these cases. The program committee chairs encourage potential contributors to contact them with questions about the scope and topics of interest of SLE. The overall principle of SLE is to be broad-minded and inclusive about relevance and scope, and to invest in community building when soliciting and selecting papers. PROGRAM COMMITTEE Emilie Balland, INRIA, France Olaf Chitil, University of Kent, UK James R. Cordy, Queen's University, Canada Davide Di Ruscio, Università degli Studi dell'Aquila, Italy Iavor Diatchki, Galois Inc., USA Anne Etien, LIFL - University of Lille 1, Fance Jean-Marie Favre, University of Grenoble, Fance Dragan Gasevic, Athabasca University, Canada Andy Gill, University of Kansas, USA Jeremy Gibbons, University of Oxford, UK Jeff Gray, University of Alabama, USA Giancarlo Guizzardi, Federal University of Espirito Santo, Brazil Gorel Hedin, Lund University, Sweden Markus Herrmannsdoerfer, Technische Universität München, Germany Zhenjiang Hu, NII, Japan Oleg Kiselyov, USA Paul Klint, Centrum Wiskunde & Informatica, The Netherlands Thomas Kuehne, Victoria University of Wellington, New Zealand Kim Mens, UC Louvain, Belgium Pierre-Etienne Moreau, Ecole des Mines Nancy, France Klaus Ostermann, Marburg University, Germany Arnd Poetzsch-Heffter, University of Kaiserslautern, Germany Fiona Polack, Dept of Computer Science, University of York, UK Lukas Renggli, University of Bern, Switzerland Bernhard Rumpe, RWTH Aachen University, Germany João Saraiva, Universidade do Minho, Portugal Friedrich Steimann, Fernuniversität in Hagen, Germany Gabriele Taentzer, Marburg University, Germany Mark Van Den Brand, TU/e, The Netherlands Jurgen Vinju, Centrum Wiskunde & Informatica, The Netherlands

1 0

PhD position in Programming Language Verification
by Eelco Visser 21 May '13

21 May '13

The Department of Software and Computer Technology of TU Delft has a four year PhD position in Programming Language Verification in the NWO VICI project of Eelco Visser: "The Language Designer's Workbench. Automating the Verification of Language Definitions" The objective of the project is to unify work on semantics engineering and mechanized meta-theory with work on language engineering and language workbenches in order to support language designers in the creation of sound language designs. The Language Designer's Workbench will provide declarative meta-languages to enable language designers to build high quality compilers and IDEs, while also verifying consistency properties of their language definitions. We will build on our previous work on the Spoofax Language Workbench and integrate work on compiler certification from the semantics engineering community. The grant provides funding for five researchers at PhD and postdoc level. The focus of this first position is on proof engineering for verification of programming languages. But candidates interested in all aspects of the project are invited to apply. The candidate should have a strong background in programming languages research and a demonstrable interest in one or more of the following topics: type systems, type inference algorithms, program analysis, program transformation, compiler construction, theorem proving and proof assistants, verification of language definitions or compilers, mechanized meta-theory. For more information about the position including application instructions see http://department.st.ewi.tudelft.nl/jobs/job/3 To meet the early application deadline please apply at the page above before June 15. Submissions received after June 15 will be also considered until the position has been filled. -- Eelco Visser Associate Professor at Delft University of Technology Group: Software Language Design and Engineering Email: e.visser(a)tudelft.nl Homepage: http://eelcovisser.org Publications: http://researchr.org/profile/eelcovisser News: http://twitter.com/eelcovisser

1 0

Re: [Haskell] recursion patterns?
by 7stud 21 May '13

21 May '13

>> Is one solution more efficient than the other? I believe my solution is >> tail recursive, but it's my understanding that compilers can now >> optimize just about anything into tail recursion. >The first solution works for infinite lists and the second one does not. I don't see how that's possible. Both traversals seem to be limited by n, and therefore they do not have to touch the end of the list. In any case, it would seem to me that the *first* solution would be the one that wouldn't work on an infinite list. Can you explain? >It's really like foldr vs. foldl. Hmm...I never thought of foldr and foldl in those terms. Thanks. I'l be sure to post any other questions I have on the beginner list.

2 1

ICSM 2013 - CFP for ERA/Tool Demo/Doctoral Symposium/Industry Tracks
by Natalia Dragan 21 May '13

21 May '13

============================================================================ ICSM 2013 CFP - ERA/Tool Demo/Doctoral Symposium/Industry Tracks ============================================================================ 29th IEEE International Conference on Software Maintenance 22 - 28 September 2013 - Eindhoven, The Netherlands http://icsm2013.tue.nl/ Follow us on Twitter: @IEEEICSM ============================================================================ The deadline for the ERA/Tool Demo/Doctoral Symposium/Industry tracks is approaching! Please read below and refer to the web page for further information. ================================ IMPORTANT DATES ================================ Abstract submission: June 17, 2013 Full papers submission: June 24, 2013 Notification: July 26, 2013 Camera-ready: August 9, 2013 ================================ ERA Track ================================ The goal of the Early Research Achievements (ERA) track is to provide researchers and practitioners with a forum for presenting great, promising ideas in early stages of research. These ideas do not require a strong empirical evaluation! The 2013 ERA track aims to provide constructive feedback to guide you from your initial idea and limited evaluation towards a solid ICSM 2014 paper with strong empirical underpinnings. The topics of interest for this track are the same as for the main research track, i.e., all the topics in the research and practice of software maintenance and evolution. Papers submitted to the ERA track must not have been accepted previously for publication or submitted for review to another conference, journal, or book. Submissions must be in English and conform to the IEEE proceedings style. They must be four-page long, including all text, references, appendices, and figures. Submissions will be evaluated on the basis of their originality, importance of contribution, soundness, evaluation (if available), quality and consistency of presentation, and appropriate comparison to related work. Further details are available at: http://icsm2013.tue.nl/CFP/index.html ================================ Doctoral Symposium Track ================================ As with previous editions, ICSM 2013 will feature a double doctoral symposium: Pre-doctoral: The first part is dedicated to PhD students in the midst of their doctoral studies in the field of software maintenance, who intend to finish their PhD within the next two years (2014-2015). This symposium aims to provide PhD students with an opportunity to present their ongoing work, to interact with other researchers in the field, and to get constructive feedback from senior researchers. Participants will discuss their goals, methods, and results at an early stage in their research. For the pre-doctoral symposium the submission should not exceed 4 pages. Details on the required content are available at: http://icsm2013.tue.nl/CFP/index.html Post-doctoral: The second part is dedicated to researchers who have delivered their PhD dissertations in the area of software maintenance and evolution within the last 2 years (2011-2012). This symposium aims to provide a forum for post-docs to present the highlights of their work to the ICSM community. Moreover, participants will be asked to reflect on the PhD process itself, and share some lessons learned with PhD students as well as PhD advisors. For the post-doctoral symposium the submission should not exceed 6 pages. Details on the required content are available at: http://icsm2013.tue.nl/CFP/index.html ================================ Industrial Track ================================ This track aims to foster mutually beneficial links between those engaged in scientific research and practitioners working to improve software maintenance practices. We are interested in results (both good and bad), obstacles, and lessons learned. Experiences from practitioners provide crucial input into future research directions and allow others to learn from successes and failures. For the industry track, we invite submissions of state-of-the-art practice and experience reports, survey reports from real-world projects and industrial experiences, and evidence-based identifications of unsolved research challenges associated to software maintenance. If you apply in an industrial context a method, model or tool, which you know was earlier presented at ICSM or other software engineering conference, we also warmly encourage you to submit to this track. Each submission should describe the problem addressed, the approach used, the current state of the project, an evaluation of the benefits or lessons learnt, and future developments. Submissions must be in English and conform to the IEEE proceedings style. They must be four-page long, including all text, references, appendices, and figures. Further details are available at: http://icsm2013.tue.nl/CFP/index.html ================================ Tool Demo Track ================================ This track provides an opportunity for researchers and practitioners to present and discuss the most recent advances, experiences, and challenges in the field of software maintenance with the goal of allowing live presentation of new research tools. Whether the tools are early research prototypes or polished tools prepared for commercialization (but not yet commercialized), the ICSM demo track provides the perfect opportunity to reach an international audience of researchers and practitioners, and solicit critical feedback. This year's demo track consists of demonstrators who get about 15 minutes in the conference program for presenting their tool. The presentation should focus on the main use cases of and essential concepts behind the tool, and should include an actual tool demo of at least 10 minutes. Accepted demos will be included in the ICSM proceedings. Demos also require a website and a 4-page proposal. Participation to the demos requires: 1) a 4-page proposal (format: IEEE format and template) describing the problem context, a typical usage scenario, existing tools and their shortcomings, the concepts behind the proposed tool, a graphical overview of the tool's architecture, a short discussion of the technologies used for implementation, a summary of experiments or other experiences with the tool, an outline of missing features and other future work, and the URL of the tool's website (see 2.); 2) a small website (referenced in the proposal) containing the URL of the screencast as well as the download link of the actual tool, together with clear installation instructions. The proposal should be submitted via EasyChair at http://www.easychair.org/conferences/?conf=icsmtool2013 The website do NOT need to be submitted via EasyChair, since their URL can be found via the proposal. If the tool is not available for download, the authors should clearly explain the rationale for this in the proposal. Each submission will be reviewed by at least 3 members of the tool demo PC. Major reviewing criteria are: relevance to the ICSM audience quality of the proposal novelty of the tool adherence to the tool demo guidelines Accepted demos will be allocated 4 pages in the conference proceedings. At least one author of each accepted demo must register and attend ICSM 2013 for the demo to be published in the proceedings. In addition, demonstrators will be expected to give a presentation that will be scheduled in the conference program. Demonstrators are expected to provide their own equipment. Please mention supplemental wishes (e.g., Internet access) in a seperate appendix in proposal, this appendix will NOT be included in proceedings. ================================ CHAIRS ================================ General Chair: Alexander Serebrenik, Eindhoven University of Technology, The Netherlands Program Co-chairs: Tom Mens, University of Mons, Belgium and Yann-Gaël Guéhéneuc, École Polytechnique de Montréal, Canada ERA Program Co-chairs: Romain Robbes, University of Chile, Chile and Bram Adams, École Polytechnique de Montréal, Canada Industry Track Chair: Joost Visser, Software Improvement Group in Amsterdam, The Netherlands Doctoral Symposium Co-chairs: Lori Pollock, University of Delaware, USA and Tibor Gyimothy, University of Szeged, Hungary Tools Track Co-chairs: Mark van den Brand, Eindhoven University of Technology, The Netherlands and Anthony Cleve, University of Namur, Belgium

1 0

Call for Participation: HaL8 - Haskell in Leipzig (Germany), June 21
by Johannes Waldmann 17 May '13

17 May '13

Hal8 - Haskell in Leipzig, June 21. visit the workshop web site for program and registration: http://www.bioinf.uni-leipzig.de/conference-registration/13haskell See you - Johannes Waldmann.

1 0

DTP 2013 2nd Call For Papers
by Stephanie Weirich 16 May '13

16 May '13

======================================================================== DTP 2013 ACM SIGPLAN Workshop on Dependently-Typed Programming 24th SEPTEMBER 2013 Boston, Massachusetts, USA (co-located with ICFP 2013) 2nd CALL FOR PAPERS http://www.seas.upenn.edu/~sweirich/dtp13 ======================================================================== [NOTE: Compared to the first announcement, this CFP updates the workshop date, submission deadline, and also solicits informal presentations for DTP.] Overview -------- The ACM SIGPLAN Workshop on Dependently-Typed Programming 2013 will be co-located with the [2013 International Conference on Functional Programming (ICFP), in Boston, Massachusetts, USA](http://icfpconference.org/icfp2013/). The purpose of DTP is to discuss experiences with dependent types in programming and future developments for dependently-typed languages. Recent years have seen increasing overlap between the dependent type theory and functional programming languages communities. Co-locating this workshop with ICFP will promote that cross fertilization. Topics of interest include, but are not limited to: * Language Design, both in the context of possible extensions and modifications of existing languages and the development of new languages with dependent types; * Theory, such as formal treatments of semantics and type systems; * Compilation, including implementations and optimization of dependently-typed languages; * Tools, in the form of IDEs, profilers, tracers, debuggers, and testing tools; * Functional Pearls, being elegant, instructive examples of using dependent types; * Experience Reports, general practice and experience with dependently-typed languages, e.g., in an education or industry context. Workshop Format --------------- The workshop program will be composed of regular papers (formally reviewed and published by ACM, see below) and informal presentations. Proceedings ----------- Regular papers should explain their research contributions in both general and technical terms, identifying what has been accomplished, explaining why it is significant, and relating it to previous work. Functional Pearls and Experience reports need not necessarily report original research results; they may instead, for example, report practical experience that will be useful to others, reusable programming idioms, or elegant new ways of approaching a problem. The key criterion for such a paper is that it makes a contribution from which other programmers can benefit. It is not enough simply to describe a (dependently-typed) program! Regular papers will appear in a formal proceedings published by ACM Press. In addition to printed proceedings, accepted papers will be included in the ACM Digital Library. Authors must abide by the [ACM policy](http://www.acm.org/news/featured/author-rights-management) for rights and permissions. Authors are encouraged to publish auxiliary material with their paper (source code, test data, etc.); they always retain copyright of auxiliary material. Informal Presentations -------------------- DTP also solicits informal, work-in-progress talks. Such talks will not be accompanied by a publication in the formal proceedings. However, materials relevant to these talks (such as draft papers) can be posted on the DTP website. To propose a talk, send a short abstract (at most one page!) to sweirich(a)cis.upenn.edu by August 16th, 2013. Travel Support --------------- Student attendees with accepted papers can apply for a [SIGPLAN PAC](http://www.sigplan.org/PAC.htm) 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. Submission Details ------------------- * Paper Submission : Friday, 14th June 2013 anywhere on Earth * Author Notification: Thursday, 11th July 2013 * Final Papers Due : Thursday, 25th July 2013 Submitted papers should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines (9pt format, more details appear on the symposium web page). The length is restricted to 12 pages, except for "Experience Report" papers, which are restricted to 6 pages. Each paper submission must adhere to SIGPLAN's [republication policy](http://www.sigplan.org/Resources/Policies/Republication). "Functional Pearls", and "Experience Reports" should be marked as such with those words in the title at time of submission. The paper submission deadline and length limitations are firm. There will be no extensions, and papers violating the length limitations will be summarily rejected. Submission is via [EasyChair](https://www.easychair.org/conferences/?conf=dtp2013). Program Committee ----------------- * Thorsten Altenkirch, University of Nottingham * Edwin Brady, University of St. Andrews * Nils Anders Danielsson, University of Gothenburg * Ranjit Jhala, UC San Diego * Conor McBride, University of Strathclyde * Brigitte Pientka, McGill University * Tim Sheard, Portland State University * Matthieu Sozeau, INRIA Paris * Aaron Stump, University of Iowa * Nikhil Swamy, Microsoft Research * Stephanie Weirich, University of Pennsylvania (chair) History ------- This workshop follows a series of workshops on dependently-typed programming. Past meetings include [DTP 2011 in Nijmegen](http://www.cs.ru.nl/dtp11/), [DTP 2010 in Edinburgh](http://sneezy.cs.nott.ac.uk/darcs/dtp10/), and [DTP 2008 in Nottingham](http://sneezy.cs.nott.ac.uk/darcs/DTP08/), as well as seminars organized in 2011 at [Shonan Village, Japan](http://www.nii.ac.jp/shonan/seminar007/) and in 2005 at [Dagstuhl, Germany](http://drops.dagstuhl.de/opus/volltexte/2005/186/). This is the first time that DTP has co-located with ICFP and has been sponsored by SIGPLAN.

1 0

[sven@tbi.univie.ac.at: Open PhD Position]
by Christian Hoener zu Siederdissen 16 May '13

16 May '13

Hello everybody, please find attached the description of a newly opened PhD position in bioinformatics at our group in Vienna. Mit freundlichem Gruss, Christian

1 0

Haskell programmer job / cloud content management
by Krishna Sunkammurali 16 May '13

16 May '13

Dear Haskellers, AlephCloud (www.alephcloud.com) is a well-funded and fast-paced Silicon Valley startup just emerging from stealth mode. We intend to change cloud content management to make it secure but still easy to use – and we have the team and world-class leadership to make it happen. We are seeking passionate software engineers who want to work on cloud content management solutions that meet highest security standards. You will be working closely with cryptographers, architects, product management, and data center operators to design and build server components. We are looking for experienced engineers with skills in: · Functional programing in a strongly typed language such as Haskell · Systems programming languages such as C or C++ · Development in a UNIX environment with open source software · Service security and identity management · Development of domain specific languages for policy and compliance · Cloud services and Cloud databases What should you know? You have a strong computer science background with knowledge in algorithms, data structures, and distributed systems. You know about complexity and you assess if a solution scales. A background in formal methods, computational logic, cryptography, compilers, database theory, or a related field would be a plus. Haskell is our main language used on the server side with a few modules written in JavaScript (node.js) and C. You can expect to work on many challenging areas including: · High-assurance cloud services for our server side infrastructure · Policy engines based on domain specific formal reasoning · Implementations of cryptographic ciphers for server side deployment · Prototypes and dependable reference implementations as basis for ports to various client side platforms You have an innovative mindset and a passion for elegant design and quality. You quickly learn new languages, platforms, and frameworks as needed. You come up with novel solutions for hard problems, argue for them in the team, and drive their realization. Due to the nature of data centric security and federated policy scenarios we encounter, common design patterns for cloud services often do not apply to our problems. Therefore we value agility, creativity, curiosity, and dedication more than anything else. If you picture yourself meeting the above requirements then we definitely like to talk to you. Please send an email with your resume to resume at alephcloud.com<mailto:resume@alephcloud.com> AlephCloud Systems (http://www.alephcloud.com) is headquartered in Sunnyvale, CA with a branch office at Seattle, WA. A qualified candidate may work from any location in the world. Our senior staff engineer Lars Kuhtz, Co-founder and CTO Roy D'Souza and myself will be at Bay Area Haskell Hackthon (May 17th – May 19th). We would be happy to chat with you in detail about this opportunity. Best Wishes, Krishna Sunkammurali [krishna at alephcloud.com] Sr. Director of Engineering AlephCloud Systems, Inc.

1 0