[MIT-Scheme-announce] [Call For Participation] Scheme and Functional Programming Workshop 2015

[Andy Keep (akeep)]

========================================================================

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.)

========================================================================