First Call for Papers: TFP 2007, New York, USA

TFP 2007 <[email protected]> Tue, 21 Nov 2006 09:16:33 -0500
Newsgroups gmane.comp.lang.haskell.glasgow.user,gmane.comp.lang.haskell.general,gmane.comp.lang.haskell.cafe,gmane.comp.lang.haskell.hat,gmane.comp.lang.haskell.hugs.user,gmane.comp.lang.caml.inria,gmane.lisp.scheme.plt
Message-ID <OFC9785B43.D6565E1A-ON8525722D.004C9300-8525722D.004E6C38@shu.edu>
This is a multipart message in MIME format.
--===============0541916147==
Content-Type: multipart/alternative;
	boundary="=_alternative 004E6C0A8525722D_="

This is a multipart message in MIME format.
--=_alternative 004E6C0A8525722D_=
Content-Type: text/plain; charset="ISO-8859-1"
Content-Transfer-Encoding: quoted-printable

                CALL FOR PAPERS=20
                Trends in Functional Programming 2007=20
                                   New York, USA
                                    April 2-4, 2007=20
                 http://tltc.shu.edu/tfp2007/
                        OR
                 http://cs.shu.edu/tfp2007/


The symposium on Trends in Functional Programming (TFP) is an=20
international forum=20
for researchers with interests in all aspects of functional programming=20
languages,=20
focusing on providing a broad view of current and future trends in=20
Functional=20
Programming. It aspires to be a lively environment for presenting the=20
latest=20
research results through acceptance by extended abstracts. A formal=20
post-symposium=20
refereeing process then selects the best articles presented at the=20
symposium for=20
publication in a high-profile volume.=20

TFP 2007 is co-hosted by Seton Hall University and The City College of New =

York (CCNY)=20
and will be held in New York, USA, April 2-4, 2007 at the CCNY campus.=20

The TFP symposium is the successor to the successful series of Scottish=20
Functional=20
Programming Workshops. Previous TFP symposia were held in Edinburgh,=20
Scotland in=20
2003 (co-located with IFL), in Munich, Germany in 2004, in Tallinn,=20
Estonia in 2005=20
(co-located with ICFP and GPCE), and in Nottingham, UK in 2006=20
(co-located with Types). For further general information about TFP please=20
see the=20
TFP homepage at http://cs.shu.edu/tfp2007/ .=20



                                SCOPE OF THE SYMPOSIUM=20


The symposium recognizes that new trends may arise through various routes. =

As part=20
of the Symposium's focus on trends we therefore identify the following=20
five article=20
categories. High-quality articles are solicited in any of these=20
categories:=20


        Research Articles        leading-edge, previously unpublished=20
research work
        Position Articles           on what new trends should or should=20
not be=20
        Project Articles             descriptions of recently started new=20
projects
        Evaluation Articles      what lessons can be drawn from a finished =

project=20
        Overview Articles         summarizing work with respect to a=20
trendy subject=20


Articles must be original and not submitted for simultaneous publication=20
to any other=20
forum. They may consider any aspect of functional programming:=20
theoretical,=20
implementation-oriented, or more experience-oriented. Applications of=20
functional=20
programming techniques to other languages are also within the scope of the =

symposium.=20

Articles on the following subject areas are particularly welcomed:

    o Dependently Typed Functional Programming=20
    o Validation and Verification of Functional Programs
    o Debugging for Functional Languages=20
    o Functional Programming and Security=20
    o Functional Programming and Mobility=20
    o Functional Programming to Animate/Prototype/Implement Systems from=20
Formal or Semi-Formal Specifications
    o Functional Languages for Telecommunications Applications=20
    o Functional Languages for Embedded Systems=20
    o Functional Programming Applied to Global Computing=20
    o Functional GRIDs=20
    o Functional Programming Ideas in Imperative or Object-Oriented=20
