Stream: Archive Mirror: Isabelle Users Mailing List

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


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

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

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


Last updated: Nov 21 2024 at 12:39 UTC