[isabelle] FLoC 2010: Call for Workshop Proposals - Deadline Extension
THE 2010 FEDERATED LOGIC CONFERENCE (FLoC 2010)
Edinburgh, Scotland, U.K., July 9-21, 2010
CALL FOR WORKSHOP PROPOSALS - DEADLINE EXTENSION
Workshop proposals can now be submitted up to Sept. 1, 2009.
The original Call for Workshop Proposals is at
Organizers will be notified by October 15, 2009.
Proposals should be submitted electronically to EasyChair at the
following address: http://www.easychair.org/conferences/?conf=floc10cfw
(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
You are subscribed to the FLoC 2010 mailing list.
To unsubscribe please send an email to majordomo at informatik.uni-frankfurt.de
with the keywords unsubscribe floc2010 in the message body.
This archive was generated by a fusion of
Pipermail (Mailman edition) and