Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] FLoC 2010: Final Call for Workshop Proposals


view this post on Zulip Email Gateway (Aug 18 2022 at 13:49):

From: Nicole Schweikardt <schweika.floc@googlemail.com>
THE 2010 FEDERATED LOGIC CONFERENCE (FLoC 2010)
Edinburgh, Scotland, U.K., July 9-21, 2010
http://www.floc-conference.org

FINAL CALL FOR WORKSHOP PROPOSALS (proposals are due by July 31, 2009)

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


You are subscribed to the FLoC 2010 mailing list.
To unsubscribe please send an email to majordomo@informatik.uni-frankfurt.de
with the keywords unsubscribe floc2010 in the message body.


Last updated: Nov 21 2024 at 12:39 UTC