TFP 2007: Registration and Program

This is a multipart message in MIME format.
--===============1423823023==
Content-Type: multipart/alternative;
	boundary="=_alternative 0018EF9A8525728A_="

This is a multipart message in MIME format.
--=_alternative 0018EF9A8525728A_=
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 0018EF9A8525728A_=
Content-Type: text/html; charset="ISO-8859-1"
Content-Transfer-Encoding: quoted-printable


<br><font size=3D2 face=3D"sans-serif">Dear Colleagues,</font>
<br>
<br><font size=3D2 face=3D"sans-serif">You may now resgister for TFP 2007!
TFP 2007 will be held April 2-4, 2007 in New</font>
<br><font size=3D2 face=3D"sans-serif">York City, USA. Our invited speaker
is John McCarthy, Stanford University. Further </font>
<br><font size=3D2 face=3D"sans-serif">details can be found at our homepage:
http://cs.shu.edu/tfp2007/ .</font>
<br>
<br>
<br><font size=3D2 face=3D"sans-serif">You may register at: http://cs.shu.e=
du/tfp2007/registration.html
. The registration </font>
<br><font size=3D2 face=3D"sans-serif">deadline is March 2, 2007 (11:59 p.m.
EST). Accomodations information may be found</font>
<br><font size=3D2 face=3D"sans-serif">at: http://cs.shu.edu/tfp2007/accomo=
dations.html
. We kindly remind you that the</font>
<br><font size=3D2 face=3D"sans-serif">deadline to make a hotel reservation
at the guaranteed rates offered to TFP 2007</font>
<br><font size=3D2 face=3D"sans-serif">participants is also quickly approac=
hing.</font>
<br>
<br>
<br><font size=3D2 face=3D"sans-serif">We are proud to announce our program
of accepted talks:</font>
<br>
<br>
<br><font size=3D2 face=3D"sans-serif">Unifying Hybrid Types and Contracts<=
/font>
<br><font size=3D2 face=3D"sans-serif">Jessica Gronski and Cormac Flanagan<=
/font>
<br>
<br><font size=3D2 face=3D"sans-serif">A Dual Semantics for the Data Descri=
ption
Calculus</font>
<br><font size=3D2 face=3D"sans-serif">Yitzhak Mandelbaum, Kathleen Fisher,
and David Walker</font>
<br>
<br><font size=3D2 face=3D"sans-serif">A Metalanguage for Structural Operat=
ional
Semantics</font>
<br><font size=3D2 face=3D"sans-serif">Matthew Lakin and Andrew Pitts</font>
<br>
<br><font size=3D2 face=3D"sans-serif">An Arrow Based Semantics for Interac=
tive
Applications</font>
<br><font size=3D2 face=3D"sans-serif">Peter Achten, Marko van Eekelen, Maa=
rten
de Mol, and Rinus Plasmeijer</font>
<br>
<br><font size=3D2 face=3D"sans-serif">Dependent Types: Easy as Pie</font>
<br><font size=3D2 face=3D"sans-serif">Dimitrios Vytiniotis and Stephanie W=
eirich</font>
<br>
<br><font size=3D2 face=3D"sans-serif">Constructing Correct Circuits -- Har=
dware
Modelling with Dependent Types</font>
<br><font size=3D2 face=3D"sans-serif">Edwin Brady, James McKinna, and Kevin
Hammond</font>
<br>
<br><font size=3D2 face=3D"sans-serif">Why Would Extensible Dependent Types
Matter</font>
<br><font size=3D2 face=3D"sans-serif">Pablo Nogueira and Bruno Oliveira</f=
ont>
<br>
<br><font size=3D2 face=3D"sans-serif">Bytecode Verification for Haskell</f=
ont>
<br><font size=3D2 face=3D"sans-serif">Robert Dockins and Samuel Z. Guyer</=
font>
<br>
<br><font size=3D2 face=3D"sans-serif">UnreadTVar: Extending Haskell Softwa=
re
Transactional Memory for Performance</font>
<br><font size=3D2 face=3D"sans-serif">Nehir Sonmez, Cristian Perfumo, Srdj=
an
Stipic, Adrian Cristal, Osman S. Unsal, and Mateo Valero</font>
<br>
<br><font size=3D2 face=3D"sans-serif">A New Functional Implementation of G=
rover's
Fast Search Algorithm</font>
<br><font size=3D2 face=3D"sans-serif">Justin Stallard and Murray Gross</fo=
nt>
<br>
<br><font size=3D2 face=3D"sans-serif">An Inference Algorithm for Guarantee=
ing
Safe Destruction</font>
<br><font size=3D2 face=3D"sans-serif">Manuel Montenegro, Ricardo Pe=F1a, a=
nd
Clara Segura</font>
<br>
<br><font size=3D2 face=3D"sans-serif">Hierarchical Master/Worker Skeletons=
</font>
<br><font size=3D2 face=3D"sans-serif">Jost Berthold, Mischa Dieterle, Rita
Loogen, and Steffen Priebe</font>
<br>
<br><font size=3D2 face=3D"sans-serif">Property Directed Generation of Firs=
t-Order
Test Data</font>
<br><font size=3D2 face=3D"sans-serif">Fredrik Lindblad</font>
<br>
<br><font size=3D2 face=3D"sans-serif">Refactoring for Comprehension</font>
<br><font size=3D2 face=3D"sans-serif">Gustavo Villavicencio</font>
<br>
<br><font size=3D2 face=3D"sans-serif">Towards a Box Calculus for Hume</fon=
t>
<br><font size=3D2 face=3D"sans-serif">Gudmund Grov and Greg Michaelson</fo=
nt>
<br>
<br><font size=3D2 face=3D"sans-serif">Scaled Regression: A Refinement of P=
rimitive
Recursion</font>
<br><font size=3D2 face=3D"sans-serif">Daniel Leivant</font>
<br>
<br><font size=3D2 face=3D"sans-serif">Equality-Based Uniqueness Typing</fo=
nt>
<br><font size=3D2 face=3D"sans-serif">Edsko de Vries, Rinus Plasmeijer, and
David Abrahamson</font>
<br>
<br><font size=3D2 face=3D"sans-serif">Lightweight Static Resources: Sexy T=
ypes
for Embedded and Systems Programming</font>
<br><font size=3D2 face=3D"sans-serif">Oleg Kiselyov and Chung-chieh Shan</=
font>
<br>
<br><font size=3D2 face=3D"sans-serif">Space-Efficient Gradual Typing</font>
<br><font size=3D2 face=3D"sans-serif">David Herman, Aaron Tomb, and Cormac
Flanagan</font>
<br>
<br><font size=3D2 face=3D"sans-serif">Use-Based Reference of Polymorphism<=
/font>
<br><font size=3D2 face=3D"sans-serif">Dave King and John Hannan</font>
<br>
<br><font size=3D2 face=3D"sans-serif">Designing a Generic Graph Library Us=
ing
ML Functors</font>
<br><font size=3D2 face=3D"sans-serif">Sylvain Conchon, Jean-Christophe Fil=
liatre,
and Julien Signoles</font>
<br>
<br><font size=3D2 face=3D"sans-serif">The SCIence Joint Research Activity<=
/font>
<br><font size=3D2 face=3D"sans-serif">Kevin Hammond, Dana Petcu, Phil Trin=
der,
Abdallah Al Zain, Steve Linton, and Greg Michaelson</font>
<br>
<br><font size=3D2 face=3D"sans-serif">Generic and Index Programming</font>
<br><font size=3D2 face=3D"sans-serif">Jeremy Gibbons, Meng Wang, and Bruno
C d. S. Oliveira</font>
<br>
<br><font size=3D2 face=3D"sans-serif">The AHA Project</font>
<br><font size=3D2 face=3D"sans-serif">Marko van Eekelen, Olha Shkaravska,
Ron van Kesteren, Bart Jacobs, Sjaak Smetsers, and Erik Poll</font>
<br>
<br><font size=3D2 face=3D"sans-serif">Studying Helium Program Bahaviour wi=
th
the Neon Library</font>
<br><font size=3D2 face=3D"sans-serif">Jurriaan Hage and Peter van Keeken</=
font>
<br>
<br><font size=3D2 face=3D"sans-serif">Design and Implementation of JFP</fo=
nt>
<br><font size=3D2 face=3D"sans-serif">Hao Xu</font>
<br>
<br><font size=3D2 face=3D"sans-serif">Hop Client-Side Compilation</font>
<br><font size=3D2 face=3D"sans-serif">Florian Loitsch</font>
<br>
<br><font size=3D2 face=3D"sans-serif">Adaptive High-Level Scheduling in a
Generic Parallel Runtime Environment</font>
<br><font size=3D2 face=3D"sans-serif">Jost Berthold, Abyd Al-Zain, and Han=
s-Wolfgang
Loidl</font>
<br>
<br><font size=3D2 face=3D"sans-serif">Bundles Pack Tighter than Lists</fon=
t>
<br><font size=3D2 face=3D"sans-serif">Francisco Lopez-Fraguas, Juan Rodrig=
uez-Hortala,
and Jaime Sanchez-Hernandez</font>
<br>
<br><font size=3D2 face=3D"sans-serif">Model-Based Testing of Thin-Client W=
eb
Applications and Navigation Input</font>
<br><font size=3D2 face=3D"sans-serif">Pieter Koopman, Peter Achten, and Ri=
nus
Plasmeijer</font>
<br>
<br>
<br><font size=3D2 face=3D"sans-serif">We look forward to seeing you at TFP
2007!</font>
<br>
<br>
<br><font size=3D2 face=3D"sans-serif">Cheers,</font>
<br>
<br><font size=3D2 face=3D"sans-serif">Marco<br>
<br>
***************************************************************************=
*********<br>
Dr. Marco T. Morazan<br>
TFP 2007<br>
Program Committee Chair<br>
http://cs.shu.edu/tfp2007/</font>
--=_alternative 0018EF9A8525728A_=--

--===============1423823023==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe

--===============1423823023==--