[Haskell] ESOP 2024 Call For Papers
*** CALL FOR PAPERS 33rd European Symposium on Programming ESOP 2024 organized within ETAPS 2024 Luxembourg City, Luxembourg, 6-11 April 2024 *** NEW! In addition to Research Papers, ESOP 2024 solicits two new forms of contributions: Experience Reports and Fresh Perspectives NEW! Papers submitted in the Research Papers category may use any formatting and have no fixed page limit. Important Dates AoE (UTC-12) - Paper submission: October 12, 2023 - Rebuttal: Tuesday 5 December - Thursday 7 December, 2023 - Paper notification: December 21, 2023 - Artifact submission: January 4, 2024 - Paper final version: January 23, 2024 - Artifact notification: February 8, 2024 Scope ESOP is an annual conference devoted to fundamental issues in the specification, design, analysis, and implementation of programming languages and systems. ESOP seeks contributions on all aspects of programming language research including, but not limited to, the following areas: programming paradigms and styles, methods and tools to specify and reason about programs and languages, programming language foundations, methods and tools for implementation, concurrency and distribution, applications and emerging topics. Contributions bridging the gap between theory and practice are particularly welcome. Submission Categories Research Papers are articles that advance the state-of-the-art on the theory and practice of programming languages and systems. For the sake of flexibility, submitted research papers may be formatted in Springer’s LNCS, ACM's PACMPL, or ACM's TOPLAS format. There is no page limit for submissions, but authors should be aware that reviewers are likely to balance the review time for all papers and that camera-ready papers may not exceed 25 pages (excluding bibliography) and must be formatted in Springer’s LNCS. Experience Reports are articles reporting on systems and techniques developed in practice, such as artifacts, tools, mechanized proofs, and educational systems, both in academic and industrial settings. These articles must include a critical evaluation of the experience reported. Submitted and camera-ready experience report papers must be formatted in Springer’s LNCS, not exceeding 15 pages (excluding bibliography). Fresh Perspectives are articles that promote new insights on programming languages and systems in a particularly elegant way. These papers may offer new tutorial perspectives of known concepts or they may introduce fresh new insights and ideas that could lead to relevant future developments. Submitted and camera-ready fresh perspective papers must be formatted in Springer’s LNCS, not exceeding 15 pages (excluding bibliography). Springer's formatting style files and other information can be found on the Springer website: https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines Review Process The review process is double-blind with a rebuttal phase. In submitted papers, authors should omit names and institutions; refer to prior work in the third person; and should not include acknowledgements that might reveal their identity. During the evaluation period authors are free to speak publicly about their work and distribute preprints of their submitted papers. However, authors should avoid actions that would reveal their identities, such as directly contacting PC members. Submission link: https://easychair.org/conferences/?conf=esop2024 Accepted papers will be published in Springer's Lecture Notes in Computer Science series. Artifact Evaluation ESOP 2024 will have a post-paper-acceptance voluntary artifact evaluation. Authors will be encouraged to submit artifacts for evaluation after paper notification. The outcome will not alter the paper acceptance decision. Note: Artifacts may be submitted with an accompanying short 5 page experience report (including 1 page bibliography), that will appear in the conference proceedings. Journal-After Submissions Revised and expanded versions of accepted ESOP research papers are eligible for the ESOP Journal-After TOPLAS channel. A call will open in January at a predefined date after the ESOP notification, and to which all accepted papers may apply. A first light review round will be performed by the ESOP PC, to reach Reject or Revise decisions. Papers with Revise decisions will proceed to a second thorough review round, in which additional reviews will be coordinated with TOPLAS, towards a final Reject or Accept decision. Program Chair Stephanie Weirich (University of Pennsylvania) Program Committee Ana Bove, Chalmers, Sweden Loris D'Antoni, U Wisconsin-Madison, USA Ugo Dal Lago, Bologna, Italy Ornela
[Haskell] OPLSS 2023: Summer School Dates
We are pleased to announce the dates of the 21st annual Oregon Programming Languages Summer School (OPLSS) to be held from June 26th to July 8th, 2023 at the University of Oregon in Eugene. We are looking forward to getting together in person! The theme of the summer school will be "types, semantics, and logic". More details about the program and the registration process will be available soon. OPLSS 2023 Organization Team Zena Ariola, Stephanie Balzer, and Stephanie Weirich [image: oplss.png] ___ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
[Haskell] Mentoring workshop @ ICFP
CALL for Applications for Student Travel Support SIGPLAN Programming Languages Mentoring Workshop @ ICFP Vancouver, BC (co-located with ICFP 2015) Sunday, August 30th, 2015 http://www.cis.upenn.edu/~sweirich/icfp-plmw15/ We are pleased to invite students interested in functional programming research to the programming languages mentoring workshop at ICFP. The goal of this workshop is to introduce senior undergraduate and early graduate students to research topics in functional programming as well as provide career mentoring advice to help them get through graduate school, land a great job, and succeed. We have recruited leaders from the functional programming community to provide overviews of current research topics, and give students valuable advice about how to thrive in graduate school, search for a job, and cultivate habits and skills that will help them in research careers. This workshop is part of the activities surrounding ICFP, the International Conference on Functional Programming, and takes place the day before the main conference. One goal of the workshop is to make the ICFP conference more accessible to newcomers and we hope that participants will stay through the entire conference. Through the generous donation of our sponsors, we are able to provide travel scholarships to fund student participation. These travel scholarships will cover reasonable travel expenses (airfare, hotel and registration fees) for attendance at both the workshop and the ICFP conference. Anyone may apply for a travel scholarship, but first priority will be given to women and underrepresented minority applicants from the United States and Canada. The workshop is open to all. Students with alternative sources of funding for their travel and registration fees are welcome. In particular, many student attendance programs provide full or partial travel funding for students to attend ICFP 2015, including the ACM Student Research Competition. More information about student attendance programs at ICFP is available: http://icfpconference.org/icfp2015/student-attendance.html APPLICATION for TRAVEL SUPPORT: The travel funding application is available here: http://www.cs.ubc.ca/~rxg/icfp-plmw/ The deadline for full consideration of funding is April 24th, 2015. Selected participants will be notified starting June 5th. ORGANIZERS: Ron Garcia, University of British Columbia Stephanie Weirich, University of Pennsylvania with Kathleen Fisher, Tufts University (and General Chair, ICFP 2015) ___ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
[Haskell] DTP 2013 2nd Call For Papers
ubmission 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. ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
[Haskell] DTP 2013 Call for Papers
DTP 2013 ACM SIGPLAN Workshop on Dependently-Typed Programming SEPTEMBER 2013 Boston, Massachusetts, USA (co-located with ICFP 2013) CALL FOR PAPERS http://www.seas.upenn.edu/~sweirich/dtp13 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. A separate call for informal presentations will be issued during Summer 2013. 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! Proceedings --- 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. Submission Details -- * Paper Submission : Thursday, 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, as explained on the web. "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.ni
[Haskell] TLDI 2011 Call for participation
* CALL FOR PARTICIPATION TLDI 2011 ACM SIGPLAN Workshop on Types in Language Design and Implementation 25 January 2011 Austin, TX, USA To be held in conjunction with POPL 2011 http://www.mpi-sws.org/~dreyer/tldi2011/ * IMPORTANT DATES Deadline for student travel grant applications: December 17, 2010 Hotel reservation deadline: December 21, 2010 Notification of student travel awards: December 27, 2010 Early registration deadline:December 31, 2010 VENUE TLDI'11 and all POPL'11 affiliated events will take place at the Omni Austin Hotel in downtown Austin, TX. REGISTRATION To register for TLDI'11, follow the link from the POPL 2011 page, at https://regmaster3.com/2011conf/POPL11/register.php SCOPE The role of types and proofs in all aspects of language design, compiler construction, and software development has expanded greatly in recent years. Type systems, type-based analyses and type-theoretic deductive systems have been central to advances in compilation techniques for modern programming languages, verification of safety and security properties of programs, program transformation and optimization, and many other areas. The ACM SIGPLAN Workshop on Types in Language Design and Implementation brings researchers together to share new ideas and results concerning all aspects of types and programming, and is now an annual event. WORKSHOP PROGRAM Session 1: Invited Talk (9:30 - 10:30) Type Design Patterns for Computer Mathematics Georges Gonthier (Microsoft Research, Cambridge) Break (10:30-11:00) Session 2 (11:00-12:30) Singleton: A General-Purpose Dependently-Typed Assembly Language Simon Winwood and Manuel Chakravarty A Type and Effect System for Deadlock Avoidance in Low-Level Languages Prodromos Gerakios, Nikolaos Papaspyrou and Konstantinos Sagonas Extended Alias Type System using Separating Implication Toshiyuki Maeda, Haruki Sato and Akinori Yonezawa Lunch (12:30-14:30) Session 3: Invited Talk (14:30-15:30) Type Safety from the Ground Up Chris Hawblitzel (Microsoft Research, Redmond) Break (15:30-16:00) Session 4 (16:00-17:30) AuraConf: A Unified Approach to Authorization and Confidentiality Jeffrey Vaughan Information Flow Enforcement in Monadic Libraries Dominique Devriese and Frank Piessens The Essence of Monotonic State Alexandre Pilkiewicz and François Pottier ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
[Haskell] TLDI 2011: Final CALL FOR PAPERS
TLDI 2011 FINAL CALL FOR PAPERS The Sixth ACM SIGPLAN Workshop on Types in Language Design and Implementation Austin, Texas, USA Tuesday, January 25, 2011 (Co-located with POPL 2011) http://www.mpi-sws.org/~dreyer/tldi2011/ Submission Deadline: October 11, 2010 The role of types and proofs in all aspects of language design, compiler construction, and software development has expanded greatly in recent years. Type systems, type-based analyses and type-theoretic deductive systems have been central to advances in compilation techniques for modern programming languages, verification of safety and security properties of programs, program transformation and optimization, and many other areas. The ACM SIGPLAN Workshop on Types in Language Design and Implementation brings researchers together to share new ideas and results concerning all aspects of types and programming, and is now an annual event. TLDI 2011 is the sixth workshop in the series and will be co-located with POPL in Austin, Texas in January 2011. Submissions for TLDI 2011 are invited on all interactions of types with language design, implementation, and programming methodology. This includes both practical applications and theoretical aspects. TLDI 2011 specifically encourages papers from a broad field of programming language and compiler researchers, including those working on object-oriented or dynamic languages, systems programming, mobile-code or security, as well as traditional fully-static type systems. Topics of interest include: * Typed intermediate languages and type-directed compilation * Type-based language support for safety and security * Types for interoperability * Type systems for system programming languages * Type-based program analysis, transformation, and optimization * Dependent types and type-based proof assistants * Types for security protocols, concurrency, and distributed computing * Type inference and type reconstruction * Type-based specifications of data structures and program invariants * Type-based memory management * Proof-carrying code and certifying compilation * Types and objects This is not meant to be an exhaustive list; papers on novel utilizations of type information are welcome. Authors concerned about the suitability of a topic are encouraged to inquire via electronic mail to the program chair prior to submission. Submission Guidelines: Authors should submit a full paper of no more than 12 pages (including bibliography and appendices) by Monday, October 11, 2010. The submission deadline and length limitations are firm. Submissions that do not meet these guidelines will not be considered. All submissions should be in standard ACM SIGPLAN conference format: two columns, nine-point font on a ten-point baseline. Detailed formatting guidelines are available on the SIGPLAN Author Information page, along with a LaTeX class file and template. Papers must be submitted electronically via the workshop website (http://www.mpi-sws.org/~dreyer/tldi2011/) in Adobe Portable Document Format (PDF) and must be formatted for US Letter size (8.5"x11") paper. Authors for whom this is a hardship should contact the program chair before the deadline. Submitted papers must adhere to the SIGPLAN Republication Policy. Submissions should contain original research not published or submitted for publication elsewhere. Publication: As in previous years, accepted papers will be published by the ACM and appear in the ACM digital library. A printed proceedings will be available at the workshop. Important Dates: - Submission deadline: October 11, 2010 (Monday), 21:00 Samoa-Apia Time - Notification:November 8, 2010 (Monday) - Final versions due: November 22, 2010 (Monday) - Workshop:January 25, 2011 (Tuesday) General Chair: Stephanie Weirich University of Pennsylvania sweirich at cis dot upenn dot edu Program Chair: Derek Dreyer Max Planck Institute for Software Systems (MPI-SWS) dreyer at mpi-sws dot org Program Committee: Thorsten Altenkirch (University of Nottingham) Fritz Henglein (University of Copenhagen) Michael Hicks (University of Maryland, College Park) Limin Jia (Carnegie Mellon University) Mark Jones (Portland State University) Neel Krishnaswami (Microsoft Research, Cambridge) Paul-André Melliès (CNRS & Université Paris Diderot) Aleks Nanevski (IMDEA Software, Madrid) Benjamin Pierce (University of Pennsylvania) Tachio Terauchi (Tohoku University) Sam Tobin-Hochstadt (Northeastern University) Steering Committee: Amal Ahmed (Indiana University) Nick Benton (Microsoft Research, Cambridge) Derek Dreyer (MPI-SWS) Robert Harper (Carnegie Mellon University, chair) Andrew Kennedy (Microsoft Research, Cambrid
[Haskell] TLDI 2011: 2nd Call For Papers
TLDI 2011 2nd CALL FOR PAPERS The Sixth ACM SIGPLAN Workshop on Types in Language Design and Implementation Austin, Texas, USA Tuesday, January 25, 2011 (Co-located with POPL 2011) http://www.mpi-sws.org/~dreyer/tldi2011/ Submission Deadline: October 11, 2010 The role of types and proofs in all aspects of language design, compiler construction, and software development has expanded greatly in recent years. Type systems, type-based analyses and type-theoretic deductive systems have been central to advances in compilation techniques for modern programming languages, verification of safety and security properties of programs, program transformation and optimization, and many other areas. The ACM SIGPLAN Workshop on Types in Language Design and Implementation brings researchers together to share new ideas and results concerning all aspects of types and programming, and is now an annual event. TLDI 2011 is the sixth workshop in the series and will be co-located with POPL in Austin, Texas in January 2011. Submissions for TLDI 2011 are invited on all interactions of types with language design, implementation, and programming methodology. This includes both practical applications and theoretical aspects. TLDI 2011 specifically encourages papers from a broad field of programming language and compiler researchers, including those working on object-oriented or dynamic languages, systems programming, mobile-code or security, as well as traditional fully-static type systems. Topics of interest include: * Typed intermediate languages and type-directed compilation * Type-based language support for safety and security * Types for interoperability * Type systems for system programming languages * Type-based program analysis, transformation, and optimization * Dependent types and type-based proof assistants * Types for security protocols, concurrency, and distributed computing * Type inference and type reconstruction * Type-based specifications of data structures and program invariants * Type-based memory management * Proof-carrying code and certifying compilation * Types and objects This is not meant to be an exhaustive list; papers on novel utilizations of type information are welcome. Authors concerned about the suitability of a topic are encouraged to inquire via electronic mail to the program chair prior to submission. Submission Guidelines: Authors should submit a full paper of no more than 12 pages (including bibliography and appendices) by Monday, October 11, 2010. The submission deadline and length limitations are firm. Submissions that do not meet these guidelines will not be considered. All submissions should be in standard ACM SIGPLAN conference format: two columns, nine-point font on a ten-point baseline. Detailed formatting guidelines are available on the SIGPLAN Author Information page, along with a LaTeX class file and template. Papers must be submitted electronically via the workshop website (http://www.mpi-sws.org/~dreyer/tldi2011/) in Adobe Portable Document Format (PDF) and must be formatted for US Letter size (8.5"x11") paper. Authors for whom this is a hardship should contact the program chair before the deadline. Submitted papers must adhere to the SIGPLAN Republication Policy. Submissions should contain original research not published or submitted for publication elsewhere. Publication: As in previous years, accepted papers will be published by the ACM and appear in the ACM digital library. A printed proceedings will be available at the workshop. Important Dates: - Submission deadline: October 11, 2010 (Monday), 21:00 Samoa-Apia Time - Notification:November 8, 2010 (Monday) - Final versions due: November 22, 2010 (Monday) - Workshop:January 25, 2011 (Tuesday) General Chair: Stephanie Weirich University of Pennsylvania sweirich at cis dot upenn dot edu Program Chair: Derek Dreyer Max Planck Institute for Software Systems (MPI-SWS) dreyer at mpi-sws dot org Program Committee: Thorsten Altenkirch (University of Nottingham) Fritz Henglein (University of Copenhagen) Michael Hicks (University of Maryland, College Park) Limin Jia (Carnegie Mellon University) Mark Jones (Portland State University) Neel Krishnaswami (Microsoft Research, Cambridge) Paul-André Melliès (CNRS & Université Paris Diderot) Aleks Nanevski (IMDEA Software, Madrid) Benjamin Pierce (University of Pennsylvania) Tachio Terauchi (Tohoku University) Sam Tobin-Hochstadt (Northeastern University) Steering Committee: Amal Ahmed (Indiana University) Nick Benton (Microsoft Research, Cambridge) Derek Dreyer (MPI-SWS) Robert Harper (Carnegie Mellon University, chair) Andrew Kennedy (Microsoft Research, Cambridge) Francois
[Haskell] TLDI 2011 Call For Papers
TLDI 2011 CALL FOR PAPERS The Sixth ACM SIGPLAN Workshop on Types in Language Design and Implementation Austin, Texas, USA Tuesday, January 25, 2011 (Co-located with POPL 2011) http://www.mpi-sws.org/~dreyer/tldi2011/ Submission Deadline: October 11, 2010 The role of types and proofs in all aspects of language design, compiler construction, and software development has expanded greatly in recent years. Type systems, type-based analyses and type-theoretic deductive systems have been central to advances in compilation techniques for modern programming languages, verification of safety and security properties of programs, program transformation and optimization, and many other areas. The ACM SIGPLAN Workshop on Types in Language Design and Implementation brings researchers together to share new ideas and results concerning all aspects of types and programming, and is now an annual event. TLDI 2011 is the sixth workshop in the series and will be co-located with POPL in Austin, Texas in January 2011. Submissions for TLDI 2011 are invited on all interactions of types with language design, implementation, and programming methodology. This includes both practical applications and theoretical aspects. TLDI 2011 specifically encourages papers from a broad field of programming language and compiler researchers, including those working on object-oriented or dynamic languages, systems programming, mobile-code or security, as well as traditional fully-static type systems. Topics of interest include: * Typed intermediate languages and type-directed compilation * Type-based language support for safety and security * Types for interoperability * Type systems for system programming languages * Type-based program analysis, transformation, and optimization * Dependent types and type-based proof assistants * Types for security protocols, concurrency, and distributed computing * Type inference and type reconstruction * Type-based specifications of data structures and program invariants * Type-based memory management * Proof-carrying code and certifying compilation * Types and objects This is not meant to be an exhaustive list; papers on novel utilizations of type information are welcome. Authors concerned about the suitability of a topic are encouraged to inquire via electronic mail to the program chair prior to submission. Submission Guidelines: Authors should submit a full paper of no more than 12 pages (including bibliography and appendices) by Monday, October 11, 2010. The submission deadline and length limitations are firm. Submissions that do not meet these guidelines will not be considered. All submissions should be in standard ACM SIGPLAN conference format: two columns, nine-point font on a ten-point baseline. Detailed formatting guidelines are available on the SIGPLAN Author Information page, along with a LaTeX class file and template. Papers must be submitted electronically via the workshop website (http://www.mpi-sws.org/~dreyer/tldi2011/) in Adobe Portable Document Format (PDF) and must be formatted for US Letter size (8.5"x11") paper. Authors for whom this is a hardship should contact the program chair before the deadline. Submitted papers must adhere to the SIGPLAN Republication Policy. Submissions should contain original research not published or submitted for publication elsewhere. Publication: As in previous years, accepted papers will be published by the ACM and appear in the ACM digital library. A printed proceedings will be available at the workshop. Important Dates: - Submission deadline: October 11, 2010 (Monday), 21:00 Samoa-Apia Time - Notification:November 8, 2010 (Monday) - Final versions due: November 22, 2010 (Monday) - Workshop:January 25, 2011 (Tuesday) General Chair: Stephanie Weirich University of Pennsylvania sweirich at cis dot upenn dot edu Program Chair: Derek Dreyer Max Planck Institute for Software Systems (MPI-SWS) dreyer at mpi-sws dot org Program Committee: Thorsten Altenkirch (University of Nottingham) Fritz Henglein (University of Copenhagen) Michael Hicks (University of Maryland, College Park) Limin Jia (Carnegie Mellon University) Mark Jones (Portland State University) Neel Krishnaswami (Microsoft Research, Cambridge) Paul-André Melliès (CNRS & Université Paris Diderot) Aleks Nanevski (IMDEA Software, Madrid) Benjamin Pierce (University of Pennsylvania) Tachio Terauchi (Tohoku University) Sam Tobin-Hochstadt (Northeastern University) Steering Committee: Amal Ahmed (Indiana University) Nick Benton (Microsoft Research, Cambridge) Derek Dreyer (MPI-SWS) Robert Harper (Carnegie Mellon University, chair) Andrew Kennedy (Microsoft Research, Cambridge) Francois
[Haskell] (no subject)
= Call for Participation ACM SIGPLAN Haskell Symposium 2009 http://haskell.org/haskell-symposium/2009/ Edinburgh, Scotland, 3 September 2009 = The ACM SIGPLAN Haskell Symposium 2009 will be co-located with the 2009 International Conference on Functional Programming (ICFP). The purpose of the Haskell Symposium is to discuss experiences with Haskell and future developments for the language. The scope of the symposium includes all aspects of the design, semantics, theory, application, implementation, and teaching of Haskell. Preliminary program: * http://haskell.org/haskell-symposium/2009/schedule.html REGISTRATION IS NOW OPEN: * http://www.regmaster.com/conf/icfp2009.html * Early registration deadline: July 30, 2009 Local arrangements (including travel and accommodation): * http://www.haskell.org/haskellwiki/ICFP_2009_Local_Arrangements * Conference reservation/rate deadline: July 20, 2009 * ICFP09 & Haskell 09 coincides with the final week of the Edinburgh Festival, one of the premier arts and cultural festivals in the world. The opportunity to attend the Festival is a plus! Due to the popularity of Edinburgh during the festival period, we strongly recommend booking accommodation early. See you in Edinburgh, Stephanie Weirich Haskell 2009 Program Chair = p.s., don't forget about the ICFP Programming Contest this weekend!! * http://www.icfpcontest.org * Friday, June 26 to Monday, June 29 * Organizers: Computer Systems Design Laboratory (University of Kansas) ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
[Haskell] Haskell Symposium deadline: May 8, 3PM EDT
Reminder: The deadline for the Haskell Symposium is Friday, May 8th
at 3PM Eastern Daylight Time. Important: this is 3PM in Philadelphia,
not in Apia or wherever you are. There will be NO EXTENSIONS.
Find the deadline for your time zone from a link on the
Haskell 09 webpage.
http://haskell.org/haskell-symposium/2009/
Submission to the Haskell Symposium is now open at:
http://www.easychair.org/conferences/?conf=haskell09
You can update your submission(s) anytime up to the deadline,
so give it a try now.
Cheers,
Stephanie
---
Haskell 09
ACM SIGPLAN Haskell Symposium 2009
Edinburgh, Scotland, UK
September 3, 2009
CALL FOR PAPERS
http://haskell.org/haskell-symposium/2009/
The ACM SIGPLAN Haskell Symposium 2009 will be co-located with the
2009 International Conference on Functional Programming (ICFP).
The purpose of the Haskell Symposium is to discuss experiences with
Haskell and future developments for the language. The scope of the
symposium includes all aspects of the design, semantics, theory,
application, implementation, and teaching of Haskell.
Topics of interest include, but are not limited to, the following:
* Language Design, with a focus on possible extensions and
modifications of Haskell as well as critical discussions of the
status quo;
* Theory, in the form of a formal treatment of the semantics of
the
present language or future extensions, type systems, and
foundations for program analysis and transformation;
* Implementations, including program analysis and transformation,
static and dynamic compilation for sequential, parallel, and
distributed architectures, memory management as well as foreign
function and component interfaces;
* Tools, in the form of profilers, tracers, debuggers,
pre-processors, and so forth;
* Applications, Practice, and Experience, with Haskell for
scientific
and symbolic computing, database, multimedia and Web
applications,
and so forth as well as general experience with Haskell in
education and industry;
* Functional Pearls, being elegant, instructive examples of using
Haskell.
Papers in the latter two categories need not necessarily report
original research results; they may instead, for example, report
practical experience that will be useful to others, re-usable
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 Haskellers can benefit. It is not
enough simply to describe a program!
Before 2008, the Haskell Symposium was known as the Haskell
Workshop. The name change reflects both the steady increase of
influence of the Haskell Workshop on the wider community as well as
the increasing number of high quality submissions. The acceptance
process is highly competitive. After eleven Haskell Workshops
between 1995 and 2007, the first Haskell Symposium was held in
Victoria in 2008.
Submission Details
* Submission Deadline: Friday, May 8th 2009 (3:00 pm, Eastern
US Time)
* Author Notification: Monday, June 1st 2009
* Final Papers Due : Monday, June 15th 2009
Submitted papers should be in portable document format (PDF),
formatted
using the ACM SIGPLAN style guidelines
(http://www.acm.org/sigs/sigplan/authorInformation.htm). The
length is
restricted to 12 pages, and the font size 9pt. Each submission must
adhere to SIGPLAN's republication policy, as explained on the web.
Violation risks summary rejection of the offending submission.
Accepted papers will be published by the ACM and will appear in
the ACM
Digital Library.
If there is sufficient demand, we will try to organize a time
slot for
system or tool demonstrations. If you are interested in
demonstrating a
Haskell related tool or application, please send a brief demo
proposal
to Stephanie Weirich, sweir...@cis.upenn.edu.
Links
* http://haskell.org/haskell-symposium, the permanent homepage
of the
Haskell Symposium.
* http://haskell.org/haskell-symposium/2009/, the 2009 Haskell
Symposium web page.
* http://www.icfpconference.org/icfp2009, the ICFP 2009 web page.
Program Committee
* Jeremy Gibbons, Oxford University
* Bastiaan Heeren, Open Universiteit Nederland
* John Hughes, Chalmers/Quviq
* Mark Jones, Portland State University
* Simon Marlow, Microsoft Research
* Ulf Norell, Chalmers
* Chris Okasaki, United States Military Academy
* Ross Paterson, City University London
* Alexey Rodriguez Yakushev, Vector Fabrics
* Don Stewart, Galois
* Janis Voigtlaender, TU Dresden
* Stephanie We
[Haskell] Haskell Symposium Submission site now open
Submission to the Haskell Symposium is now open at:
http://www.easychair.org/conferences/?conf=haskell09
Please do submit! The deadline is a week from tomorrow.
(There will be NO EXTENSIONS of this deadline, so do get your
paper in on time.)
Cheers,
Stephanie
---
Haskell 09
ACM SIGPLAN Haskell Symposium 2009
Edinburgh, Scotland, UK
September 3, 2009
CALL FOR PAPERS
http://haskell.org/haskell-symposium/2009/
The ACM SIGPLAN Haskell Symposium 2009 will be co-located with the
2009 International Conference on Functional Programming (ICFP).
The purpose of the Haskell Symposium is to discuss experiences with
Haskell and future developments for the language. The scope of the
symposium includes all aspects of the design, semantics, theory,
application, implementation, and teaching of Haskell.
Topics of interest include, but are not limited to, the following:
* Language Design, with a focus on possible extensions and
modifications of Haskell as well as critical discussions of the
status quo;
* Theory, in the form of a formal treatment of the semantics of
the
present language or future extensions, type systems, and
foundations for program analysis and transformation;
* Implementations, including program analysis and transformation,
static and dynamic compilation for sequential, parallel, and
distributed architectures, memory management as well as foreign
function and component interfaces;
* Tools, in the form of profilers, tracers, debuggers,
pre-processors, and so forth;
* Applications, Practice, and Experience, with Haskell for
scientific
and symbolic computing, database, multimedia and Web
applications,
and so forth as well as general experience with Haskell in
education and industry;
* Functional Pearls, being elegant, instructive examples of using
Haskell.
Papers in the latter two categories need not necessarily report
original research results; they may instead, for example, report
practical experience that will be useful to others, re-usable
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 Haskellers can benefit. It is not
enough simply to describe a program!
Before 2008, the Haskell Symposium was known as the Haskell
Workshop. The name change reflects both the steady increase of
influence of the Haskell Workshop on the wider community as well as
the increasing number of high quality submissions. The acceptance
process is highly competitive. After eleven Haskell Workshops
between 1995 and 2007, the first Haskell Symposium was held in
Victoria in 2008.
Submission Details
* Submission Deadline: Friday, May 8th 2009 (3:00 pm, Eastern
US Time)
* Author Notification: Monday, June 1st 2009
* Final Papers Due : Monday, June 15th 2009
Submitted papers should be in portable document format (PDF),
formatted
using the ACM SIGPLAN style guidelines
(http://www.acm.org/sigs/sigplan/authorInformation.htm). The
length is
restricted to 12 pages, and the font size 9pt. Each submission must
adhere to SIGPLAN's republication policy, as explained on the web.
Violation risks summary rejection of the offending submission.
Accepted papers will be published by the ACM and will appear in
the ACM
Digital Library.
If there is sufficient demand, we will try to organize a time
slot for
system or tool demonstrations. If you are interested in
demonstrating a
Haskell related tool or application, please send a brief demo
proposal
to Stephanie Weirich, sweir...@cis.upenn.edu.
Links
* http://haskell.org/haskell-symposium, the permanent homepage
of the
Haskell Symposium.
* http://haskell.org/haskell-symposium/2009/, the 2009 Haskell
Symposium web page.
* http://www.icfpconference.org/icfp2009, the ICFP 2009 web page.
Program Committee
* Jeremy Gibbons, Oxford University
* Bastiaan Heeren, Open Universiteit Nederland
* John Hughes, Chalmers/Quviq
* Mark Jones, Portland State University
* Simon Marlow, Microsoft Research
* Ulf Norell, Chalmers
* Chris Okasaki, United States Military Academy
* Ross Paterson, City University London
* Alexey Rodriguez Yakushev, Vector Fabrics
* Don Stewart, Galois
* Janis Voigtlaender, TU Dresden
* Stephanie Weirich, University of Pennsylvania (Chair)
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
[Haskell] CFP Haskell Symposium 2009
Reminder: there are only 4 weeks until the submission deadline
for the 2009 Haskell Symposium. Please do submit.
Hope to see you in Edinburgh!
Stephanie
---
Haskell 09
ACM SIGPLAN Haskell Symposium 2009
Edinburgh, Scotland, UK
September 3, 2009
CALL FOR PAPERS
http://haskell.org/haskell-symposium/2009/
The ACM SIGPLAN Haskell Symposium 2009 will be co-located with the
2009 International Conference on Functional Programming (ICFP).
The purpose of the Haskell Symposium is to discuss experiences with
Haskell and future developments for the language. The scope of the
symposium includes all aspects of the design, semantics, theory,
application, implementation, and teaching of Haskell.
Topics of interest include, but are not limited to, the following:
* Language Design, with a focus on possible extensions and
modifications of Haskell as well as critical discussions of the
status quo;
* Theory, in the form of a formal treatment of the semantics of
the
present language or future extensions, type systems, and
foundations for program analysis and transformation;
* Implementations, including program analysis and transformation,
static and dynamic compilation for sequential, parallel, and
distributed architectures, memory management as well as foreign
function and component interfaces;
* Tools, in the form of profilers, tracers, debuggers,
pre-processors, and so forth;
* Applications, Practice, and Experience, with Haskell for
scientific
and symbolic computing, database, multimedia and Web
applications,
and so forth as well as general experience with Haskell in
education and industry;
* Functional Pearls, being elegant, instructive examples of using
Haskell.
Papers in the latter two categories need not necessarily report
original research results; they may instead, for example, report
practical experience that will be useful to others, re-usable
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 Haskellers can benefit. It is not
enough simply to describe a program!
Before 2008, the Haskell Symposium was known as the Haskell
Workshop. The name change reflects both the steady increase of
influence of the Haskell Workshop on the wider community as well as
the increasing number of high quality submissions. The acceptance
process is highly competitive. After eleven Haskell Workshops
between 1995 and 2007, the first Haskell Symposium was held in
Victoria in 2008.
Submission Details
* Submission Deadline: Friday, May 8th 2009 (3:00 pm, Eastern
US Time)
* Author Notification: Monday, June 1st 2009
* Final Papers Due : Monday, June 15th 2009
Submitted papers should be in portable document format (PDF),
formatted
using the ACM SIGPLAN style guidelines
(http://www.acm.org/sigs/sigplan/authorInformation.htm). The
length is
restricted to 12 pages, and the font size 9pt. Each submission must
adhere to SIGPLAN's republication policy, as explained on the web.
Violation risks summary rejection of the offending submission.
Accepted papers will be published by the ACM and will appear in
the ACM
Digital Library.
If there is sufficient demand, we will try to organize a time
slot for
system or tool demonstrations. If you are interested in
demonstrating a
Haskell related tool or application, please send a brief demo
proposal
to Stephanie Weirich, sweir...@cis.upenn.edu.
Links
* http://haskell.org/haskell-symposium, the permanent homepage
of the
Haskell Symposium.
* http://haskell.org/haskell-symposium/2009/, the 2009 Haskell
Symposium web page.
* http://www.icfpconference.org/icfp2009, the ICFP 2009 web page.
Program Committee
* Jeremy Gibbons, Oxford University
* Bastiaan Heeren, Open Universiteit Nederland
* John Hughes, Chalmers/Quviq
* Mark Jones, Portland State University
* Simon Marlow, Microsoft Research
* Ulf Norell, Chalmers
* Chris Okasaki, United States Military Academy
* Ross Paterson, City University London
* Alexey Rodriguez Yakushev, Vector Fabrics
* Don Stewart, Galois
* Janis Voigtlaender, TU Dresden
* Stephanie Weirich, University of Pennsylvania (Chair)
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
[Haskell] CFP Haskell Symposium 2009
Haskell 09
ACM SIGPLAN Haskell Symposium 2009
Edinburgh, Scotland, UK
September 3, 2009
CALL FOR PAPERS
http://haskell.org/haskell-symposium/2009/
The ACM SIGPLAN Haskell Symposium 2009 will be co-located with the
2009 International Conference on Functional Programming (ICFP).
The purpose of the Haskell Symposium is to discuss experiences with
Haskell and future developments for the language. The scope of the
symposium includes all aspects of the design, semantics, theory,
application, implementation, and teaching of Haskell.
Topics of interest include, but are not limited to, the following:
* Language Design, with a focus on possible extensions and
modifications of Haskell as well as critical discussions of the
status quo;
* Theory, in the form of a formal treatment of the semantics of
the
present language or future extensions, type systems, and
foundations for program analysis and transformation;
* Implementations, including program analysis and transformation,
static and dynamic compilation for sequential, parallel, and
distributed architectures, memory management as well as foreign
function and component interfaces;
* Tools, in the form of profilers, tracers, debuggers,
pre-processors, and so forth;
* Applications, Practice, and Experience, with Haskell for
scientific
and symbolic computing, database, multimedia and Web
applications,
and so forth as well as general experience with Haskell in
education and industry;
* Functional Pearls, being elegant, instructive examples of using
Haskell.
Papers in the latter two categories need not necessarily report
original research results; they may instead, for example, report
practical experience that will be useful to others, re-usable
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 Haskellers can benefit. It is not
enough simply to describe a program!
Before 2008, the Haskell Symposium was known as the Haskell
Workshop. The name change reflects both the steady increase of
influence of the Haskell Workshop on the wider community as well as
the increasing number of high quality submissions. The acceptance
process is highly competitive. After eleven Haskell Workshops
between 1995 and 2007, the first Haskell Symposium was held in
Victoria in 2008.
Submission Details
* Submission Deadline: Friday, May 8th 2009 (3:00 pm, Eastern
US Time)
* Author Notification: Monday, June 1st 2009
* Final Papers Due : Monday, June 15th 2009
Submitted papers should be in portable document format (PDF),
formatted
using the ACM SIGPLAN style guidelines
(http://www.acm.org/sigs/sigplan/authorInformation.htm). The
length is
restricted to 12 pages, and the font size 9pt. Each submission must
adhere to SIGPLAN's republication policy, as explained on the web.
Violation risks summary rejection of the offending submission.
Accepted papers will be published by the ACM and will appear in
the ACM
Digital Library.
If there is sufficient demand, we will try to organize a time
slot for
system or tool demonstrations. If you are interested in
demonstrating a
Haskell related tool or application, please send a brief demo
proposal
to Stephanie Weirich, sweir...@cis.upenn.edu.
Links
* http://haskell.org/haskell-symposium, the permanent homepage
of the
Haskell Symposium.
* http://haskell.org/haskell-symposium/2009/, the 2009 Haskell
Symposium web page.
* http://www.icfpconference.org/icfp2009, the ICFP 2009 web page.
Program Committee
* Jeremy Gibbons, Oxford University
* Bastiaan Heeren, Open Universiteit Nederland
* John Hughes, Chalmers/Quviq
* Mark Jones, Portland State University
* Simon Marlow, Microsoft Research
* Ulf Norell, Chalmers
* Chris Okasaki, United States Military Academy
* Ross Paterson, City University London
* Alexey Rodriguez Yakushev, Vector Fabrics
* Don Stewart, Galois
* Janis Voigtlaender, TU Dresden
* Stephanie Weirich, University of Pennsylvania (Chair)
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
[Haskell] Coq Tutorial at POPL 2008: Using Proof Assistants for Programming Language Research
== Tutorial Announcement and Call for Participation Using Proof Assistants for Programming Language Research Or: How to Write Your Next POPL Paper in Coq San Francisco, CA, 8 Jan 2008 Co-located with POPL 2008 Sponsored by ACM SIGPLAN http://plclub.org/popl08-tutorial/ === The University of Pennsylvania PLClub invites you to participate in a tutorial on using the Coq proof assistant to formalize programming language metatheory. This tutorial will be tailored to people who are familiar with syntactic proofs of programming language metatheory (type soundness, etc.), but have never used a proof assistant. At the end of the day, participants will have a reading knowledge of Coq and a running start on using Coq in their own work. This tutorial will be hands-on, with breaks for exercises; participants are strongly encouraged to bring a laptop running Coq 8.1 (or a later release) and either Proof General or CoqIDE. Tutorial topics - Defining language semantics in Coq - Abstract syntax - Inductively-defined relations - Derivations - Proving simple results - Fundamental tactics - Automation - Forward and backward reasoning - Scaling up to POPLmark - Semantic functions and conversion - Sets and environments - Representing binding - Locally nameless representation - Freshness through cofinite quantification - Syntactic type soundness Registration will be through the POPL 2008 registration site: http://www.regmaster.com/conf/popl2008.html The tutorial is organized and presented by members of the University of Pennsylvania PLClub: Brian Aydemir, Aaron Bohannon, Benjamin Pierce, Jeffrey Vaughan, Dimitrios Vytiniotis, Stephanie Weirich, and Steve Zdancewic. Questions can be sent to Stephanie Weirich ([EMAIL PROTECTED]). ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
