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