2010 FEDERATED LOGIC CONFERENCE (FLoC'10)
Edinburgh, Scotland, U.K.
July 9-21, 2010
http://www.floc-conference.org
* In 1996, as part of its Special Year on Logic and Algorithms, DIMACS hosted
the first Federated Logic Conference (FLoC). It was modeled after the
successful Federated 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)
* The fifth Federated Logic Conference (FLoC'10), will be 9-21 July, 2010
hosted by the University of Edinb
