| 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 a high-profile volume. |
|
 |
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
(25 on the
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 there are 20 restaurants, many of them good ones, in
the Campus
Corner district, a square block of shops just across
Boyd Street from Devon Hall.
We hope you will join us for three days of stimulating presentations and 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 |
