(December 2002 addendum: FLoC'02 is now long past, but we preserve this website for historical and reference purposes. Most text is preserved in the state it had on the last day of FLoC, except that some links to on-line papers and "next conferences" have been added to the individual submeeting pages. - The webmaster).
All CAV sessions moved to Auditorium 1
During the past thirty 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. 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), which brought together several synergistic conferences that apply logic to computer science. In 1999, FLoC was held for the second time, in Trento, Italy, including, in addition to its four constituent conferences, 15 workshops, two tutorials, and two keynote events.
I am now pleased to invite you to attend the Third Federated Logic Conference (FLoC'02), to be held in Copenhagen, Denmark, in July 2002, jointly hosted by the IT University of Copenhagen, the Technical University of Denmark and the University of Copenhagen. The conference will be held at the University of Copenhagen.
FLoC'02 consists of seven major conferences. Additional events are over 30 workshops, about a dozen plenary and invited talks, and three tutorial days. FLoC'02 promises to be an exciting scientific event. I hope to see you there.
Moshe Y. Vardi
Discount for Indefatigable ParticipantsDue to recently obtained external funding, participants who register for one of FME, LICS, or RTA and one of CADE, CAV, ICLP, or TABLEAUX are automatically entitled to a partial refund, to be issued during on-site registration. The refund will be
Plenary and joint invited speakers
talk: Friday July 26th 17:00-18:00 in auditorium 1
CADE, CAV Invited talk: Monday July 29th
09:00-10:00 in auditorium 1
VERIFY, FCS Invited talk: Thursday July
25th 14:00-15:30 in auditorium 6
IDAY Invited talk: Thursday July 25th 16:00-17:00 in
RADM, PaPS Panel: Wednesday July 31st
16:00-17:30 in auditorium 8
FCS, VERIFY Panel: Friday July 26th
14:00-15:30 in auditorium 6