The Symposium on Trends in Functional Programming
will begin its second decade at the
University of Oklahoma,
May 17-19, 2010, on the campus in
Norman.
The symposium is an international forum
for researchers with interests in all aspects of functional programming.
It embraces a broad view of current and future trends in functional programming and
aspires to be a lively environment for presenting the latest research and applications.
TFP considers both full papers and extended abstracts for
presentation at the symposium.
A formal refereeing process after the symposium selects the best presentations for
publication in
the
series,
Lecture
Notes in Computer Science (LNCS).
|
|
 |
In addition to contributed papers discussing trends in research and applications, the symposium this year features an invited talk by J Strother Moore. He will describe the ACL2 theorem prover, a system grounded in functional programming that has seen wide application in high-assurance, industrial applications such as integrated circuit design and security- and safety-critical software. | |
|
The symposium will take place on the
University of Oklahoma campus
in
Devon Hall
(see
campus map),
a brand new building for Computer Science and Computer
Engineering (opening date: December, 2009). The entire
campus is equipped with open-access, wireless internet,
and the campus has first-rate museums of
art
and
natural history
and widely respected
collections in the history of
science
and of the
American West.
We hope you will join us for three days of stimulating discussions of trendy topics in functional programming. |
|
|
| TFP 2010 participants will break after lunch on the second day for an excursion to view the outstanding collection of paintings, sculptures, and historical artifacts of the American West at the National Cowboy and Western Heritage Museum, followed by a banquet dinner, all part of the symposium program. The permanent collection at the museum includes more than 2,000 works by artists such as Charles Russell, Frederic Remington, Albert Bierstadt, Allan Houser, Tsatoke, and Acee Blue Eagle. |
 |
| The 2010 TFP symposium is made possible, in part, by the generous support of the following sponsors | |
|
| |
|
| The University of Oklahoma |
