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.

21-22 August 2010, 7th Workshop on Fixed Points in Computer Science (FICS 2010), Brno, Czech Republic

Date: 21-22 August 2010
Location: Brno, Czech Republic
Deadline: 20 June 2010

Fixed points play a fundamental role in several areas of computer science and logic by justifying induction and recursive definitions. The construction and properties of fixed points have been investigated in many different frameworks such as: design and implementation of programming languages, program logics, databases. The aim of the workshop is to provide a forum for researchers to present their results to those members of the computer science and logic communities who study or apply the theory of fixed points.

FICS-2010 is a satellite workshop to MFCS & CSL 2010. For more information, see http://www.lif.univ-mrs.fr/fics2010/

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