Please note that this newsitem has been archived, and may contain outdated information or links.
9-21 July 2010, Fifth Federated Logic Conference (FLoC'10), Edinburgh, Scotland
The fifth Federated Logic Conference (FLoC'10), will be 9-21
July, 2010 hosted by the University of Edinburgh. The following
seven conferences will participate in FLoC:
- International Conference on Computer-Aided Verification (CAV).
- International Conference on Interactive Theorem Proving (ITP).
- International Conference on Logic Programming (ICLP).
- International Joint Conference on Automated Reasoning (IJCAR).
- IEEE Symposium on Logic in Computer Science (LICS).
- International Conference on Rewriting Techniques and Applications
(RTA).
- International Conference on Theory and Applications of Satisfiability
Testing (SAT).
For more information, see http://www.floc-conference.org/ or contact Philip Scott (FLoC Workshop Chair) at phil at site.uottawa.ca.
Detailed calls for papers (as well as submission instructions) for each of the participating conferences can be found at the FLoC'10 website. Deadline for submissions: January 11 (CAV), January 15th (IJCAR, ITP and RTA), January 26th (ICLP), February 1st (SAT) or February 4th (CSF).
Please note that this newsitem has been archived, and may contain outdated information or links.