![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Federated Logic Conference (FLoC)
8th FLoC 2022: Haifa, Israel
- 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
6th FLoC 2014: Vienna, Austria
5th FLoC 2010: Edinburgh, UK
4th FLoC 2006: Seattle, WA, USA
- 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] - 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
2nd FLoC 1999: Trento, Italy
- 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] - 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.