Federated Logic Conference (FLoC)
(brand of TEST)4 × Denmark
3 × Italy
8 × USA
5 × United Kingdom
127 ×#logic
98 ×#proving
88 ×#verification
78 ×#named
65 ×#model checking
56 ×#satisfiability
49 ×#source code
47 ×#automation
45 ×#on the
42 ×#using
Vocabulary: 1259 wordsEvent series page: http://www.floc-conference.org
929 papers in 5 issues:
- 2010
Proceedings of the 22nd International Conference on Computer Aided Verification (CAV 2010)
Technical Communications of the 26th International Conference on Logic Programming (ICLP 2010)
Proceedings of the Fifth International Joint Conference on Automated Reasoning (IJCAR 2010)
Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010)
Proceedings of the 13th International Conference on Theory and Applications of Satisfiability Testing (SAT 2010)- 2006
- Proceedings of the 18th International Conference on Computer Aided Verification (CAV 2006)
- Proceedings of the 22nd International Conference on Logic Programming (ICLP 2006)
- Proceedings of the Third International Joint Conference on Automated Reasoning (IJCAR 2006)
- Proceedings of the 21th IEEE Symposium on Logic in Computer Science (LICS 2006)
- Proceedings of the Ninth International Conference on Theory and Applications of Satisfiability Testing (SAT 2006)
- 2002
Proceedings of the 18th International Conference on Automated Deduction (CADE 2002)- Proceedings of the 14th International Conference on Computer Aided Verification (CAV 2002)
- Proceedings of the 18th International Conference on Logic Programming (ICLP 2002)
- Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002)
- 1999
- Proceedings of the 16th International Conference on Automated Deduction (CADE 1999)
- Proceedings of the 11th International Conference on Computer Aided Verification (CAV 1999)
- Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science (LICS 1999)
- 1996
- Proceedings of the 13th International Conference on Automated Deduction (CADE 1996)
- Proceedings of the Eighth International Conference on Computer Aided Verification (CAV 1996)
- Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science (LICS 1996)
3 × Italy
8 × USA
5 × United Kingdom
127 ×#logic
98 ×#proving
88 ×#verification
78 ×#named
65 ×#model checking
56 ×#satisfiability
49 ×#source code
47 ×#automation
45 ×#on the
42 ×#using
Vocabulary: 1259 words
929 papers in 5 issues:
- 2010
- Proceedings of the 22nd International Conference on Computer Aided Verification (CAV 2010)
- Technical Communications of the 26th International Conference on Logic Programming (ICLP 2010)
- Proceedings of the Fifth International Joint Conference on Automated Reasoning (IJCAR 2010)
- Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010)
- Proceedings of the 13th International Conference on Theory and Applications of Satisfiability Testing (SAT 2010)
- 2006
- Proceedings of the 18th International Conference on Computer Aided Verification (CAV 2006)
- Proceedings of the 22nd International Conference on Logic Programming (ICLP 2006)
- Proceedings of the Third International Joint Conference on Automated Reasoning (IJCAR 2006)
- Proceedings of the 21th IEEE Symposium on Logic in Computer Science (LICS 2006)
- Proceedings of the Ninth International Conference on Theory and Applications of Satisfiability Testing (SAT 2006)
- 2002
- Proceedings of the 18th International Conference on Automated Deduction (CADE 2002)
- Proceedings of the 14th International Conference on Computer Aided Verification (CAV 2002)
- Proceedings of the 18th International Conference on Logic Programming (ICLP 2002)
- Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002)
- 1999
- Proceedings of the 16th International Conference on Automated Deduction (CADE 1999)
- Proceedings of the 11th International Conference on Computer Aided Verification (CAV 1999)
- Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science (LICS 1999)
- 1996
- Proceedings of the 13th International Conference on Automated Deduction (CADE 1996)
- Proceedings of the Eighth International Conference on Computer Aided Verification (CAV 1996)
- Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science (LICS 1996)