News and Events: Conferences

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

Date: 9-21 July 2010
Location: Edinburgh, Scotland
Deadline: 15 January 2010

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 .

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.