[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