[Agda] TFP 2010 - Final Call: Submission deadline one week away, April 9

TFP 2010 tfpc at cs.ou.edu
Fri Apr 2 19:39:11 CEST 2010


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

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

Papers must be submitted by April 9, one week from today.
Acceptance notifications will go out April 15.
Early (reduced rate) registration closes April 16, two weeks from today.

SUBMISSION and REGISTRATION DEADLINES
   April 9:  Submission deadline
   April 15: Acceptance notification
   April 16: Early registration closes ($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 search: "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! Register now at reduced rates, and reserve your 
accommodations.
  - Rex Page, University of Oklahoma, Program Chair
  - Viktia Zs and Zolt Horvath, Ev Lord University, Symposium Co-Chairs
Sponsors:
Erlang Solutions Ltd
The University of Oklahoma, School of Computer Science


More information about the Agda mailing list