FOSSACS 2000 - Foundations of Software Science and Computation Structures


FOSSACS seeks papers which offer progress in foundational research with a clear significance for software science. A central issue is theories and methods which support the specification, transformation, verification, and analysis of programs and software systems. Topics covered are:

Program committee


Jerzy Tiuryn (PC chair),

Further Information:

Invited Speaker

Abbas Edalat, Imperial College, London