First Call for Papers: TFP 2007, New York
TFP 2007 <[email protected]> Fri, 1 Dec 2006 13:36:46 -0500
| Newsgroups | gmane.comp.lang.haskell.hugs.user,gmane.comp.lang.haskell.hat |
|---|---|
| Message-ID | <OF43971809.52CE94E9-ON85257237.0065EC00-85257237.00663F04@shu.edu> |
This is a multipart message in MIME format.
--===============0120080430==
Content-Type: multipart/alternative;
boundary="=_alternative 00663F0385257237_="
This is a multipart message in MIME format.
--=_alternative 00663F0385257237_=
Content-Type: text/plain; charset="ISO-8859-1"
Content-Transfer-Encoding: quoted-printable
CALL FOR PAPERS
Trends in Functional Programming 2007
New York, USA
April 2-4, 2007
http://cs.shu.edu/tfp2007/=20
OR
http://tltc.shu.edu/tfp2007/
=20
=20
The symposium on Trends in Functional Programming (TFP) is an=20
international forum for researchers with interests in all aspects of=20
functional programming languages, focusing on providing a broad view of=20
current and future trends in Functional Programming. It aspires to be a=20
lively environment for presenting the latest research results through=20
acceptance by extended abstracts. A formal post-symposium refereeing=20
process then selects the best articles presented at the symposium for=20
publication in a high-profile volume. =20
=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
SCOPE OF THE SYMPOSIUM=20
=20
The symposium recognizes that new trends may arise through various routes. =
As part of the Symposium's focus on trends we therefore identify the=20
following five article categories. High-quality articles are solicited in =
any of these categories: =20
=20
Research Articles leading-edge, previously unpublished research=20
work
Position Articles on what new trends should or should not be =20
Project Articles descriptions of recently started new projects=20
Evaluation Articles what lessons can be drawn from a finished=20
project
Overview Articles summarizing work with respect to a trendy=20
subject
=20
Articles must be original and not submitted for simultaneous publication=20
to any other forum. They may consider any aspect of functional=20
programming: theoretical, implementation-oriented, or more=20
experience-oriented. Applications of functional programming techniques to=20
other languages are also within the scope of the symposium.=20
=20
Articles on the following subject areas are particularly welcomed:
=20
o Dependently Typed Functional Programming =20
o Validation and Verification of Functional Programs
o Debugging for Functional Languages
o Functional Programming and Security
o Functional Programming and Mobility
o Functional Programming to Animate/Prototype/Implement Systems from=20
Formal or Semi-Formal Specifications=20
o Functional Languages for Telecommunications Applications
o Functional Languages for Embedded Systems
o Functional Programming Applied to Global Computing
o Functional GRIDs
o Functional Programming Ideas in Imperative or Object-Oriented Settings=20
(and the converse)
o Interoperability with Imperative Programming Languages
o Novel Memory Management Techniques
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 the TFP 2007 program chair, Marco T. Morazan, at =20
[email protected].
=20
=20
SUBMISSION AND DRAFT PROCEEDINGS
=20
Acceptance of articles for presentation at the symposium is based on the=20
review of extended abstracts (6 to 10 pages in length) by the program=20
committee. Accepted abstracts are to be completed to full papers before=20
the symposium for publication in the draft proceedings and on-line.=20
Further details can be found at the TFP 2007 website.=20
=20
=20
POST-SYMPOSIUM REFEREEING AND PUBLICATION
=20
In addition to the draft symposium proceedings, we intend to continue the=20
TFP tradition of publishing a high-quality subset of contributions in the=20
Intellect series on Trends in Functional Programming. =20
=20
IMPORTANT DATES
=20
Abstract Submission: February 1, 2007
Notification of Acceptance: February 20, 2007
Registration Deadline: March 2, 2007 =20
Camera Ready Full Paper Due: March 9, 2007
TFP Symposium: April 2-4, 2007
=20
=20
PROGRAMME COMMITTEE
=20
John Clements California Polytechnic State University,=20
USA =20
Marko van Eekelen Radboud Universiteit Nijmegen, The=20
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=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
=20
Benjamin C. Pierce University of Pennsylvania, USA =20
John Reppy University of Chicago, USA =20
Ulrik P. Schultz University of Southern Denmark, Denmark=20
=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
=20
=20
ORGANIZATION =20
=20
Symposium Chair: Henrik Nilsson, University of Nottingham, UK =20
Programme Chair: Marco T. Morazan, Seton Hall University, USA =20
Treasurer: Greg Michaelson, Heriot-Watt University, UK
Local Arrangements: Marco T. Morazan, Seton Hall University, USA =20
***************************************************************************=
*********
Dr. Marco T. Morazan
TFP 2007
Program Committee Chair
http://tltc.shu.edu/tfp2007/
http://cs.shu.edu/tfp2007/
--=_alternative 00663F0385257237_=
Content-Type: text/html; charset="ISO-8859-1"
Content-Transfer-Encoding: quoted-printable
<br><font size=3D2 face=3D"sans-serif">CALL FOR PAPERS</font>
<br><font size=3D2 face=3D"sans-serif">Trends in Functional Programming 200=
7</font>
<br><font size=3D2 face=3D"sans-serif">New York, USA</font>
<br><font size=3D2 face=3D"sans-serif">April 2-4, 2007</font>
<br><a href=3Dhttp://cs.shu.edu/tfp2007/><font size=3D2 color=3Dblue face=
=3D"sans-serif"><u>http://cs.shu.edu/tfp2007/</u></font></a><a href=3Dhttp:=
//tltc.shu.edu/tfp2007/><font size=3D2 color=3Dblue face=3D"sans-serif"><u>
</u></font></a>
<br><font size=3D2 face=3D"sans-serif"> =
OR</font>
<br><a href=3Dhttp://tltc.shu.edu/tfp2007/><font size=3D2 color=3Dblue face=
=3D"sans-serif"><u>http://tltc.shu.edu/tfp2007/</u></font></a>
<br><font size=3D2 face=3D"sans-serif"> </font>
<br><font size=3D2 face=3D"sans-serif"> </font>
<br><font size=3D2 face=3D"sans-serif">The symposium on Trends in Functional
Programming (TFP) is an international forum for researchers with interests
in all aspects of functional programming languages, focusing on provi=
ding
a broad view of current and future trends in Functional Programming. It
aspires to be a lively environment for presenting the latest research
results through acceptance by extended abstracts. A formal post-symposium
refereeing process then selects the best articles presented at the symposium
for publication in a high-profile volume. </font>
<br><font size=3D2 face=3D"sans-serif"> </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>
<br><font size=3D2 face=3D"sans-serif"> </font>
<br><font size=3D2 face=3D"sans-serif">SCOPE OF THE SYMPOSIUM </font>
<br><font size=3D2 face=3D"sans-serif"> </font>
<br><font size=3D2 face=3D"sans-serif">The symposium recognizes that new tr=
ends
may arise through various routes. As part of the Symposium's focus
on trends we therefore identify the following five article categories.
High-quality articles are solicited in any of these categories:
</font>
<br><font size=3D2 face=3D"sans-serif"> </font>
<br><font size=3D2 face=3D"sans-serif">Research Articles &nbs=
p;
leading-edge, previously unpublished research work</font>
<br><font size=3D2 face=3D"sans-serif">Position Articles &=
nbsp; on
what new trends should or should not be </font>
<br><font size=3D2 face=3D"sans-serif">Project Articles &n=
bsp; descriptions
of recently started new projects </font>
<br><font size=3D2 face=3D"sans-serif">Evaluation Articles &n=
bsp;
what lessons can be drawn from a finished project</font>
<br><font size=3D2 face=3D"sans-serif">Overview Articles &nbs=
p;
summarizing work with respect to a trendy subject</font>
<br><font size=3D2 face=3D"sans-serif"> </font>
<br><font size=3D2 face=3D"sans-serif">Articles must be original and not su=
bmitted
for simultaneous publication to any other forum. They may consider any
aspect of functional programming: theoretical, implementation-o=
riented,
or more experience-oriented. Applications of functional programming techniq=
ues
to other languages are also within the scope of the symposium. </font>
<br><font size=3D2 face=3D"sans-serif"> </font>
<br><font size=3D2 face=3D"sans-serif">Articles on the following subject ar=
eas
are particularly welcomed:</font>
<br><font size=3D2 face=3D"sans-serif"> </font>
<br><font size=3D2 face=3D"sans-serif">o Dependently Typed Functional Progr=
amming
</font>
<br><font size=3D2 face=3D"sans-serif">o Validation and Verification of Fun=
ctional
Programs</font>
<br><font size=3D2 face=3D"sans-serif">o Debugging for Functional Languages=
</font>
<br><font size=3D2 face=3D"sans-serif">o Functional Programming and Securit=
y</font>
<br><font size=3D2 face=3D"sans-serif">o Functional Programming and Mobilit=
y</font>
<br><font size=3D2 face=3D"sans-serif">o Functional Programming to Animate/=
Prototype/Implement
Systems from Formal or Semi-Formal Specifications </font>
<br><font size=3D2 face=3D"sans-serif">o Functional Languages for Telecommu=
nications
Applications</font>
<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 Programming Applied to
Global Computing</font>
<br><font size=3D2 face=3D"sans-serif">o Functional GRIDs</font>
<br><font size=3D2 face=3D"sans-serif">o Functional Programming Ideas in Im=
perative
or Object-Oriented Settings (and the converse)</font>
<br><font size=3D2 face=3D"sans-serif">o Interoperability with Imperative P=
rogramming
Languages</font>
<br><font size=3D2 face=3D"sans-serif">o Novel Memory Management Techniques=
</font>
<br><font size=3D2 face=3D"sans-serif">o Parallel/Concurrent Functional Lan=
guages</font>
<br><font size=3D2 face=3D"sans-serif">o Program Transformation Techniques&=
nbsp;
</font>
<br><font size=3D2 face=3D"sans-serif">o Empirical Performance Studies =
;
</font>
<br><font size=3D2 face=3D"sans-serif">o Abstract/Virtual Machines and Comp=
ilers
for Functional Languages </font>
<br><font size=3D2 face=3D"sans-serif">o New Implementation Strategies</fon=
t>
<br><font size=3D2 face=3D"sans-serif">o any new emerging trend in the func=
tional
programming area</font>
<br><font size=3D2 face=3D"sans-serif"> </font>
<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 the TFP 2007 program
chair, Marco T. Morazan, at </font><a href=3Dmailto:[email protected]><font s=
ize=3D2 color=3Dblue face=3D"sans-serif"><u> [email protected]</u></font=
></a><font size=3D2 face=3D"sans-serif">.</font>
<br><font size=3D2 face=3D"sans-serif"> </font>
<br><font size=3D2 face=3D"sans-serif"> </font>
<br><font size=3D2 face=3D"sans-serif">SUBMISSION AND DRAFT PROCEEDINGS</fo=
nt>
<br><font size=3D2 face=3D"sans-serif"> </font>
<br><font size=3D2 face=3D"sans-serif">Acceptance of articles for presentat=
ion
at the symposium is based on the review of extended abstracts (6 to
10 pages in length) by the program committee. Accepted abstracts
are to be completed to full papers before the symposium for publication
in the draft proceedings and on-line. Further details can be found
at the TFP 2007 website. </font>
<br><font size=3D2 face=3D"sans-serif"> </font>
<br><font size=3D2 face=3D"sans-serif"> </font>
<br><font size=3D2 face=3D"sans-serif">POST-SYMPOSIUM REFEREEING AND PUBLIC=
ATION</font>
<br><font size=3D2 face=3D"sans-serif"> </font>
<br><font size=3D2 face=3D"sans-serif">In addition to the draft symposium p=
roceedings,
we intend to continue the TFP tradition of publishing a high-quality
subset of contributions in the Intellect series on Trends in Functional
Programming. </font>
<br><font size=3D2 face=3D"sans-serif"> </font>
<br><font size=3D2 face=3D"sans-serif">IMPORTANT DATES</font>
<br><font size=3D2 face=3D"sans-serif"> </font>
<br><font size=3D2 face=3D"sans-serif">Abstract Submission: February 1, 200=
7</font>
<br><font size=3D2 face=3D"sans-serif">Notification of Acceptance: February
20, 2007</font>
<br><font size=3D2 face=3D"sans-serif">Registration Deadline: March 2, 2007=
</font>
<br><font size=3D2 face=3D"sans-serif">Camera Ready Full Paper Due: March 9,
2007</font>
<br><font size=3D2 face=3D"sans-serif">TFP Symposium: April 2-4, 2007</font>
<br><font size=3D2 face=3D"sans-serif"> </font>
<br><font size=3D2 face=3D"sans-serif"> </font>
<br><font size=3D2 face=3D"sans-serif">PROGRAMME COMMITTEE</font>
<br><font size=3D2 face=3D"sans-serif"> </font>
<br><font size=3D2 face=3D"sans-serif">John Clements &=
nbsp;
California Polytechnic State Univer=
sity,
USA </font>
<br><font size=3D2 face=3D"sans-serif">Marko van Eekelen &=
nbsp; Radboud
Universiteit Nijmegen, The Netherlands </font>
<br><font size=3D2 face=3D"sans-serif">Benjamin Goldberg &=
nbsp; New
York University, USA </font>
<br><font size=3D2 face=3D"sans-serif">Kevin Hammond &=
nbsp;
University of St. Andrews, UK </font>
<br><font size=3D2 face=3D"sans-serif">Patricia Johann
Rutgers University, USA
</font>
<br><font size=3D2 face=3D"sans-serif">Hans-Wolfgang Loidl  =
; Ludwig-Maximilians
Universit=E4t M=FCnchen, Germany </font>
<br><font size=3D2 face=3D"sans-serif">Rita Loogen &=
nbsp; &nbs=
p; Philipps-Universit=E4t
Marburg, Germany </font>
<br><font size=3D2 face=3D"sans-serif">Greg Michaelson
Heriot-Watt University, UK
</font>
<br><font size=3D2 face=3D"sans-serif">Marco T. Moraz=E1n (Chair) &nbs=
p; Seton
Hall University, USA </font>
<br><font size=3D2 face=3D"sans-serif">Henrik Nilsson &nbs=
p; &=
nbsp;
University of Nottingham, UK </font>
<br><font size=3D2 face=3D"sans-serif">Chris Okasaki &=
nbsp;
United States Military Academy
at West Point, USA </font>
<br><font size=3D2 face=3D"sans-serif">Rex Page
University
of Oklahoma, USA </font>
<br><font size=3D2 face=3D"sans-serif">Ricardo Pena &n=
bsp;
Universidad Complutense
de Madrid, Spain </font>
<br><font size=3D2 face=3D"sans-serif">Benjamin C. Pierce =
University
of Pennsylvania, USA </font>
<br><font size=3D2 face=3D"sans-serif">John Reppy &nbs=
p;
Unive=
rsity
of Chicago, USA </font>
<br><font size=3D2 face=3D"sans-serif">Ulrik P. Schultz
University of Southern Denmark,
Denmark </font>
<br><font size=3D2 face=3D"sans-serif">Clara Segura &n=
bsp;
Universidad Compl=
utense
de Madrid, Spain </font>
<br><font size=3D2 face=3D"sans-serif">Jocelyn S=E9rot =
Universit=E9 Blaise Pas=
cal,
France </font>
<br><font size=3D2 face=3D"sans-serif">Zhong Shao &nbs=
p;
Yale
University, USA </font>
<br><font size=3D2 face=3D"sans-serif">Olin Shivers &n=
bsp;
Georgia Institute of Techn=
ology,
USA </font>
<br><font size=3D2 face=3D"sans-serif">Phil Trinder &n=
bsp;
Heriot-Watt Universi=
ty,
UK </font>
<br><font size=3D2 face=3D"sans-serif">David Walker &n=
bsp;
Princeton Universi=
ty,
USA </font>
<br><font size=3D2 face=3D"sans-serif"> </font>
<br><font size=3D2 face=3D"sans-serif"> </font>
<br><font size=3D2 face=3D"sans-serif">ORGANIZATION </font>
<br><font size=3D2 face=3D"sans-serif"> </font>
<br><font size=3D2 face=3D"sans-serif">Symposium Chair:
Henrik Nilsson, University of Nottingham, UK </font>
<br><font size=3D2 face=3D"sans-serif">Programme Chair:
Marco T. Morazan, Seton Hall University, USA </font>
<br><font size=3D2 face=3D"sans-serif">Treasurer: &nbs=
p;
Greg Michaelson, Heriot-Watt Unive=
rsity,
UK</font>
<br><font size=3D2 face=3D"sans-serif">Local Arrangements: Mar=
co
T. Morazan, Seton Hall University, USA </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://tltc.shu.edu/tfp2007/<br>
http://cs.shu.edu/tfp2007/</font>
--=_alternative 00663F0385257237_=--
--===============0120080430==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
_______________________________________________
Hugs-Users mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/hugs-users
--===============0120080430==--