The FICS 2013 workshop is going to be held on September 1st 2013 in Torino, as a satellite event of CSL 2013.
Fixed points play a fundamental role in several areas of computer science. They are used to justify (co)recursive definitions and associated reasoning techniques. The construction and properties of fixed points have been investigated in many different settings such as: design and implementation of programming languages, logics, verification, databases.
The aim of this 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.
Accepted papers and programme
Thanks to EACSL, INRIA and UPEMLV which have agreed to sponsor FICS 2013! (More information)
Program committee is formed
Website is up
Stay tuned for upcoming information on the PC, invited speakers, etc.