|
|
|
 |
 National Science
Foundation Award #0629001 |
 |
|
|
Support for Federated Logic Conference |
| |
| Investigator(s): |
Lydia Kavraki (PI)
|
| Sponsor: |
William Marsh Rice University, TX 77005 7133484820
|
| Start Date/Expiration Date |
2006-07-01 to 2007-06-30 (amended 2006-05-03) |
| Awarded Amount to Date: |
$25,000 |
| Abstract: ABSTRACT
0629001
Kavraki, Lydia
William Marsh Rice U
Support for Federated Logic Conference
In 1996, as part of the Special Year on Logic and Algorithms, DIMACS hosted the first Federated Logic Conference (FLoC). It was modeled after the successful Federated Computer Research Conference (FCRC), and synergetically brought together conferences that apply formal methods to computer-science problems. The second Federated Logic Conference (FLoC'99) was held in Trento, Italy, in July 1999, and the third Federated
Logic Conference (FLoC'02) was held in Copenhagen, Denmark in July2002. It consisted of seven major conferences and 35 workshops, attracting about 900 participants. The fourth Federated Logic Conference, will be held in Seattle, Washington, in August 2006. The following conferences will participate in FLoC'05:
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)
Intellectual Merit:
The federated logic conference is a back-to-back event of all the major international conferences in the area of Formal Methods. 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.
Broad Impact:
Enhancing the security, privacy, usability, and reliability of computing systems is widely accepted as one the grand challenges facing the computing-research community. 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. |
|
| NSF Org: |
CCF - Division of Computer and Communication Foundations |
| Award Number: |
0629001 |
| Award Instrument: |
Standard Grant |
| Program Manager: |
Sol J. Greenspan
CCF Division of Computer and Communication Foundations
CSE Directorate for Computer & Information Science & Engineering
|
| NSF Program(s): |
COMPUTING PROCESSES & ARTIFACT, FOUNDATIONS, THEORETICAL FOUNDATIONS (TF) |
| Field Application(s): |
Computer Science |
| Program Reference Code(s): |
BASIC RESEARCH & HUMAN RESORCS, 9218
COMPUTING PROCESSES & ARTIFACT, 7352
CONFERENCE AND WORKSHOPS, 7556 |
| Program Element Code(s): |
7352
FOUNDATIONS, 1268
THEORETICAL FOUNDATIONS (TF), 7351 |
|
|
| |
 |
|
|
|
|
|
|
|
