[Agda] TFP 2010 - Call for Papers and Participation

[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 2: Submission deadline
   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")

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 the Springer series, Lecture Notes 
in Computer Science.

We invite you to participate in TFP 2010.
  - 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