Welcome

Location

Travel

Social Events

Accommodations

Registration and Accommodation Forms

Postscript

Plenary Invited Talks

"Design of a Proof Assistant", Gérard Huet

"Calculi for Interaction", Robin Milner

"Automated Deduction and Formal Methods", John Rushby

CADE: 13th International Conference on Automated Deduction

Introduction

Program

Workshops

Automated Theorem Proving System Competition

CAV: 8th International Conference on Computer-Aided Verification

Introduction

Program

LICS: 11th Annual IEEE Symposium on Logic in Computer Science

Introduction

Program

RTA: 7th International Conference on Rewriting Techniques and Applications

Introduction

Program

Pre-FLoC Workshops

Third International Workshop on Foundations of Object-Oriented Languages

DIMACS Workshop on Partial-Order Methods in Verification

DIMACS Workshop on Teaching Logic and Reasoning in an Illogical World

Post-FLoC Workshop

1996 SPIN Workshop

FLoC at a Glance

Entire advance program in postscript.