Settings (and the converse)
    o Interoperability with Imperative Programming Languages=20
    o Novel Memory Management Techniques=20
    o Parallel/Concurrent Functional Languages
    o Program Transformation Techniques=20
    o Empirical Performance Studies=20
    o Abstract/Virtual Machines and Compilers for Functional Languages=20
    o New Implementation Strategies
    o any new emerging trend in the functional programming area=20

If you are in doubt on whether your article is within the scope of TFP,=20
please contact=20
the TFP 2007 program chair, Marco T. Morazan, at [email protected].



                                BEST STUDENT PAPER AWARD=20


TFP traditionally pays special attention to research students,=20
acknowledging that=20
students are almost by definition part of new subject trends. A prize for=20
the best=20
student paper is awarded each year.=20



                                SUBMISSION AND DRAFT PROCEEDINGS=20


Acceptance of articles for presentation at the symposium is based on the=20
review of=20
extended abstracts (6 to 10 pages in length) by the program committee.=20
Accepted=20
abstracts are to be completed to full papers before the symposium for=20
publication in=20
the draft proceedings and on-line.=20


The submission must clearly indicate to which category it belongs to:=20
research, position,=20
project, evaluation, or overview paper. It should also indicate whether=20
the main author=20
or authors are research students. Formatting details can be found at the=20
TFP 2007 website.
Submission procedures will be posted on the TFP 2007 website as the=20
submission deadline is
reached.=20

The papers in the draft proceedings will also be made available on-line=20
under the following=20
conditions, with which all authors are asked to agree:=20

    The documents distributed by this server have been provided by the
    contributing authors as a means to ensure timely dissemination of=20
    scholarly and technical work on a noncommercial basis. Copyright and=20
    all rights therein are maintained by the authors or by other=20
    copyright holders, notwithstanding that they have offered their
    works here electronically. It is understood that all persons copying=20
    this information will adhere to the terms and constraints invoked by=20
    each author's copyright. These works may not be reposted without the=20
    explicit permission of the copyright holder.=20



                        POST-SYMPOSIUM REFEREEING AND PUBLICATION


In addition to the draft symposium proceedings, we intend to continue the=20
TFP tradition of=20
publishing a high-quality subset of contributions in the Intellect series=20
on Trends in=20
Functional Programming. All TFP authors will be invited to submit revised=20
papers after the=20
symposium. These will be refereed using normal conference standards and a=20
subset of the best=20
papers, over all categories, will be selected for publication. Papers will =

be judged on their=20
contribution to the research area with appropriate criteria applied to=20
each category of paper.=20

Student papers will be given extra feedback by the Program Committee in=20
order to assist those=20
unfamiliar with the publication process.=20



                        Important DATES=20


        Abstract Submission: February 1, 2007=20
        Notification of Acceptance: February 20, 2007=20
        Registration Deadline: March 2, 2007=20
        Camera Ready Full Paper Due: March 9, 2007=20
        TFP Symposium: April 2-4, 2007=20




                                PROGRAMME COMMITTEE=20



        John Clements           California Polytechnic State University,=20
USA=20
        Marko van Eekelen               Radboud Universiteit Nijmegen, The =

Netherlands=20
        Benjamin Goldberg               New York University, USA=20
        Kevin Hammond           University of St. Andrews, UK
        Patricia Johann         Rutgers University, USA=20
        Hans-Wolfgang Loidl     Ludwig-Maximilians Universit=E4t M=FCnchen,=
=20
Germany=20
        Rita Loogen             Philipps-Universit=E4t Marburg, Germany=20
        Greg Michaelson         Heriot-Watt University, UK=20
        Marco T. Moraz=E1n (Chair)        Seton Hall University, USA=20
        Henrik Nilsson          University of Nottingham, UK=20
        Chris Okasaki           United States Military Academy at West=20
Point, USA=20
        Rex Page                        University of Oklahoma, USA=20
        Ricardo Pena            Universidad Complutense de Madrid, Spain=20
        Benjamin C. Pierce              University of Pennsylvania, USA=20
        John Reppy              University of Chicago, USA=20
        Ulrik P. Schultz                University of Southern Denmark,=20
