[isabelle] FLoC 2010: Call For Workshops Deadline Extension

FLoC 2010: Call For Workshops Deadline Extension:
Workshop proposals can now be submitted up to Sept. 1, 2009.
The original Call for Workshops is at
http://www.floc-conference.org/cfw.html .

Organizers will be notified by October 15, 2009. Proposals should be
submitted electronically  to EasyChair at the following address:


(Clearly indicate at the top of the proposal the relevant conference)

For further enquiries or information, please contact:

Philip Scott (FLoC Workshop Chair)
Department of Mathematics and Statistics
University of Ottawa
Ottawa, Ont. Canada  K1N 6N5
email: phil at site.uottawa.ca

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