Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Federated Logic Conference (FLoC)

> Home > Conferences and Workshops

Venue statistics

records by year

document access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

frequent authors

Venue Information

has part (2006): International Workshop on Bounded Model Checking (BMC)
has part (1999): Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (Calculemus)
has part: International Conference on Computer Aided Verification (CAV)
has part (2002): International Workshop on Computational Logic in Multi-Agent Systems (CLIMA)
has part: IEEE Computer Security Foundations Symposium (CSF)

has part (2002, 2018): International Symposium on Formal Methods (FM)
has part: International Conference on Formal Structures for Computation and Deduction (FSCD)
has part (2006): International Workshop on Hybrid Logic (HyLo)
has part: International Joint Conference on Automated Reasoning (IJCAR)
has part (2002): Workshop on Intersection Types and Related Systems (ITRS)
has part (2002): International Workshop on Logical Frameworks and Meta-Languages (LFM)
has part (2006): International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP)
has part: ACM/IEEE Symposium on Logic in Computer Science (LICS)
has part (2002): International Refinement Workshop (Refine)
has part: International Conference on Rewriting Techniques and Applications (RTA)
has part (2006): International Workshop on Rule-Based Programming (RULE)
has part (2002): International Conference on Runtime Verification (RV)
has part (2006): International Workshop on Satisfiability Modulo Theories (SMT)
has part (2006): Workshop on User Interfaces for Theorem Provers (UITP)
has part (2002, 2006): ERROR: cannot read related id="streams/iconf/wrs"

8th FLoC 2022: Haifa, Israel

FLoC 2022 Home Page

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-05360
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-05360
Pedro Quaresma, João Marcos, Walther Neuper:
Proceedings 11th International Workshop on Theorem Proving Components for Educational Software, ThEdu@FLoC 2022, Haifa, Israel, 11 August 2022. EPTCS 375, 2023 [contents]

7th FLoC 2018: Oxford, UK

FLoC 2018 Home Page

6th FLoC 2014: Vienna, Austria

FLoC 2014 Home Page

5th FLoC 2010: Edinburgh, UK

FLoC 2010 Home Page

4th FLoC 2006: Seattle, WA, USA

FLoC 2006 Home Page

- view
- export record
  dblp key:
  - conf/floc/2006tv
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/floc/2006tv
Ganesh Gopalakrishnan, John O'Leary:
Proceedings of the Thread Verification Workshop, TV@FLoC 2006, Seattle, WA, USA, August 21-22, 2006. Electronic Notes in Theoretical Computer Science 174(9), Elsevier 2007 [contents]
- view
- export record
  dblp key:
  - conf/floc/2006vd
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/floc/2006vd
Roderick Bloem, Marco Roveri, Fabio Somenzi:
Proceedings of the Workshop on Verification and Debugging, V&D@FLoC 2006, Seattle, WA, USA, August 21, 2006. Electronic Notes in Theoretical Computer Science 174(4), Elsevier 2007 [contents]

3rd FLoC 2002: Copenhagen, Denmark

FLoC 2002 Home Page

2nd FLoC 1999: Trento, Italy

FLoC 1999 Home Page

- view
- export record
  dblp key:
  - conf/floc/1999rsa
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/floc/1999rsa
Lars Birkedal, Jaap van Oosten, Giuseppe Rosolini, Dana S. Scott:
Tutorial Workshop on Realizability Semantics and Applications, associated to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, June 30 - July 1, 1999. Electronic Notes in Theoretical Computer Science 23(1), Elsevier 1999 [contents]
- view
- export record
  dblp key:
  - conf/floc/1999smc
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/floc/1999smc
Alessandro Cimatti, Orna Grumberg:
First International Workshop on Symbolic Model Checking, SMC 1999, associated to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, July 6, 1999. Electronic Notes in Theoretical Computer Science 23(2), Elsevier 1999 [contents]

1st FLoC 1996: Piscataway, NJ, USA

FLoC 1996 Home Page

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.