The Federated Logic Conference (FLoC)is a back-to-back event of all the major international conferences in the area of Formal Methods. These include: Conference on Computer-Aided Verification (CAV) International Conference on Logic Programming (ICLP) International Joint Conference on Automated Reasoning (IJCAR) IEEE Symposium on Logic in Computer Science (LICS) Conference on Rewriting Techniques and Applications (RTA) International Conference on Theory and Applications of Satisfiability Testing (SAT)
While the participating conferences are normally held individually by their local conference organization on an annual basis, they all agree to this joint and federated event to be held every three-four years. The number of participants is near one thousand, and a third to one half of the participants are expected to be young researchers. To ensure that US-based students are able to attend, this grant provides travel support. The Federated Logic Conference brings together the following major events in Formal Methods, ranging from theory to applications in computer science and software engineering. The support is provided through cooperation of CISE directorate's computer science theory and software science/engineering programs, as well as the MPS directorate's mathematical sciences division. Support for these foundational topics is important to enhance research in many areas, including the security, privacy, usability, and reliability of computing systems. Formal Methods have emerged as one of the primary approaches towards that goal. A federated conference provides an opportunity for accelerating research via synergy between the different strands of research in Formal Methods. It is also an outstanding training opportunity for young researchers, as it offers them a grand view of the whole area. Support for this grant is provided cooperatively from the NSF directorates of Computer & Information Science and Engineering and Mathematical and Physical Sciences.
The purpose of this grant was to provide funds for travel grants US graduate student attendees of the 2010 Federated Logic Conference (FLoC'10), which took in Edinburgh, Scotland, during July 9-21, 2010. FLoC'10 consisted of eight major conference in computational logic: Int'l Conference on Computer Aided Verification, Computer Security Foundations Symposium, Int'l Conference on Logic Programming, Int'l Joint Conference on Automated Reasoning, Int'l Conference on Interactive Theorem Proving, IEEE Symposium on Logic in Computer Science, Conference on Rewriting Techniques and Applications, and Int'l Conference on Theory and Applications of Satisfiability Testing. The eight major conferences were accompanied by 50 workshops. For details, see www.floc-conference.org/index.html. FLoC'10 was attended by about 1250 participants, about 300 of which were students. Support funds were provided to selected students to cover expenses involved in attending the conference; 39 students were supported. (62 non-US students were supported from FLoC's budget.) The supported students were able to participate in a unique meeting, which takes place only once in four years. All major researchers in computational logic participate in FLoC. The list of invited speakers at FLoC is a list of luminaries. The students got exposed to cutting-edge research. They also got to numerous graduate students from all over the world, establishing connections that would help them in launching their research careers. The reports from the students indicate that they found FLoC'10 to be a transformative experience.
