[Agda] Re: Agda Digest, Vol 127, Issue 17

Keith Ramsay ramsaykeith at gmail.com
Sun Apr 24 20:59:41 CEST 2016


On 3/23/16, agda-request at lists.chalmers.se
<agda-request at lists.chalmers.se> wrote:
> Send Agda mailing list submissions to
> 	agda at lists.chalmers.se
>
> To subscribe or unsubscribe via the World Wide Web, visit
> 	https://lists.chalmers.se/mailman/listinfo/agda
> or, via email, send a message with subject or body 'help' to
> 	agda-request at lists.chalmers.se
>
> You can reach the person managing the list at
> 	agda-owner at lists.chalmers.se
>
> When replying, please edit your Subject line so it is more specific
> than "Re: Contents of Agda digest..."
>
>
> Today's Topics:
>
>    1. CFP: Workshop on Type-driven Development (TyDe '16)
>       (Wouter Swierstra)
>    2. [TFPIE 2016] 2nd call for papers (Peter Achten)
>
>
> ----------------------------------------------------------------------
>
> Message: 1
> Date: Tue, 22 Mar 2016 13:38:27 +0100
> From: Wouter Swierstra <w.s.swierstra at uu.nl>
> Subject: [Agda] CFP: Workshop on Type-driven Development (TyDe '16)
> To: Agda list mailing <agda at lists.chalmers.se>
> Message-ID:
> 	<CAD65j9=NAbN_boF0ayK5C3miVEWHibBvzBWfUwx53QKugFwE3w at mail.gmail.com>
> Content-Type: text/plain; charset=UTF-8
>
> --------------------------------------------------------------------------------
>                                 CALL FOR PAPERS
>
>                      1st Type-Driven Development (TyDe '16)
>                                  A Workshop on
>                    Dependently Typed and Generic Programming
>
>                            18 September, Nara, Japan
> --------------------------------------------------------------------------------
>
> # Goals of the workshop
>
> The workshop on Type-Driven Development aims to show how static type
> information may be used effectively in the development of computer
> programs. The workshop, co-located with ICFP, unifies two workshops: the
> Workshop on Dependently Typed Programming and the Workshop on Generic
> Programming.
>
> These two research areas have a rich history and bridge both theory and
> practice. Novel techniques explored by both communities has gradually
> spread to more mainstream languages. This workshop aims to bring
> together leading researchers and practitioners in generic programming
> and dependently typed programming from around the world, and features
> papers capturing the state of the art in these important areas.
>
> We welcome all contributions, both theoretical and practical, on:
>
> -   dependently typed programming;
> -   generic programming;
> -   design and implementation of programming languages, exploiting types
>     in novel ways;
> -   exploiting typed data, data dependent data, or type providers;
> -   static and dynamic analyses of typed programs;
> -   tools, IDEs, or testing tools exploiting type information;
> -   pearls, being elegant, instructive examples of types used in the
>     derivation, calculation, or construction of programs.
>
> # Program Committee
>
> -   James Chapman, University of Strathclyde (co-chair)
> -   Wouter Swierstra, University of Utrecht (co-chair)
> -   David Christiansen, Indiana University
> -   Pierre-Evariste Dagand, LIP6
> -   Richard Eisenberg, University of Pennsylvania
> -   Catalin Hritcu, INRIA Paris
> -   James McKinna, University of Edinburgh
> -   Keiko Nakata, FireEye
> -   Tomas Petricek, University of Cambridge
> -   Birgitte Pientka, McGill University
> -   Tom Schrijvers, KU Leuven
> -   Makoto Takeyama, Kanagawa University
> -   Nicolas Wu, University of Bristol
> -   Brent Yorgey, Hendrix College
>
> # Proceedings and Copyright
>
> We plan to have formal proceedings, published by the ACM. Accepted
> papers will be included in the ACM Digital Library. Authors must grant
> ACM publication rights upon acceptance, but may retain copyright if they
> wish. Authors are encouraged to publish auxiliary material with their
> paper (source code, test data, and so forth). The proceedings will be
> freely available for download from the ACM Digital Library from one week
> before the start of the conference until two weeks after the conference.
>
> # Submission details
>
> Submitted papers should fall into one of two categories:
>
> -   Regular research papers (12 pages)
> -   Extended abstracts (2 pages)
>
> Submission is handled through Easychair:
>
>   https://easychair.org/conferences/?conf=tyde16
>
> Regular research papers are expected to present novel and interesting
> research results. Extended abstracts should report work in progress that
> the authors would like to present at the workshop.
>
> We welcome submissions from PC members (with the exception of the two
> co-chairs), but these submissions will be held to a higher standard.
>
> All submissions should be in portable document format (PDF), formatted
> using the ACM SIGPLAN style guidelines (two-column, 9pt). Extended
> abstracts must be submitted with the label 'Extended abstract' clearly
> in the title.
>
> # Important Dates
>
> -   Regular paper deadline: Friday, 10th June, 2016
> -   Extended abstract deadline: Friday, 24th June, 2016
> -   Author notification: Friday, 8th July, 2016
> -   Workshop: Sunday, 18th September, 2016
>
> # Travel Support
>
> Student attendees with accepted papers can apply for a SIGPLAN PAC grant
> to help cover travel expenses. PAC also offers other support, such as
> for child-care expenses during the meeting or for travel costs for
> companions of SIGPLAN members with physical disabilities, as well as for
> travel from locations outside of North America and Europe. For details
> on the PAC program, see its web page.
>
>
> ------------------------------
>
> Message: 2
> Date: Tue, 22 Mar 2016 14:21:50 +0100
> From: Peter Achten <P.Achten at cs.ru.nl>
> Subject: [Agda] [TFPIE 2016] 2nd call for papers
> To: agda at lists.chalmers.se
> Message-ID: <56F146EE.5020801 at cs.ru.nl>
> Content-Type: text/plain; charset=utf-8; format=flowed
>
>        Trends in Functional Programming in Education (TFPIE 2016)
>                         2nd Call for papers
>               https://wiki.science.ru.nl/tfpie/TFPIE2016
>
> The 5th International Workshop on Trends in Functional Programming in
> Education, TFPIE 2016, will be held on June 7, 2016 at the University
> of Maryland College Park in the USA. It is co-located with the
> Symposium on Trends in Functional Programming (TFP 2016) which takes
> place from June 8 - 10.
>
> *** Goal ***
>
> The goal of TFPIE is to gather researchers, teachers and professionals
> that use, or are interested in the use of, functional programming in
> education. TFPIE aims to be a venue where novel ideas,
> classroom-tested ideas and work-in-progress on the use of functional
> programming in education are discussed. The one-day workshop will
> foster a spirit of open discussion by having a review process for
> publication after the workshop. The program chair of TFPIE 2016 will
> screen submissions to ensure that all presentations are within scope
> and are of interest to participants. Potential presenters are invited
> to submit an extended abstract (4-6 pages) or a draft paper (up to 16
> pages) in EPTCS style. The authors of accepted presentations will have
> their preprints and their slides made available on the workshop's
> website/wiki. Visitors to the TFPIE 2016 website/wiki will be able to
> add comments. This includes presenters who may respond to comments and
> questions as well as provide pointers to improvements and follow-up
> work. After the workshop, presenters will be invited to submit (a
> revised version of) their article for review. The PC will select the
> best articles for publication in the journal Electronic Proceedings in
> Theoretical Computer Science (EPTCS). Articles rejected for
> presentation and extended abstracts will not be formally reviewed by
> the PC. TFPIE workshops have previously been held in St Andrews,
> Scotland (2012), Provo Utah, USA (2013), Soesterberg, The Netherlands
> (2014), and Sophia-Antipolis, France (2015).
>
> *** Program Committee ***
>
>    Stephen Chang    at Northeastern University            in
> Massachusetts, USA
>       Marc Feeley   at Université de Montréal             in Québec, Canada
>   Patricia Johann   at Appalachian State University       in North
> Carolina, USA
>        Jay McCarthy at University of Massachusetts Lowell in
> Massachusetts, USA (Chair)
> Prabhakar Ragde    at University of Waterloo             in Ontario, Canada
>      Brent Yorgey   at Hendrix College                    in Arkansas, USA
>
> *** Submission Guidelines ***
>
> TFPIE 2016 welcomes submissions describing techniques used in the
> classroom, tools used in and/or developed for the classroom and any
> creative use of functional programming (FP) to aid education in or
> outside Computer Science.  Topics of interest include, but are not
> limited to:
>
> - FP and beginning CS students
> - FP and Computational Thinking
> - FP and Artificial Intelligence
> - FP in Robotics
> - FP and Music
> - Advanced FP for undergraduates
> - Tools supporting learning FP
> - FP in graduate education
> - Engaging students in research using FP
> - FP in Programming Languages
> - FP in the high school curriculum
> - FP as a stepping stone to other CS topics
> - FP and Philosophy
>
> *** Best Lectures ***
>
> In addition to papers, we request "best lecture" presentations. What
> is your best lecture topic in an FP related course? Do you have a fun
> way to present FP concepts to novices or perhaps an especially
> interesting presentation of a difficult topic? In either case, please
> consider sharing it. Best lecture topics will be selected for
> presentation based on a short abstract describing the lecture and its
> interest to TFPIE attendees.
>
> *** Submission ***
>
> Papers and abstracts can be submitted via EasyChair at the following
> link:
>
> https://easychair.org/conferences/?conf=tfpie2016
>
> It is expected at at least one author for each submitted paper will
> attend the workshop.
>
> *** Registration & Local Information ***
>
> Please see the TFP site for registration and local information:
>
> http://tfp2016.org/
>
> *** Important Dates ***
>
>      April 27, 2016: Submission deadline for draft TFPIE papers and
> abstracts
>        May  3, 2016: Notification of acceptance for presentation
>        May 13, 2016: Registration for TFP/TFPIE closes
>       June  7, 2016: Presentations in Maryland, USA
>       July  7, 2016: Full papers for EPTCS proceedings due.
> September  1, 2016: Notification of acceptance for proceedings
> September 22, 2016: Camera ready copy due for EPTCS
>
> Submission of an abstract implies no obligation to submit a full version;
> abstracts with no corresponding full versions by the full paper deadline
> will be
> considered as withdrawn.
>
>
>
> ------------------------------
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
>
> End of Agda Digest, Vol 127, Issue 17
> *************************************
>


More information about the Agda mailing list