Denmark=20
        Clara Segura            Universidad Complutense de Madrid, Spain=20
        Jocelyn S=E9rot           Universit=E9 Blaise Pascal, France=20
        Zhong Shao              Yale University, USA=20
        Olin Shivers                    Georgia Institute of Technology,=20
USA=20
        Phil Trinder                    Heriot-Watt University, UK=20
        David Walker            Princeton University, USA=20



                ORGANIZATION=20


        Symposium Chair:        Henrik Nilsson, University of Nottingham,=20
UK=20
        Programme Chair:        Marco T. Morazan, Seton Hall University,=20
USA=20
        Treasurer:                       Greg Michaelson, Heriot-Watt=20
University, UK=20
        Local Arrangements:   Marco T. Morazan, Seton Hall University, USA =





                                SPONSORS=20


        The Department of Mathematics and Computer Science, Seton Hall=20
University=20

        The Department of Computer Science, The City College of New York=20

        The Center for Algorithms and Interactive Scientific Software of=20
The City College of New York=20

        The Grove School of Engineering of The City College of New York


We are actively looking for additional TFP sponsors, who may, for example, =

help to=20
subsidise attendance by research students. If you or your organisation=20
might be=20
willing to sponsor TFP, or if you know someone who might be willing to do=20
so, please=20
do not hesitate to contact the Program Chair, Marco T. Morazan, or the=20
Symposium Chair,=20
Henrik Nilsson. Your students will be grateful!=20



***************************************************************************=
*********
Dr. Marco T. Morazan
TFP 2007
Program Committee Chair
http://cs.shu.edu/tfp2007/
--=_alternative 004E6C0A8525722D_=
Content-Type: text/html; charset="ISO-8859-1"
Content-Transfer-Encoding: quoted-printable


