Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] FLoC 2010: Call For Workshops Deadline Extension

Email Gateway (Aug 18 2022 at 13:43):

From: Hitoshi Ohsaki <ohsaki@ni.aist.go.jp>
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:

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@site.uottawa.ca

Last updated: Nov 21 2024 at 12:39 UTC