Second Call for Papers: TFP 2007, New York, USA
TFP 2007 <[email protected]> Sun, 31 Dec 2006 09:54:24 -0500
| Newsgroups | gmane.comp.lang.haskell.glasgow.user,gmane.comp.lang.haskell.hat,gmane.comp.lang.haskell.cafe |
|---|---|
| Message-ID | <OFF24185EC.D278829D-ON85257255.00515979-85257255.0051E331@shu.edu> |
This is a multipart message in MIME format.
--===============1731455529==
Content-Type: multipart/alternative;
boundary="=_alternative 0051E32C85257255_="
This is a multipart message in MIME format.
--=_alternative 0051E32C85257255_=
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 =20
April 2-4, 2007 =20
http://cs.shu.edu/tfp2007/ =20
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 not=20
be =20
Project Articles descriptions of recently started new=20
projects =20
Evaluation Articles what lessons can be drawn from a=20
finished project =20
Overview Articles summarizing work with respect to a 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 =20
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) =20
o Interoperability with Imperative Programming Languages =20
o Novel Memory Management Techniques =20
o Parallel/Concurrent Functional Languages =20
o Program Transformation Techniques =20
o Empirical Performance Studies =20
o Abstract/Virtual Machines and Compilers for Functional Languages =
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. =20
Submission procedures will be posted on the TFP 2007 website as the=20
submission deadline is =20
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=20
University, USA =20
Marko van Eekelen Radboud Universiteit Nijmegen,=20
The Netherlands =20
Benjamin Goldberg New York University, USA =20
Kevin Hammond University of St. Andrews, UK =20
Patricia Johann Rutgers University, USA =20
Hans-Wolfgang Loidl Ludwig-Maximilians Universit=E4t M=FCnch=
en,=20
Germany =20
Rita Loogen Philipps-Universit=E4t Marburg, Germany =
=20
=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=20
West Point, USA =20
Rex Page University of Oklahoma, USA =20
Ricardo Pena Universidad Complutense de Madrid,=20
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,=20
Spain =20
Jocelyn S=E9rot Universit=E9 Blaise Pascal, France =
=20
Zhong Shao Yale University, USA =20
Olin Shivers Georgia Institute of Technology, USA =
=20
Phil Trinder Heriot-Watt University, UK =20
David Walker Princeton University, USA =20
ORGANIZATION =20
Symposium Chair: Henrik Nilsson, University of=20
Nottingham, UK =20
Programme Chair: Marco T. Morazan, Seton Hall=20
University, USA =20
Treasurer: Greg Michaelson, Heriot-Watt=20
University, UK =20
Local Arrangements: Marco T. Morazan, Seton Hall=20
University, USA =20
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 0051E32C85257255_=
Content-Type: text/html; charset="ISO-8859-1"
Content-Transfer-Encoding: quoted-printable
<br><font size=3D2 face=3D"sans-serif"> &=
nbsp;
CALL FOR PAPERS </font><font size=
=3D3>
</font>
<br><font size=3D2 face=3D"sans-serif"> &=
nbsp;
Trends in Functional Programming 2007 </font><font size=3D3>&=
nbsp;
</font>
<br><font size=3D2 face=3D"sans-serif"> &=
nbsp;
New York, USA</font>=
<font size=3D3>
</font>
<br><font size=3D2 face=3D"sans-serif"> &=
nbsp;
April 2-4, 2007
</font><font size=3D3> </font>
<br><font size=3D2 face=3D"sans-serif"> &=
nbsp;
http://cs.shu.edu/tfp2007/</font>=
<font size=3D3>
</font>
<br>
<br>
<br><font size=3D2 face=3D"sans-serif">The symposium on Trends in Functional
Programming (TFP) is an international forum </font><font size=3D3>
</font>
<br><font size=3D2 face=3D"sans-serif">for researchers with interests in all
aspects of functional programming languages, </font><font size=3D3>
</font>
<br><font size=3D2 face=3D"sans-serif">focusing on providing a broad view of
current and future trends in Functional </font><font size=3D3>
</font>
<br><font size=3D2 face=3D"sans-serif">Programming. It aspires to be a live=
ly
environment for presenting the latest </font><font size=3D3>
</font>
<br><font size=3D2 face=3D"sans-serif">research results through acceptance
by extended abstracts. A formal post-symposium </font><font size=3D3>
</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.
</font><font size=3D3> </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><font size=3D3>&n=
bsp;
</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><font size=3D3> </font>
<br>
<br><font size=3D2 face=3D"sans-serif">The TFP symposium is the successor to
the successful series of Scottish Functional </font><font size=3D3>
</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 </font><font size=3D3>
</font>
<br><font size=3D2 face=3D"sans-serif">(co-located with ICFP and GPCE), and
in Nottingham, UK in 2006 </font><font size=3D3> </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><font size=3D3> </font>
<br>
<br>
<br>
<br><font size=3D2 face=3D"sans-serif"> &=
nbsp;
SCOPE
OF THE SYMPOSIUM </font><font size=3D3> </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 </font>
<br><font size=3D2 face=3D"sans-serif">of the Symposium's focus on trends we
therefore identify the following five article </font><font size=3D3>
</font>
<br><font size=3D2 face=3D"sans-serif">categories. High-quality articles are
solicited in any of these categories: </font><font size=3D3>
</font>
<br>
<br>
<br><font size=3D2 face=3D"sans-serif"> Research
Articles leading-edge, previously unpublished
research work</font>
<br><font size=3D2 face=3D"sans-serif"> Position
Articles on what new trends should or should
not be </font><font size=3D3> </font>
<br><font size=3D2 face=3D"sans-serif"> Project
Articles descriptions of recently started new
projects</font><font size=3D3> </font>
<br><font size=3D2 face=3D"sans-serif"> Evaluati=
on
Articles what lessons can be drawn from a finish=
ed
project </font><font size=3D3> </font>
<br><font size=3D2 face=3D"sans-serif"> Overview
Articles summarizing work with respect to a
trendy subject </font><font size=3D3> </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 </font><font size=3D3> &nbs=
p;
</font>
<br><font size=3D2 face=3D"sans-serif">forum. They may consider any aspect
of functional programming: theoretical, </font><font size=3D3>
</font>
<br><font size=3D2 face=3D"sans-serif">implementation-oriented, or more exp=
erience-oriented.
Applications of functional </font><font size=3D3> </font>
<br><font size=3D2 face=3D"sans-serif">programming techniques to other lang=
uages
are also within the scope of the symposium. </font><font size=3D3>
</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"> o Dependently Typed Fu=
nctional
Programming </font><font size=3D3> </font>
<br><font size=3D2 face=3D"sans-serif"> o Validation and Verif=
ication
of Functional Programs</font>
<br><font size=3D2 face=3D"sans-serif"> o Debugging for Functi=
onal
Languages </font><font size=3D3> </font>
<br><font size=3D2 face=3D"sans-serif"> o Functional Programmi=
ng
and Security </font><font size=3D3> </font>
<br><font size=3D2 face=3D"sans-serif"> o Functional Programmi=
ng
and Mobility </font><font size=3D3> </font>
<br><font size=3D2 face=3D"sans-serif"> o Functional Programmi=
ng
to Animate/Prototype/Implement Systems from Formal or Semi-Formal Specifica=
tions</font><font size=3D3>
</font>
<br><font size=3D2 face=3D"sans-serif"> o Functional Languages
for Telecommunications Applications </font><font size=3D3> </f=
ont>
<br><font size=3D2 face=3D"sans-serif"> o Functional Languages
for Embedded Systems </font>
<br><font size=3D2 face=3D"sans-serif"> o Functional Programmi=
ng
Applied to Global Computing </font><font size=3D3> </font>
<br><font size=3D2 face=3D"sans-serif"> o Functional GRIDs </f=
ont><font size=3D3>
</font>
<br><font size=3D2 face=3D"sans-serif"> o Functional Programmi=
ng
Ideas in Imperative or Object-Oriented Settings (and the converse)</font><f=
ont size=3D3>
</font>
<br><font size=3D2 face=3D"sans-serif"> o Interoperability with
Imperative Programming Languages </font><font size=3D3> </font>
<br><font size=3D2 face=3D"sans-serif"> o Novel Memory Managem=
ent
Techniques </font><font size=3D3> </font>
<br><font size=3D2 face=3D"sans-serif"> o Parallel/Concurrent
Functional Languages</font><font size=3D3> </font>
<br><font size=3D2 face=3D"sans-serif"> o Program Transformati=
on
Techniques </font><font size=3D3> </font>
<br><font size=3D2 face=3D"sans-serif"> o Empirical Performance
Studies </font><font size=3D3> </font>
<br><font size=3D2 face=3D"sans-serif"> o Abstract/Virtual Mac=
hines
and Compilers for Functional Languages </font><font size=3D3>
</font>
<br><font size=3D2 face=3D"sans-serif"> o New Implementation S=
trategies</font>
<br><font size=3D2 face=3D"sans-serif"> o any new emerging tre=
nd
in the functional programming area </font><font size=3D3> </fo=
nt>
<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 </font><font size=
=3D3>
</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;
BEST
STUDENT PAPER AWARD </font><font size=3D3> </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 </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;
SUBMI=
SSION
AND DRAFT PROCEEDINGS </font><font size=3D3> </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 </font>
<br><font size=3D2 face=3D"sans-serif">extended abstracts (6 to 10 pages in
length) by the program committee. Accepted </font><font size=3D3> &nb=
sp;
</font>
<br><font size=3D2 face=3D"sans-serif">abstracts are to be completed to full
papers before the symposium for publication in </font><font size=3D3>
</font>
<br><font size=3D2 face=3D"sans-serif">the draft proceedings and on-line. <=
/font><font size=3D3>
</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><font size=3D3>=
</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><font size=3D3>
</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><font size=3D3>
</font>
<br><font size=3D2 face=3D"sans-serif">reached. </font><font size=3D3>
</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 </font><font =
size=3D3>
</font>
<br><font size=3D2 face=3D"sans-serif">conditions, with which all authors a=
re
asked to agree: </font><font size=3D3> </font>
<br>
<br><font size=3D2 face=3D"sans-serif"> The documents distribu=
ted
by this server have been provided by the</font>
<br><font size=3D2 face=3D"sans-serif"> contributing authors as
a means to ensure timely dissemination of </font>
<br><font size=3D2 face=3D"sans-serif"> scholarly and technical
work on a noncommercial basis. Copyright and </font><font size=3D3>
</font>
<br><font size=3D2 face=3D"sans-serif"> all rights therein are
maintained by the authors or by other </font><font size=3D3>
</font>
<br><font size=3D2 face=3D"sans-serif"> copyright holders, not=
withstanding
that they have offered their</font>
<br><font size=3D2 face=3D"sans-serif"> works here electronica=
lly.
It is understood that all persons copying </font><font size=3D3> &nbs=
p;
</font>
<br><font size=3D2 face=3D"sans-serif"> this information will
adhere to the terms and constraints invoked by </font><font size=3D3>
</font>
<br><font size=3D2 face=3D"sans-serif"> each author's copyrigh=
t.
These works may not be reposted without the </font><font size=3D3>
</font>
<br><font size=3D2 face=3D"sans-serif"> explicit permission of
the copyright holder. </font><font size=3D3> </font>
<br>
<br>
<br>
<br><font size=3D2 face=3D"sans-serif"> &=
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 </font>
<br><font size=3D2 face=3D"sans-serif">publishing a high-quality subset of
contributions in the Intellect series on Trends in </font><font size=
=3D3>
</font>
<br><font size=3D2 face=3D"sans-serif">Functional Programming. All TFP auth=
ors
will be invited to submit revised papers after the </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 </font><font siz=
e=3D3>
</font>
<br><font size=3D2 face=3D"sans-serif">papers, over all categories, will be
selected for publication. Papers will be judged on their </font><font=
size=3D3>
</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><font size=
=3D3>
</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 </font><font size=
=3D3>
</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;
IMPORTANT DATES </font><font size=
=3D3>
</font>
<br>
<br>
<br><font size=3D2 face=3D"sans-serif"> Abstract
Submission: February 1, 2007 </font><font size=3D3> </font>
<br><font size=3D2 face=3D"sans-serif"> Notifica=
tion
of Acceptance: February 20, 2007 </font><font size=3D3> </font>
<br><font size=3D2 face=3D"sans-serif"> Registra=
tion
Deadline: March 2, 2007 </font><font size=3D3> </font>
<br><font size=3D2 face=3D"sans-serif"> Camera R=
eady
Full Paper Due: March 9, 2007 </font><font size=3D3> </font>
<br><font size=3D2 face=3D"sans-serif"> TFP Symp=
osium:
April 2-4, 2007 </font><font size=3D3> </font>
<br>
<br>
<br>
<br>
<br><font size=3D2 face=3D"sans-serif"> &=
nbsp;
PROGR=
AMME
COMMITTEE </font><font size=3D3> </font>
<br>
<br>
<br>
<br><font size=3D2 face=3D"sans-serif"> John Cle=
ments
California Polytechn=
ic
State University, USA </font><font size=3D3> </font>
<br><font size=3D2 face=3D"sans-serif"> Marko van
Eekelen Radboud
Universiteit Nijmegen, The Netherlands </font><font size=3D3>
</font>
<br><font size=3D2 face=3D"sans-serif"> Benjamin
Goldberg New York
University, USA </font><font size=3D3> </font>
<br><font size=3D2 face=3D"sans-serif"> Kevin Ha=
mmond
University of St.
Andrews, UK</font><font size=3D3> </font>
<br><font size=3D2 face=3D"sans-serif"> Patricia
Johann Rutgers Unive=
rsity,
USA </font><font size=3D3> </font>
<br><font size=3D2 face=3D"sans-serif"> Hans-Wol=
fgang
Loidl Ludwig-Maximilians Universit=E4t M=FCnchen,
Germany </font><font size=3D3> </font>
<br><font size=3D2 face=3D"sans-serif"> Rita Loo=
gen
Philipps-Universit=
=E4t
Marburg, Germany </font><font size=3D3> </font>
<br><font size=3D2 face=3D"sans-serif"> Greg Mic=
haelson
Heriot-Watt Universi=
ty,
UK </font><font size=3D3> </font>
<br><font size=3D2 face=3D"sans-serif"> Marco T.
Moraz=E1n (Chair) Seton Hall University, USA </f=
ont><font size=3D3>
</font>
<br><font size=3D2 face=3D"sans-serif"> Henrik N=
ilsson
University of Nottin=
gham,
UK </font><font size=3D3> </font>
<br><font size=3D2 face=3D"sans-serif"> Chris Ok=
asaki
United States Milita=
ry
Academy at West Point, USA </font><font size=3D3> </font>
<br><font size=3D2 face=3D"sans-serif"> Rex Page
University of Oklahoma, USA </font><font size=3D3> </fon=
t>
<br><font size=3D2 face=3D"sans-serif"> Ricardo
Pena Universidad
Complutense de Madrid, Spain </font><font size=3D3> </font>
<br><font size=3D2 face=3D"sans-serif"> Benjamin
C. Pierce University of Pennsylvania, USA </font=
><font size=3D3>
</font>
<br><font size=3D2 face=3D"sans-serif"> John Rep=
py
University of Chicag=
o,
USA </font><font size=3D3> </font>
<br><font size=3D2 face=3D"sans-serif"> Ulrik P.
Schultz University
of Southern Denmark, Denmark </font><font size=3D3> </font>
<br><font size=3D2 face=3D"sans-serif"> Clara Se=
gura
Universidad Complute=
nse
de Madrid, Spain </font><font size=3D3> </font>
<br><font size=3D2 face=3D"sans-serif"> Jocelyn
S=E9rot Universit=E9
Blaise Pascal, France </font><font size=3D3> </font>
<br><font size=3D2 face=3D"sans-serif"> Zhong Sh=
ao
Yale University,
USA </font>
<br><font size=3D2 face=3D"sans-serif"> Olin Shi=
vers
Georgia Institute
of Technology, USA </font><font size=3D3> </font>
<br><font size=3D2 face=3D"sans-serif"> Phil Tri=
nder
Heriot-Watt Universi=
ty,
UK </font><font size=3D3> </font>
<br><font size=3D2 face=3D"sans-serif"> David Wa=
lker
Princeton University,
USA </font><font size=3D3> </font>
<br>
<br>
<br>
<br><font size=3D2 face=3D"sans-serif"> &=
nbsp;
 =
