Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

27-31 March 2006, FOSSACS 2006: Foundations of Software Science and Computation Structures, Vienna (Austria)

Date: 27-31 March 2006
Location: Vienna (Austria)

FOSSACS will present original papers on foundational research with a clear significance for software science. The conference focuses on on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.

For more information, see http://fossacs06.ru.is/

Please note that this newsitem has been archived, and may contain outdated information or links.