During the past twenty five years there has been extensive, continuous, and growing
interaction between logic and computer science. In many respects, logic provides computer
science with both a unifying foundational framework and a tool for modeling computing
systems. In fact, logic has been called "the calculus of computer science'', playing
a crucial role in diverse areas such as artificial intelligence, computational complexity,
distributed computing, database systems, hardware design, programming languages, and
software engineering.
In 1996, as part of its Special Year on Logic and Algorithms, DIMACS hosted the first
Federated Logic Conference (FLoC'96).
It was modeled after the successful Federated Computer Research Conference (FCRC), and
brought together four synergetic conferences that apply logic to computer science:Conference on Automated Deduction (CADE)
Conference on Computer-Aided Verification (CAV)
IEEE Symposium on
Logic in Computer Science (LICS)
Conference on Rewriting Techniques and Applications (RTA)
I am now
pleased to invite you to attend the second Federated Logic Conference (FLoC'99), to be
held in Trento, Italy, in July 1999, hosted by ITC-IRST. In addition to its four
constituent conferences, FLoC'99 will include 15 workshops, two tutorials, and two keynote
events.
FLoC'99 promises to be an exciting scientific event.
I hope to see you there.
Moshe
Y. Vardi
Rice University
FLoC'99 General Chair |
