From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 71E9F7EE5B for ; Mon, 8 Apr 2013 17:03:08 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of p.k.f.holzenspies@utwente.nl) identity=pra; client-ip=130.89.5.48; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="p.k.f.holzenspies@utwente.nl"; x-sender="p.k.f.holzenspies@utwente.nl"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of p.k.f.holzenspies@utwente.nl) identity=mailfrom; client-ip=130.89.5.48; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="p.k.f.holzenspies@utwente.nl"; x-sender="p.k.f.holzenspies@utwente.nl"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@EXEDGE01.ad.utwente.nl) identity=helo; client-ip=130.89.5.48; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="p.k.f.holzenspies@utwente.nl"; x-sender="postmaster@EXEDGE01.ad.utwente.nl"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AogCAF/bYlGCWQUwnGdsb2JhbABRFoMmwSiBCBYOAQEBAQEICwkJFCg5AQGBXAoFHUkCBQEdASpWJgEKAQwIDoVggh4MnAWgZY1rgQeDGGEDiEaPT5FCgTaBaj4 X-IPAS-Result: AogCAF/bYlGCWQUwnGdsb2JhbABRFoMmwSiBCBYOAQEBAQEICwkJFCg5AQGBXAoFHUkCBQEdASpWJgEKAQwIDoVggh4MnAWgZY1rgQeDGGEDiEaPT5FCgTaBaj4 X-IronPort-AV: E=Sophos;i="4.87,432,1363129200"; d="scan'208";a="10203071" Received: from exedge01.ad.utwente.nl ([130.89.5.48]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-SHA; 08 Apr 2013 17:03:07 +0200 Received: from EXHUB02.ad.utwente.nl (130.89.4.229) by EXEDGE01.ad.utwente.nl (130.89.5.48) with Microsoft SMTP Server (TLS) id 14.2.328.9; Mon, 8 Apr 2013 17:03:07 +0200 Received: from EXMBX21.ad.utwente.nl ([169.254.1.160]) by EXHUB02.ad.utwente.nl ([130.89.4.229]) with mapi id 14.02.0328.009; Mon, 8 Apr 2013 17:03:05 +0200 From: Thread-Topic: Third CfP for the International Workshop on Trends in Functional Programming In Education (TFPIE) Thread-Index: Ac40ZL3oBXhw5KGsRfW9uwR6nG7M9w== Date: Mon, 8 Apr 2013 15:03:05 +0000 Message-ID: Accept-Language: nl-NL, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [130.89.10.67] Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 To: Undisclosed recipients:; X-Validation-by: p.k.f.holzenspies@utwente.nl Subject: [Caml-list] Third CfP for the International Workshop on Trends in Functional Programming In Education (TFPIE) L.S., Apologies for any duplicates you may receive. EasyChair now open! [3] Please find below the Third Call for Papers for the Second International Wo= rkshop on Trends in Functional Programming In Education (TFPIE). As an adde= ndum to previous CfPs for this event, I would like you to consider the foll= owing: May FP researchers also teach FP or use an FP language to teach some= thing else. Even though many of these teachers are very enthusiastic about = what they do, they typically don't consider it something to write up. I bel= ieve that having a serious forum specifically for the education of or with = FP will help promote the use of FP as a teaching tool and will benefit the = field of computer science as a whole. Previous CfPs for the event were sent out in PDF form. Many mailing-lists r= eject this. Therefore, below, is the plain textual form of the CfP. For mor= e information, refer to the website [1]. For inspiration, see last year's p= roceedings (like this year, published in the Electronic Proceedings in Theo= retical Computer Science) [2]. Submissions are welcome via EasyChair [3]. Please forward this CfP to whatever forum you consider appropriate. Regards, Philip K.F. H=F6lzenspies Programme Committee Chair TFPIE 2013 [1]=A0http://wwwhome.ewi.utwente.nl/~holzenspiespkf/TFPIE2013.html [2] http://rvg.web.cse.unsw.edu.au/eptcs/content.cgi?TFPIE2012 [3] https://www.easychair.org/conferences/?conf=3Dtfpie2013 Third Call for Papers the Second International Workshop on Trends in Functi= onal Programming in Education TFPIE ----- The second International Workshop on Trends in Functional Programming in Ed= ucation, TFPIE 2013, is co-located with Trends in Functional Programming (T= FP 2013) at Brigham Young University in Utah. The goal of TFPIE is to gathe= r researchers, teachers and all professionals that use, or are interested i= n the use of, functional programming in education. TFPIE aims to be a venue= were novel ideas, classroom-tested ideas and work-in-progress on the use o= f functional programming in education are discussed. The one-day workshop w= ill foster a spirit of open discussion by having a review process for publi= cation after the workshop. The program chair of TFPIE 2013 will screen submissions to ensure that all = presentations are within scope and are of interest to participants. Potenti= al presenters are invited to submit an extended abstract (4-6 pages) or an = article (up to 16 pages) in EPTCS style. The authors of all accepted presen= tations will have their preprints and their slides made available on the wo= rkshop's website/wiki. Any visitors to the TFPIE 2013 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 wor= k. After the workshop, the 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 Electronic Proceedings in Theoretical Computer Scien= ce journal (EPTCS). Articles rejected for presentation and all extended abs= tracts will not be formally reviewed by the PC. TFPIE 2013 welcomes submissions describing practical techniques used in the= classroom, tools used in and/or developed for the classroom and any creati= ve use of functional programming (FP) to aid education in or outside Comput= er Science. Topics of interest include, but are not limited to: - Teaching FP to highschool, beginning CS, and graduate students - FP as a teaching tool for other (CS) topics - FP and Robotics, Music and Philosophy - Advanced FP for undergraduates - Engaging students in research using FP - FP in Programming Languages - FP as a stepping stone to other CS topics Important dates & Submission ---------------------------- Submission for presentation: Apr 20 Notification of acceptance: Apr 25 Submission formal paper: Jun 9 Notification of acceptance: Aug 16 Camera-ready version: Sep 8 Submission (pre-conference) through EasyChair: https://www.easychair.org/co= nferences/?conf=3Dtfpie2013 Submission and review for publication occur after the meeting in Utah. This= allows authors to revise their articles, to include comments received at t= he meeting. After submission, we aim to provide four reviews per paper. Contact ------- You can direct any questions you might have to the program chair, through t= fpie2013@easychair.org. Discussion, both of the workshop itself and of the = work presented there, is hosted on the TFPIE-wiki. Venue ----- Brigham Young University (BYU) is the third-largest private university and = the largest explicitly religious university in the United States of America= . Although BYU is owned and operated by the LDS church, the workshop is ind= ependent of this affiliation. By BYU's own pen: "Brigham Young University seeks to develop students of faith, intellect and= character who have the skills and the desire to continue learning and to s= erve others throughout their lives. Established in 1875, the university pro= vides an outstanding education in an atmosphere consistent with the ideals = and principles of its sponsor, The Church of Jesus Christ of Latter-day Sai= nts. Known for its academically minded and internationally experienced stud= ent body, its world-class teaching and its beautiful mountain location, BYU= is also recognized for its extensive language programs, talented performin= g arts ensembles, outstanding sports programs and devotion to combining sol= id scholarship with the principles of the restored gospel of Jesus Christ." It should be noted that BYU's "Honor Code" applies only to students & staff= . It does *not* apply to visitors. Programme Committee ------------------- Peter Achten (General co-chair), Radboud Universiteit Nijmegen, The Netherl= ands Edwin Brady, University of St. Andrews, Scotland Marc Feeley, Universit=E9 de Montr=E9al, Canada Matthew Flatt, University of Utah, USA Philip K.F. H=F6lzenspies (PC chair), Universiteit Twente, The Netherlands Gabriele Keller, University of New South Wales, Australia Jan Kuper, Universiteit Twente, The Netherlands Marco T. Moraz=E1n (General co-chair), Seton Hall University, USA Stephanie Weirich, University of Pennsylvania, USA Vikt=F3ria Zs=F3k, E=F6tv=F6s Lor=E1nd Tudom=E1nyegyetem, Hungary See the website for updated information: http://wwwhome.ewi.utwente.nl/~hol= zenspiespkf/TFPIE2013.html