λ     λ     λ     λ     λ     λ  
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