[TYPES/announce] XLDI 2012: Cross-Model Language Design and Implementation (Call for Participation)

James Cheney james.cheney at gmail.com
Wed Jul 25 12:22:07 EDT 2012


A correction: The early registration in the above announcement is
August 9, the same as for all ICFP-affiliated events, not August 1.
Sorry!  (and thanks to Adam Chlipala for noticing.)

--James

On Wed, Jul 25, 2012 at 4:08 PM, James Cheney <james.cheney at gmail.com> wrote:
>                    CALL FOR PARTICIPATION
>
>                          XLDI 2012
>
>               First International Workshop on
>        Cross-Model Language Design and Implementation
>
>           http://workshops.inf.ed.ac.uk/xldi2012/
>
>        Affiliated with ICFP 2012, Copenhagen, Denmark
>                   Sponsored by ACM SIGPLAN
>
>             September 9, 2012 (Sunday before ICFP)
>
>
>     You need an ICFP Sunday pass to participate in XLDI 2012.
>         Early registration ends August 1, 2012.  For details on
>         ICFP registration please see
>
>      http://icfpconference.org/icfp2012/registration.html
>
>
> XLDI 2012 focuses on the foundations, design, implementation,
> and  applications of languages that smoothly integrate different
> execution or data models.
>
> We have assembled an interesting program of 7 presentations, covering
> software-defined networks, Haskell DSLs for interactive web services,
> typing of massive JSON datasets, rewrite optimization of dataflow
> programs, and languages designed to build domain-specific runtimes.
>
> INVITED SPEAKERS:
>
> - Fritz Henglein (DIKU, University of Copenhagen)
> - Christopher Re (University of Wisconsin)
>
>
> SCIENTIFIC PROGRAMME:
>
> - Naga Praveen Katta, Jennifer Rexford, David Walker:
>   Logic Programming for Software Defined Networks
>
> - Andrew Farmer, Andy Gill:
>   Haskell DSLs for Interactive Web Services
>
> - Dario Colazzo, Giorgio Ghelli, Carlo Sartiani:
>   Typing Massive JSON Datasets
>
> - Fabian Hueske, Aljoscha Krettek, Kostas Tzoumas:
>   Enabling Rewrite Optimizations of Data Flow Programs
>   Through Static Code Analysis
>
> - Panchapakesan Shyamshankar, Zachary Palmer, Yanif Ahmad:
>   K3: Language Design for Building Multi-Platform,
>   Domain-Specific Runtimes
>
>
> SPONSORS:
>
> XLDI 2012 is sponsored by ACM SIGPLAN and LogicBlox.
>
>
> We are looking forward to see you in Copenhagen,
>
>    --James Cheney, Torsten Grust
>      (XLDI co-chairs)
>
>
>
> More information about XLDI 2012:
>         http://workshops.inf.ed.ac.uk/xldi2012/
>
> More information about ICFP 2012:
>         http://icfpconference.org/icfp2012/


More information about the Types-announce mailing list