Abstract:Oxford University was proud to host the Federated Logic Conference (FLoC), in July of 2018. FLoC is a meta-conference, which occurs every 4 years, with the 2018 edition bringing together 9 major conferences in the fields of logic and foundations of computer science. With 9 headline conferences, nearly 80 workshops, a summer school, a public lecture and a public debate in the Oxford Union (and a variety of social events), FLoC 2018 hosted over 2000 individuals between 30 June and 19 July. The stars of the show … Show more
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.