[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