From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.0 required=5.0 tests=AWL,HTML_MESSAGE,SPF_FAIL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id A976DBC69 for ; Thu, 22 Feb 2007 05:34:48 +0100 (CET) Received: from mta01.shu.edu (mta01.shu.edu [149.150.209.21]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l1M4Yk6k015503 for ; Thu, 22 Feb 2007 05:34:47 +0100 From: TFP 2007 To: hugs-users@haskell.org Cc: caml-list@yquem.inria.fr Subject: TFP 2007: Registration and Program MIME-Version: 1.0 X-Mailer: Lotus Notes Release 7.0.1 January 17, 2006 Message-ID: Sender: Marco T Morazan Date: Wed, 21 Feb 2007 23:34:41 -0500 X-MIMETrack: Serialize by Router on MTA01/SHU(Release 7.0.1FP1 | May 25, 2006) at 02/21/2007 11:34:47 PM, Serialize complete at 02/21/2007 11:34:47 PM Content-Type: multipart/alternative; boundary="=_alternative 001925C98525728A_=" X-Miltered: at concorde with ID 45DD1D66.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; unifying:01 semantics:01 yitzhak:01 mandelbaum:01 semantics:01 rinus:01 weirich:01 bytecode:01 haskell:01 haskell:01 cristian:01 inference:01 first-order:01 michaelson:01 recursion:01 This is a multipart message in MIME format. --=_alternative 001925C98525728A_= Content-Type: text/plain; charset="ISO-8859-1" Content-Transfer-Encoding: quoted-printable Dear Colleagues, You may now resgister for TFP 2007! TFP 2007 will be held April 2-4, 2007=20 in New York City, USA. Our invited speaker is John McCarthy, Stanford University. = Further=20 details can be found at our homepage: http://cs.shu.edu/tfp2007/ . You may register at: http://cs.shu.edu/tfp2007/registration.html . The=20 registration=20 deadline is March 2, 2007 (11:59 p.m. EST). Accomodations information may=20 be found at: http://cs.shu.edu/tfp2007/accomodations.html . We kindly remind you=20 that the deadline to make a hotel reservation at the guaranteed rates offered to=20 TFP 2007 participants is also quickly approaching. We are proud to announce our program of accepted talks: Unifying Hybrid Types and Contracts Jessica Gronski and Cormac Flanagan A Dual Semantics for the Data Description Calculus Yitzhak Mandelbaum, Kathleen Fisher, and David Walker A Metalanguage for Structural Operational Semantics Matthew Lakin and Andrew Pitts An Arrow Based Semantics for Interactive Applications Peter Achten, Marko van Eekelen, Maarten de Mol, and Rinus Plasmeijer Dependent Types: Easy as Pie Dimitrios Vytiniotis and Stephanie Weirich Constructing Correct Circuits -- Hardware Modelling with Dependent Types Edwin Brady, James McKinna, and Kevin Hammond Why Would Extensible Dependent Types Matter Pablo Nogueira and Bruno Oliveira Bytecode Verification for Haskell Robert Dockins and Samuel Z. Guyer UnreadTVar: Extending Haskell Software Transactional Memory for=20 Performance Nehir Sonmez, Cristian Perfumo, Srdjan Stipic, Adrian Cristal, Osman S.=20 Unsal, and Mateo Valero A New Functional Implementation of Grover's Fast Search Algorithm Justin Stallard and Murray Gross An Inference Algorithm for Guaranteeing Safe Destruction Manuel Montenegro, Ricardo Pe=F1a, and Clara Segura Hierarchical Master/Worker Skeletons Jost Berthold, Mischa Dieterle, Rita Loogen, and Steffen Priebe Property Directed Generation of First-Order Test Data Fredrik Lindblad Refactoring for Comprehension Gustavo Villavicencio Towards a Box Calculus for Hume Gudmund Grov and Greg Michaelson Scaled Regression: A Refinement of Primitive Recursion Daniel Leivant Equality-Based Uniqueness Typing Edsko de Vries, Rinus Plasmeijer, and David Abrahamson Lightweight Static Resources: Sexy Types for Embedded and Systems=20 Programming Oleg Kiselyov and Chung-chieh Shan Space-Efficient Gradual Typing David Herman, Aaron Tomb, and Cormac Flanagan Use-Based Reference of Polymorphism Dave King and John Hannan Designing a Generic Graph Library Using ML Functors Sylvain Conchon, Jean-Christophe Filliatre, and Julien Signoles The SCIence Joint Research Activity Kevin Hammond, Dana Petcu, Phil Trinder, Abdallah Al Zain, Steve Linton,=20 and Greg Michaelson Generic and Index Programming Jeremy Gibbons, Meng Wang, and Bruno C d. S. Oliveira The AHA Project Marko van Eekelen, Olha Shkaravska, Ron van Kesteren, Bart Jacobs, Sjaak=20 Smetsers, and Erik Poll Studying Helium Program Bahaviour with the Neon Library Jurriaan Hage and Peter van Keeken Design and Implementation of JFP Hao Xu Hop Client-Side Compilation Florian Loitsch Adaptive High-Level Scheduling in a Generic Parallel Runtime Environment Jost Berthold, Abyd Al-Zain, and Hans-Wolfgang Loidl Bundles Pack Tighter than Lists Francisco Lopez-Fraguas, Juan Rodriguez-Hortala, and Jaime=20 Sanchez-Hernandez Model-Based Testing of Thin-Client Web Applications and Navigation Input Pieter Koopman, Peter Achten, and Rinus Plasmeijer We look forward to seeing you at TFP 2007! Cheers, Marco ***************************************************************************= ********* Dr. Marco T. Morazan TFP 2007 Program Committee Chair http://cs.shu.edu/tfp2007/ --=_alternative 001925C98525728A_= Content-Type: text/html; charset="ISO-8859-1" Content-Transfer-Encoding: quoted-printable
Dear Colleagues,

You may now resgister for TFP 2007! TFP 2007 will be held April 2-4, 2007 in New
York City, USA. Our invited speaker is John McCarthy, Stanford University. Further
details can be found at our homepage: http://cs.shu.edu/tfp2007/ .


You may register at: http://cs.shu.e= du/tfp2007/registration.html . The registration
deadline is March 2, 2007 (11:59 p.m. EST). Accomodations information may be found
at: http://cs.shu.edu/tfp2007/accomo= dations.html . We kindly remind you that the
deadline to make a hotel reservation at the guaranteed rates offered to TFP 2007
participants is also quickly approac= hing.


We are proud to announce our program of accepted talks:


Unifying Hybrid Types and Contracts<= /font>
Jessica Gronski and Cormac Flanagan<= /font>

A Dual Semantics for the Data Descri= ption Calculus
Yitzhak Mandelbaum, Kathleen Fisher, and David Walker

A Metalanguage for Structural Operat= ional Semantics
Matthew Lakin and Andrew Pitts

An Arrow Based Semantics for Interac= tive Applications
Peter Achten, Marko van Eekelen, Maa= rten de Mol, and Rinus Plasmeijer

Dependent Types: Easy as Pie
Dimitrios Vytiniotis and Stephanie W= eirich

Constructing Correct Circuits -- Har= dware Modelling with Dependent Types
Edwin Brady, James McKinna, and Kevin Hammond

Why Would Extensible Dependent Types Matter
Pablo Nogueira and Bruno Oliveira

Bytecode Verification for Haskell
Robert Dockins and Samuel Z. Guyer

UnreadTVar: Extending Haskell Softwa= re Transactional Memory for Performance
Nehir Sonmez, Cristian Perfumo, Srdj= an Stipic, Adrian Cristal, Osman S. Unsal, and Mateo Valero

A New Functional Implementation of G= rover's Fast Search Algorithm
Justin Stallard and Murray Gross

An Inference Algorithm for Guarantee= ing Safe Destruction
Manuel Montenegro, Ricardo Pe=F1a, a= nd Clara Segura

Hierarchical Master/Worker Skeletons=
Jost Berthold, Mischa Dieterle, Rita Loogen, and Steffen Priebe

Property Directed Generation of Firs= t-Order Test Data
Fredrik Lindblad

Refactoring for Comprehension
Gustavo Villavicencio

Towards a Box Calculus for Hume
Gudmund Grov and Greg Michaelson

Scaled Regression: A Refinement of P= rimitive Recursion
Daniel Leivant

Equality-Based Uniqueness Typing
Edsko de Vries, Rinus Plasmeijer, and David Abrahamson

Lightweight Static Resources: Sexy T= ypes for Embedded and Systems Programming
Oleg Kiselyov and Chung-chieh Shan

Space-Efficient Gradual Typing
David Herman, Aaron Tomb, and Cormac Flanagan

Use-Based Reference of Polymorphism<= /font>
Dave King and John Hannan

Designing a Generic Graph Library Us= ing ML Functors
Sylvain Conchon, Jean-Christophe Fil= liatre, and Julien Signoles

The SCIence Joint Research Activity<= /font>
Kevin Hammond, Dana Petcu, Phil Trin= der, Abdallah Al Zain, Steve Linton, and Greg Michaelson

Generic and Index Programming
Jeremy Gibbons, Meng Wang, and Bruno C d. S. Oliveira

The AHA Project
Marko van Eekelen, Olha Shkaravska, Ron van Kesteren, Bart Jacobs, Sjaak Smetsers, and Erik Poll

Studying Helium Program Bahaviour wi= th the Neon Library
Jurriaan Hage and Peter van Keeken

Design and Implementation of JFP
Hao Xu

Hop Client-Side Compilation
Florian Loitsch

Adaptive High-Level Scheduling in a Generic Parallel Runtime Environment
Jost Berthold, Abyd Al-Zain, and Han= s-Wolfgang Loidl

Bundles Pack Tighter than Lists
Francisco Lopez-Fraguas, Juan Rodrig= uez-Hortala, and Jaime Sanchez-Hernandez

Model-Based Testing of Thin-Client W= eb Applications and Navigation Input
Pieter Koopman, Peter Achten, and Ri= nus Plasmeijer


We look forward to seeing you at TFP 2007!


Cheers,

Marco

***************************************************************************= *********
Dr. Marco T. Morazan
TFP 2007
Program Committee Chair
http://cs.shu.edu/tfp2007/ --=_alternative 001925C98525728A_=--