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
Rice University
FLoC'02, General Chair

Discount for Indefatigable Participants

• 50 EUR for students
• 100 EUR for delegates

Plenary and joint invited speakers

Plenary talk: Tuesday July 23rd 21:30-22:30 in room Restaurant Luftkastellet
Martin Davis, U California-Berkeley, USA
Alan Turing & the advent of the computer

Plenary talk: Friday July 26th 17:00-18:00 in auditorium 1
Hans-Olaf Henkel, Leibniz Association, Germany
Artificial intelligence: Disappointment or hope?

FCS, VERIFY Invited talk: Friday July 26th 09:00-10:30 in auditorium 6
Dieter Gollmann, Microsoft Research Cambridge, UK
Defining security is difficult and error prone

CADE, TABLEAUX Invited talk: Tuesday July 30th 11:30-12:30 in auditorium 3
Matthias Baaz, Vienna U of Techn., Austria
Proof analysis by resolution

RADM, PaPS Invited talk: Wednesday July 31st 14:00-15:00 in auditorium 8
John Harrison, Intel, USA
Extracting test problems from real applications

CADE, CAV Invited talk: Monday July 29th 09:00-10:00 in auditorium 1
Sharad Malik, Princeton U, USA
The quest for efficient Boolean satisfiability solvers

VERIFY, FCS Invited talk: Thursday July 25th 14:00-15:30 in auditorium 6
Fabio Massacci, U Trento, Italy
Formal verification of SET by Visa and Mastercard: Lessons for formal methods in security

IDAY Invited talk: Thursday July 25th 16:00-17:00 in auditorium 2
David Pearce, European Commission, Belgium
The EU's future and emerging technologies programme: New themes and instruments in the 6th framework programme

FME, LICS, RTA Invited talk: Monday July 22nd 08:55-09:55 in auditorium 1
Natarajan Shankar, SRI International, USA
Little engines of proof

HOR, WRS Invited talk: Sunday July 21st 14:00-15:00 in auditorium 5
Vincent van Oostrom, Utrecht U, The Netherlands
Optimal strategies in higher-order rewriting

RADM, PaPS Panel: Wednesday July 31st 16:00-17:30 in auditorium 8
Peter B. Andrews, Carnegie Mellon U, USA; Alan Bundy, U Edinburgh, UK; William McCune, Argonne National Laboratory, USA; and Rick Sommer, Stanford U, USA
Challenge problems for automated deduction (with special emphasis on mathematics)

FCS, VERIFY Panel: Friday July 26th 14:00-15:30 in auditorium 6
Ernie Cohen, Microsoft Research Cambridge, UK; Alan Jeffrey, DePaul U, USA; Fabio Martinelli, CNR Pisa, Italy; Fabio Massacci, U Trento, Italy; Catherine Meadows, Naval Research Laboratory, USA; and David Basin, U Freiburg, Germany
The future of protocol verification