Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Federated_Logic_Conference> ?p ?o. }
Showing items 1 to 27 of
27
with 100 items per page.
- Federated_Logic_Conference abstract "The Federated Logic Conference (FLoC) is an international conglomeration of several mathematical logic and computer science related academic conferences that deal with the intersection of the two fields. FLoC traditionally includes: Logic in Computer Science (LICS) Rewriting Techniques and Applications (RTA) International Joint Conference on Automated Reasoning (IJCAR) that itself conglomerates Conference on Automated Deduction (CADE), Theorem Proving in Higher-Order Logics (TPHOLs), and Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX).The first FLoC was held in 1996 at DIMACS; subsequently they have been held roughly every four years, and the fourth FLoC was held in August 2006 in Seattle, and merged ICLP and CAV in addition to the above conferences.".
- Federated_Logic_Conference wikiPageExternalLink vsl2014.at.
- Federated_Logic_Conference wikiPageExternalLink FLoC-06.
- Federated_Logic_Conference wikiPageExternalLink www.floc-conference.org.
- Federated_Logic_Conference wikiPageID "6543236".
- Federated_Logic_Conference wikiPageRevisionID "580102585".
- Federated_Logic_Conference hasPhotoCollection Federated_Logic_Conference.
- Federated_Logic_Conference subject Category:International_conferences_in_the_United_States.
- Federated_Logic_Conference subject Category:Logic_conferences.
- Federated_Logic_Conference subject Category:Theoretical_computer_science_conferences.
- Federated_Logic_Conference type Abstraction100002137.
- Federated_Logic_Conference type Conference108308497.
- Federated_Logic_Conference type Gathering107975026.
- Federated_Logic_Conference type Group100031264.
- Federated_Logic_Conference type InternationalConferencesInTheUnitedStates.
- Federated_Logic_Conference type LogicConferences.
- Federated_Logic_Conference type Meeting108307589.
- Federated_Logic_Conference type SocialGroup107950920.
- Federated_Logic_Conference type TheoreticalComputerScienceConferences.
- Federated_Logic_Conference comment "The Federated Logic Conference (FLoC) is an international conglomeration of several mathematical logic and computer science related academic conferences that deal with the intersection of the two fields.".
- Federated_Logic_Conference label "Federated Logic Conference".
- Federated_Logic_Conference sameAs m.0g9mqm.
- Federated_Logic_Conference sameAs Q5440687.
- Federated_Logic_Conference sameAs Q5440687.
- Federated_Logic_Conference sameAs Federated_Logic_Conference.
- Federated_Logic_Conference wasDerivedFrom Federated_Logic_Conference?oldid=580102585.
- Federated_Logic_Conference isPrimaryTopicOf Federated_Logic_Conference.