[Chicken-users] 2nd Call for Papers - TFPIE 2014
All, Please find below the call for papers for the 3rd International Workshop on Trends In Functional Programming in Education, TFPIE 2014. Apologies in advance for multiple copies you may receive. Best regards, James Caldwell Call for Papers ___ *3rd International Workshop on Trends in Functional Programming in Education (TFPIE 2014)* May 25, 2014 Utrecht University Soesterberg, The Netherlands (http://www.cs.uwyo.edu/~jlc/tfpie14/ http://www.cs.uwyo.edu/%7Ejlc/tfpie14/) The 3rd International Workshop on Trends in Functional Programming in Education, TFPIE 2014, will be co-located with the Symposium on Trends in Functional Programming (TFP 2014) http://www.cs.uu.nl/wiki/TFP2014/ at Soesterberg, at the Kontakt der Kontinenten http://www.kontaktderkontinenten.nl/conferentiehotel/home.aspx?lang=en-US hotel in the Netherlands on Sunday, May 25th. TFP will follow from May 26-28. 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 2014 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 2014 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 journalElectronic Proceedings in Theoretical Computer Science (EPTCS) http://published.eptcs.org/. Articles not selected for presentation and extended abstracts will not be formally reviewed by the PC. TFPIE workshops have previously been held in St Andrews, Scotland (2012) and in Provo Utah, USA (2013). *Program Committee* James Caldwell, (Program Chair) University of Wyoming Peter Achten, Radboud University, Nijmgen Edwin Brady, University of St Andrews, St Andrews Jurriaan Hage, Universiteit Utrecht Philip Holzenspies, University of Twente Daniel R. Licata, Wesleyan University Marco T Morazan, Seton Hall University Christian Skalka, University of Vermont David Van Horn, Northeastern University *Submission Guidelines* There will be two types of presentations at TFPIE 2014. Regular papers and best lecture presentations. The best lecture talks are intended to allow for presentations or short lectures of purely pedagogical material. Papers and abstracts can be submitted via easychair at the following link: https://www.easychair.org/conferences/?conf=tfpie2014 *Papers* TFPIE 2014 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 * 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, this year we are requesting best lecture presentations. What's 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. *Important Dates* * 1 February 2014: TFPIE submissions open on easychair. * 7 April 2014: TFP and TFPIE registration opens * 21 April 2014: Submission deadline for draft TFPIE papers and abstracts * 27 April 2014: Notification of acceptance for presentation * 25 May 2014: Presentations in Soesterberg, Netherlands * 29 June 2014: Full papers for EPTCS proceedings due. * 16 August 2014: Notification of acceptance for proceedings * 8 September 2014: Camera ready copy due for EPTCS Submission of an abstract implies no obligation to submit a full paper;
[Chicken-users] GPCE 2104 - Call for Papers
CALL FOR PAPERS 13th International Conference on Generative Programming: Concepts Experiences (GPCE 2014) September 15-16, 2014 Västerås, Sweden (collocated with ASE 2014 and SLE 2014) http://www.gpce.org http://www.facebook.com/GPCEConference http://twitter.com/GPCECONF IMPORTANT DATES * Submission of papers:May 30, 2014 * Paper notification: July 7, 2014 SCOPE Generative and component approaches and domain-specific abstractions are revolutionizing software development just as automation and componentization revolutionized manufacturing. Raising the level of abstraction in software specification has been a fundamental goal of the computing community for several decades. Key technologies for automating program development and lifting the abstraction level closer to the problem domain are *Generative Programming* for program synthesis, *Domain-Specific Languages* (DSLs) for compact problem-oriented programming notations, and corresponding *Implementation Technologies* aiming at modularity, correctness, reuse, and evolution. As the field matures *Applications* and *Empirical Results* are of increasing importance. The International Conference on Generative Programming: Concepts Experiences (GPCE) is a venue for researchers and practitioners interested in techniques that use program generation, domain-specific languages, and component deployment to increase programmer productivity, improve software quality, and shorten the time-to-market of software products. In addition to exploring cutting-edge techniques of generative software, our goal is to foster further cross-fertilization between the software engineering and the programming languages research communities. SUBMISSIONS We seek research papers of up to 10 pages in SIGPLAN proceedings style (sigplanconf.cls, see http://www.sigplan.org/authorInformation.htm) reporting original and unpublished results of theoretical, empirical, conceptual, or experimental research that contribute to scientific knowledge in the areas listed below (the PC chair can advise on appropriateness). 4-page short papers and tool demonstrations are also accepted (see website). TOPICS GPCE seeks contributions on all topics related to generative software and its properties. As technology is maturing, this year, we are particularly looking for empirical evaluations in this context. Key topics include (but are certainly not limited too): * Generative software Domain-specific languages Product lines Metaprogramming Program synthesis Implementation techniques and tool support * Properties of generative software Correctness of generators and generated code Reuse and evolution Modularity, separation of concerns, understandability, and maintainability Performance engineering, nonfunctional properties Application areas and engineering practice * Empirical evaluations of all topics above A more detailed list of topics can be found on the website. Examples of key challenges in the field are * Synthesizing code from declarative specifications * Supporting extensible languages and language embedding * Ensuring correctness and other nonfunctional properties of generated code; proving generators correct * Improving error reporting with domain-specific error messages * Reasoning about generators; handling variability-induced complexity in product lines * Providing efficient interpreters and execution languages * Human factors in developing and maintaining generators Note on empirical evaluations: GPCE is committed to the empirical evaluation of generative software. Publishing empirical papers at programming-language venues can be challenging. We understand the frustration of authors when, for example, reviews simply recommend repeating entire experiments with human subjects with slight deviations in execution. To alleviate such problems, we have recruited forto program committee experts who routinely work with empirical methods, and we will actively seek external reviews where appropriate. During submissions, authors can optionally indicate that a paper contains substantial empirical work, and we will endeavor have to the paper reviewed by experts familiar with the empirical research methods that are used in the paper. The program-committee discussions will reflect on both technical contributions and research methods. Policy: Incremental improvements over previously published work should have been evaluated through systematic, comparative, empirical, or experimental evaluation. Submissions must adhere to SIGPLAN's republication policy (http://www.sigplan.org/republicationpolicy.htm). Please contact the program chair if you have any questions about how this policy applies to your paper (cha...@gpce.org). ORGANIZATION Chairs
[Chicken-users] dbus egg crashes when sending message fails
Hi guys! I have encountered a crash inside dbus library when sending message to receiver that is absent on the bus. Crash happens because dbus_message_iter_init API is called with NULL for its first argument. The attached patch fixes this crash. Could you please apply it to the main egg repository. -- Thanks, Erik --- dbus.original.scm 2014-01-31 11:39:43.0 +0400 +++ dbus.scm 2014-02-06 17:41:52.557720859 +0400 @@ -679,7 +679,7 @@ (for-each (lambda (parm) (iter-append-basic iter parm)) params) (free-iter iter) -(let* ([reply-msg ((foreign-lambda* message-ptr ((connection-ptr conn) (message-ptr msg)) +(and-let* ([reply-msg ((foreign-lambda* message-ptr ((connection-ptr conn) (message-ptr msg)) ;; idealistic code here; todo: error checking ;; todo: timeout comes from where? (make-parameter) maybe DBusMessage *reply; @@ -710,7 +710,7 @@ (iter-append-basic iter parm)) params) (free-iter iter) ;; TODO: pull this out into a helper function - (let* ([reply-msg ((foreign-lambda* message-ptr ((connection-ptr conn) (message-ptr msg)) + (and-let* ([reply-msg ((foreign-lambda* message-ptr ((connection-ptr conn) (message-ptr msg)) ;; idealistic code here; todo: error checking DBusPendingCall* pending; dbus_connection_send_with_reply(conn, msg, pending, -1); ___ Chicken-users mailing list Chicken-users@nongnu.org https://lists.nongnu.org/mailman/listinfo/chicken-users
