\n

The f
ifth Federated Logic Conference (FLoC'10), will be
9-21\n July, 2010 hosted by the University o
f Edinburgh. The following\n seven conference
s will participate in FLoC:

\n - Inter
national Conference on Computer-Aided Verification
(CAV).

\n - International Conference
on Interactive Theorem Proving (ITP).

\n
- International Conference on Logic Programming
(ICLP).

\n - International Joint Conf
erence on Automated Reasoning (IJCAR).

\n
- IEEE Symposium on Logic in Computer Science
(LICS).

\n - International Conference
on Rewriting Techniques and Applications\n
(RTA).

\n - International Conference
on Theory and Applications of Satisfiability\n
Testing (SAT).

\n

For more information, see\n http://www.floc-conference.org/\n or contact Philip Scott (FLoC Workshop Chair) at \n phil at site.uottawa.ca.\n

\n\n

URL:/NewsandEvents/Archives/2010/newsitem/2864/9-2
1-July-2010-Fifth-Federated-Logic-Conference-FLoC-
10-Edinburgh-Scotland
END:VEVENT
END:VCALENDAR
Detailed calls for papers (a s well as submission\n instructions) for each of the participating conferences can be\n fo und at the FLoC'10 website. Deadline for submissio ns: January\n 11 (CAV), January 15th (IJCAR, ITP and RTA), January 26th\n (ICLP), February 1st (SAT) or February 4th (CSF).\n

\n