From: "Andy Keep (akeep)" <akeep@cisco.com>
To: "guile-user@gnu.org" <guile-user@gnu.org>
Subject: [Call For Participation] Scheme and Functional Programming Workshop 2015
Date: Sun, 2 Aug 2015 04:29:55 +0000 [thread overview]
Message-ID: <etPan.55bd9cc3.1da94e60.bbf9@akeep-M-4063> (raw)
========================================================================
Call For Participation:
Scheme and Functional Programming Workshop 2015
Vancouver, British Columbia, Canada
(Co-located with ICFP 2015)
http://andykeep.com/SchemeWorkshop2015/
========================================================================
Important Dates:
August 3rd, 2015 - Early Registration Deadline
September 4th, 2015 - Workshop
========================================================================
Accepted Papers:
* R7RS Considered Unifier of Previous Standards
William D Clinger (Northeastern University)
* State Exploration Choices in a Small-Step Abstract Interpreter
Steven Lyde and Matthew Might (University of Utah)
* Towards a Foundation for Extending microKanren Constraints
Jason Hemann and Daniel P. Friedman (Indiana University)
* Type Check Removal Using Lazy Interprocedural Code Versioning
Baptiste Saleil and Marc Feeley (Université de Montréal)
We will also have invited distilled tutorials on:
* Hygenic Macros
Ryan Culpepper (Northeastern University)
* miniKanren
Will Byrd and Michael Ballantyne (University of Utah)
Along with a report on The Revised 7 Report on the Algorithmic Language
Scheme from William D Clinger (Northeastern University)
More information available at: http://andykeep.com/SchemeWorkshop2015/
========================================================================
Organizers:
Andy Keep, Cisco Systems Inc. (General Chair)
Ryan Culpepper, Northeastern University (Program Chair)
(Apologies for duplications from cross-posting.)
========================================================================
reply other threads:[~2015-08-02 4:29 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
List information: https://www.gnu.org/software/guile/
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=etPan.55bd9cc3.1da94e60.bbf9@akeep-M-4063 \
--to=akeep@cisco.com \
--cc=guile-user@gnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).