[isabelle] FLoC 2010: Student Travel Grants

FLoC 2010: Student Travel Grants

The 2010 FEDERATED LOGIC CONFERENCE (FLoC'10) will be held in Edinburgh,
Scotland, U.K., on  July 9-21, 2010. See http://www.floc-conference.org/.

FLoC'10 promises to be the premier scientific meeting in computational
logic in 2010.  The following conferences will participate in FLoC:

  - CAV 2010: Int'l Conference on Computer-Aided Verification
  - CSF 2010: IEEE Computer Security Foundations Symposium
  - ICLP 2010: Int'l Conference on Logic Programming
  - IJCAR 2010: Int'l Joint Conference on Automated Reasoning
  - ITP 2010: Int'l Conference on Interactive Theorem Proving
  - LICS 2010: IEEE Symposium on Logic in Computer Science
  - RTA 2010: Int'l Conference on Rewriting Techniques and Applications
  - SAT 2010: Int'l Conference on Theory and Applications of
Satisfiability Testing

The eight major conferences will be accompanied by more than fifty
workshops and other affiliated events.

FLoC has received funds to provide travel grants of up to $750 for
student participants of FLoC'10. Funds can be requested to cover
airfare and lodging.  We expect to award about 100 grants.

Application deadline is May 3, 2010. Application form is available
at http://www.floc-conference.org/floc-student-grants.html/.

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.