FICS 2013

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.

News

Accepted papers and programme

Check out the list of FICS'13 papers and the programme of a very busy day.

Invited speakers

Anuj Dawar, Nicola Gambino and Alexandra Silva will be giving invited talks at FICS'13. (More information)

Publication format

Proceedings will appear at EPTCS and a journal special issue will appear at Fundamenta Informaticae. (More information)

Sponsors

Thanks to EACSL, INRIA and UPEMLV which have agreed to sponsor FICS 2013! (More information)

Program committee is formed

Check it out.

Website is up

Stay tuned for upcoming information on the PC, invited speakers, etc.