<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; CALL FOR PAPERS </font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &=
nbsp;
&nbsp; &nbsp; Trends in Functional Programming 2007 </font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &=
nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp;New York, USA</font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &=
nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; April 2-4, 2007 </font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &=
nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp;http://tltc.shu.edu/tfp2007/</font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; OR</font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp;http://cs.shu.edu/tfp2007/</font>
<br>
<br>
<br><font size=3D2 face=3D"sans-serif">The symposium on Trends in Functional
Programming (TFP) is an international forum </font>
<br><font size=3D2 face=3D"sans-serif">for researchers with interests in all
aspects of functional programming languages, &nbsp;</font>
<br><font size=3D2 face=3D"sans-serif">focusing on providing a broad view of
current and future trends in Functional &nbsp;</font>
<br><font size=3D2 face=3D"sans-serif">Programming. It aspires to be a live=
ly
environment for presenting the latest &nbsp;</font>
<br><font size=3D2 face=3D"sans-serif">research results through acceptance
by extended abstracts. A formal post-symposium &nbsp;</font>
<br><font size=3D2 face=3D"sans-serif">refereeing process then selects the
best articles presented at the symposium for </font>
<br><font size=3D2 face=3D"sans-serif">publication in a high-profile volume.
&nbsp;</font>
<br>
<br><font size=3D2 face=3D"sans-serif">TFP 2007 is co-hosted by Seton Hall
University and The City College of New York (CCNY) </font>
<br><font size=3D2 face=3D"sans-serif">and will be held in New York, USA, A=
pril
2-4, 2007 at the CCNY campus. </font>
<br>
<br><font size=3D2 face=3D"sans-serif">The TFP symposium is the successor to
the successful series of Scottish Functional &nbsp;</font>
<br><font size=3D2 face=3D"sans-serif">Programming Workshops. Previous TFP
symposia were held in Edinburgh, Scotland in </font>
<br><font size=3D2 face=3D"sans-serif">2003 (co-located with IFL), in Munic=
h,
Germany in 2004, in Tallinn, Estonia in 2005 &nbsp;</font>
<br><font size=3D2 face=3D"sans-serif">(co-located with ICFP and GPCE), and
in Nottingham, UK in 2006 &nbsp;</font>
<br><font size=3D2 face=3D"sans-serif">(co-located with Types). For further
general information about TFP please see the </font>
<br><font size=3D2 face=3D"sans-serif">TFP homepage at http://cs.shu.edu/tf=
p2007/
. </font>
<br>
<br>
<br>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &=
nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; SCOPE
OF THE SYMPOSIUM </font>
<br>
<br>
<br><font size=3D2 face=3D"sans-serif">The symposium recognizes that new tr=
ends
may arise through various routes. As part &nbsp;</font>
<br><font size=3D2 face=3D"sans-serif">of the Symposium's focus on trends we
therefore identify the following five article &nbsp;</font>
<br><font size=3D2 face=3D"sans-serif">categories. High-quality articles are
solicited in any of these categories: </font>
<br>
<br>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Research
Articles &nbsp; &nbsp; &nbsp;&nbsp; leading-edge, previously unpublished
research work</font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Position
Articles &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; on what new trends should or
should not be </font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Project
Articles &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; descriptions of recently
started new projects</font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Evaluati=
on
Articles &nbsp; &nbsp; &nbsp;what lessons can be drawn from a finished
project </font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Overview
Articles &nbsp; &nbsp; &nbsp; &nbsp; summarizing work with respect to a
trendy subject </font>
<br>
<br>
<br><font size=3D2 face=3D"sans-serif">Articles must be original and not su=
bmitted
for simultaneous publication to any other &nbsp;</font>
<br><font size=3D2 face=3D"sans-serif">forum. They may consider any aspect
of functional programming: theoretical, &nbsp;</font>
<br><font size=3D2 face=3D"sans-serif">implementation-oriented, or more exp=
erience-oriented.
Applications of functional &nbsp;</font>
<br><font size=3D2 face=3D"sans-serif">programming techniques to other lang=
uages
are also within the scope of the symposium. </font>
<br>
<br><font size=3D2 face=3D"sans-serif">Articles on the following subject ar=
eas
are particularly welcomed:</font>
<br>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; o Dependently Typed Fu=
nctional
Programming </font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; o Validation and Verif=
ication
of Functional Programs</font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; o Debugging for Functi=
onal
Languages </font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; o Functional Programmi=
ng
and Security </font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; o Functional Programmi=
ng
and Mobility </font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; o Functional Programmi=
ng
to Animate/Prototype/Implement Systems from Formal or Semi-Formal Specifica=
tions</font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; o Functional Languages
for Telecommunications Applications </font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; o Functional Languages
for Embedded Systems </font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; o Functional Programmi=
ng
Applied to Global Computing </font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; o Functional GRIDs </f=
ont>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; o Functional Programmi=
ng
Ideas in Imperative or Object-Oriented Settings (and the converse)</font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; o Interoperability with
Imperative Programming Languages </font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; o Novel Memory Managem=
ent
Techniques </font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; o Parallel/Concurrent
Functional Languages</font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; o Program Transformati=
on
Techniques </font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; o Empirical Performance
Studies </font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; o Abstract/Virtual Mac=
hines
and Compilers for Functional Languages </font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; o New Implementation S=
trategies</font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; o any new emerging tre=
nd
in the functional programming area </font>
<br>
<br><font size=3D2 face=3D"sans-serif">If you are in doubt on whether your
article is within the scope of TFP, please contact &nbsp;</font>
<br><font size=3D2 face=3D"sans-serif">the TFP 2007 program chair, Marco T.
Morazan, at [email protected].</font>
<br>
<br>
<br>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &=
nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; BEST
STUDENT PAPER AWARD </font>
<br>
<br>
<br><font size=3D2 face=3D"sans-serif">TFP traditionally pays special atten=
tion
to research students, acknowledging that </font>
<br><font size=3D2 face=3D"sans-serif">students are almost by definition pa=
rt
of new subject trends. A prize for the best &nbsp;</font>
<br><font size=3D2 face=3D"sans-serif">student paper is awarded each year.
</font>
<br>
<br>
<br>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &=
nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; SUBMI=
SSION
AND DRAFT PROCEEDINGS </font>
<br>
<br>
<br><font size=3D2 face=3D"sans-serif">Acceptance of articles for presentat=
ion
at the symposium is based on the review of &nbsp;</font>
<br><font size=3D2 face=3D"sans-serif">extended abstracts (6 to 10 pages in
length) by the program committee. Accepted &nbsp;</font>
<br><font size=3D2 face=3D"sans-serif">abstracts are to be completed to full
papers before the symposium for publication in &nbsp;</font>
<br><font size=3D2 face=3D"sans-serif">the draft proceedings and on-line. <=
/font>
<br>
<br>
<br><font size=3D2 face=3D"sans-serif">The submission must clearly indicate
to which category it belongs to: research, position, </font>
<br><font size=3D2 face=3D"sans-serif">project, evaluation, or overview pap=
er.
It should also indicate whether the main author </font>
<br><font size=3D2 face=3D"sans-serif">or authors are research students. Fo=
rmatting
details can be found at the TFP 2007 website.</font>
<br><font size=3D2 face=3D"sans-serif">Submission procedures will be posted
on the TFP 2007 website as the submission deadline is</font>
<br><font size=3D2 face=3D"sans-serif">reached. </font>
<br>
<br><font size=3D2 face=3D"sans-serif">The papers in the draft proceedings
will also be made available on-line under the following &nbsp;</font>
<br><font size=3D2 face=3D"sans-serif">conditions, with which all authors a=
re
asked to agree: </font>
<br>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; The documents distribu=
ted
by this server have been provided by the</font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; contributing authors as
a means to ensure timely dissemination of </font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; scholarly and technical
work on a noncommercial basis. Copyright and </font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; all rights therein are
maintained by the authors or by other </font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; copyright holders, not=
withstanding
that they have offered their</font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; works here electronica=
lly.
It is understood that all persons copying </font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; this information will
adhere to the terms and constraints invoked by </font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; each author's copyrigh=
t.
These works may not be reposted without the </font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; explicit permission of
the copyright holder. </font>
<br>
<br>
<br>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &=
nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; POST-SYMPOSIUM REFEREEING AND
PUBLICATION</font>
<br>
<br>
<br><font size=3D2 face=3D"sans-serif">In addition to the draft symposium p=
roceedings,
we intend to continue the TFP tradition of &nbsp;</font>
<br><font size=3D2 face=3D"sans-serif">publishing a high-quality subset of
contributions in the Intellect series on Trends in &nbsp;</font>
<br><font size=3D2 face=3D"sans-serif">Functional Programming. All TFP auth=
ors
will be invited to submit revised papers after the &nbsp;</font>
<br><font size=3D2 face=3D"sans-serif">symposium. These will be refereed us=
ing
normal conference standards and a subset of the best &nbsp;</font>
<br><font size=3D2 face=3D"sans-serif">papers, over all categories, will be
selected for publication. Papers will be judged on their &nbsp;</font>
<br><font size=3D2 face=3D"sans-serif">contribution to the research area wi=
th
appropriate criteria applied to each category of paper. </font>
<br>
<br><font size=3D2 face=3D"sans-serif">Student papers will be given extra f=
eedback
by the Program Committee in order to assist those &nbsp;</font>
<br><font size=3D2 face=3D"sans-serif">unfamiliar with the publication proc=
ess.
</font>
<br>
<br>
<br>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &=
nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; Important DATES </font>
<br>
<br>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Abstract
Submission: February 1, 2007 </font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Notifica=
tion
of Acceptance: February 20, 2007 </font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Registra=
tion
Deadline: March 2, 2007 </font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Camera R=
eady
Full Paper Due: March 9, 2007 </font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; TFP Symp=
osium:
April 2-4, 2007 </font>
<br>
<br>
<br>
<br>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &=
nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; PROGR=
AMME
COMMITTEE </font>
<br>
<br>
<br>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; John Cle=
ments
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;California
Polytechnic State University, USA </font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Marko van
Eekelen &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;Radboud
Universiteit Nijmegen, The Netherlands </font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Benjamin
Goldberg &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;New
York University, USA </font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Kevin Ha=
mmond
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;University
of St. Andrews, UK</font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Patricia
Johann &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;Rutgers
University, USA &nbsp;</font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Hans-Wol=
fgang
Loidl &nbsp; &nbsp; &nbsp; &nbsp;Ludwig-Maximilians Universit=E4t
M=FCnchen, Germany </font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Rita Loo=
gen
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;Philipps-Universit=
=E4t
Marburg, Germany </font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Greg Mic=
haelson
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;Heriot-Watt
University, UK </font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Marco T.
Moraz=E1n (Chair) &nbsp; &nbsp; &nbsp; &nbsp;Seton Hall University,
USA </font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Henrik N=
ilsson
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;University
of Nottingham, UK </font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Chris Ok=
asaki
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;United
States Military Academy at West Point, USA &nbsp;</font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Rex Page
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp;University of Oklahoma, USA </font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Ricardo
Pena &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;Universidad
Complutense de Madrid, Spain </font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Benjamin
C. Pierce &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;University
of Pennsylvania, USA </font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; John Rep=
py
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;University
of Chicago, USA </font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Ulrik P.
Schultz &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;University
of Southern Denmark, Denmark </font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Clara Se=
gura
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;Universidad
Complutense de Madrid, Spain </font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Jocelyn
S=E9rot &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;Universit=E9
Blaise Pascal, France &nbsp;</font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Zhong Sh=
ao
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;Yale
University, USA &nbsp;</font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Olin Shi=
vers
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp;Georgia Institute of Technology, USA
&nbsp;</font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Phil Tri=
nder
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp;Heriot-Watt University, UK </font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; David Wa=
lker
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;Princeton
University, USA </font>
<br>
<br>
<br>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp;ORGANIZATION </font>
<br>
<br>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Symposium
Chair: &nbsp; &nbsp; &nbsp; &nbsp;Henrik Nilsson, University of Nottingham,
UK </font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Programme
Chair: &nbsp; &nbsp; &nbsp; &nbsp;Marco T. Morazan, Seton Hall University,
USA </font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Treasure=
r:
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
Greg Michaelson, Heriot-Watt University, UK </font>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Local Ar=
rangements:
&nbsp; Marco T. Morazan, Seton Hall University, USA </font>
<br>
<br>
<br>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &=
nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; SPONS=
ORS
</font>
<br>
<br>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; The Depa=
rtment
of Mathematics and Computer Science, Seton Hall University </font>
<br>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; The Depa=
rtment
of Computer Science, The City College of New York </font>
<br>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; The Cent=
er
for Algorithms and Interactive Scientific Software of The City College
of New York &nbsp;</font>
<br>
<br><font size=3D2 face=3D"sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; The Grove
School of Engineering of The City College of New York</font>
<br>
<br>
<br><font size=3D2 face=3D"sans-serif">We are actively looking for addition=
al
TFP sponsors, who may, for example, help to </font>
<br><font size=3D2 face=3D"sans-serif">subsidise attendance by research stu=
dents.
If you or your organisation might be &nbsp;</font>
<br><font size=3D2 face=3D"sans-serif">willing to sponsor TFP, or if you kn=
ow
someone who might be willing to do so, please </font>
<br><font size=3D2 face=3D"sans-serif">do not hesitate to contact the Progr=
am
Chair, Marco T. Morazan, or the Symposium Chair, &nbsp;</font>
<br><font size=3D2 face=3D"sans-serif">Henrik Nilsson. Your students will be
grateful! </font>
<br><font size=3D2 face=3D"sans-serif"><br>
<br>
<br>
***************************************************************************=
*********<br>
Dr. Marco T. Morazan<br>
TFP 2007<br>
Program Committee Chair<br>
http://cs.shu.edu/tfp2007/</font>
--=_alternative 004E6C0A8525722D_=--

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

_______________________________________________
Glasgow-haskell-users mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

--===============0541916147==--