[Agda] TFP 2010 - 3rd CFP: Submit papers by April 9, REGISTRATION IS OPEN

[TFP 2010]

TFP 2010: 11th SYMPOSIUM ON TRENDS IN FUNCTIONAL PROGRAMMING
   May 17-19, 2010
   University of Oklahoma    http://www.cs.ou.edu/tfp2010/

TFP 2010 is an international forum for researchers with interests in any 
aspect of functional programming.

SUBMISSION and REGISTRATION DEADLINES
   April 9: Submission deadline (extended from April 2)
   April 16: Early registration deadline ($350, $200 for students)
   May 7: Late registration deadline ($425)
   May 17-19: TFP Symposium

POST-SYMPOSIUM PROCEEDINGS
   Springer series: Lecture Notes in Computer Science

Details about the event schedule, symposium scope, submissions, and 
registration may be found on the symposium website.
   http://www.cs.ou.edu/tfp2010/   (Web browser key "tfp 2010")

In addition to the symposium's stimulating presentations and discussions, 
highlights include an invited talk by J Strother Moore, an outing to view 
the superb collection of art of the American West at the Cowboy Hall of 
Fame, and a festive banquet.

Submitted papers and extended abstracts are reviewed for presentation at 
the symposium, and a formal refereeing process after the symposium selects 
the best presentations for publication in the Springer series, Lecture 
Notes in Computer Science.

We invite you to participate in TFP 2010. REGISTRATION IS OPEN!
  - Rex Page, University of Oklahoma, Program Chair
  - Viktia Zs and Zolt Horvath, Ev Lord University, Symposium Co-Chairs
  Sponsors: Erlang Solutions Ltd and The University of Oklahoma