;ORGANIZATION
</font><font size=3D3> </font>
<br>
<br>
<br><font size=3D2 face=3D"sans-serif"> Symposium
Chair: Henrik Nilsso=
n,
University of Nottingham, UK </font><font size=3D3> </font>
<br><font size=3D2 face=3D"sans-serif"> Programme
Chair: Marco T.
Morazan, Seton Hall University, USA </font><font size=3D3> </f=
ont>
<br><font size=3D2 face=3D"sans-serif"> Treasure=
r:
Greg Michaelson, Heriot-Watt University, UK </font><font size=3D3>&nb=
sp;
</font>
<br><font size=3D2 face=3D"sans-serif"> Local Ar=
rangements:
Marco T. Morazan, Seton Hall University, USA
</font><font size=3D3> </font>
<br>
<br>
<br>
<br><font size=3D2 face=3D"sans-serif"> &=
nbsp;
SPONSORS </font><font size=3D3> </font>
<br>
<br>
<br><font size=3D2 face=3D"sans-serif"> The Depa=
rtment
of Mathematics and Computer Science, Seton Hall University </font><font siz=
e=3D3>
</font>
<br>
<br><font size=3D2 face=3D"sans-serif"> The Depa=
rtment
of Computer Science, The City College of New York </font><font size=3D3>&nb=
sp;
</font>
<br>
<br><font size=3D2 face=3D"sans-serif"> The Cent=
er
for Algorithms and Interactive Scientific Software of The City College
of New York </font><font size=3D3> </font>
<br>
<br><font size=3D2 face=3D"sans-serif"> 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><font size=3D3>
</font>
<br><font size=3D2 face=3D"sans-serif">subsidise attendance by research stu=
dents.
If you or your organisation might be </font><font size=3D3>
</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><font size=3D3> <=
/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, </font><font size=3D=
3>
</font>
<br><font size=3D2 face=3D"sans-serif">Henrik Nilsson. Your students will be
grateful! </font><font size=3D3> </font>
<br><font size=3D2 face=3D"sans-serif"><br>
<br>
***************************************************************************=
*********<br>
Dr. Marco T. Morazan<br>
TFP 2007<br>
Program Committee Chair<br>
http://cs.shu.edu/tfp2007/</font>
--=_alternative 0051E32C85257255_=--
--===============1731455529==
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
--===============1731455529==--