Proceedings 8th Workshop on Fixed Points in Computer Science

Details Proceedings 8th Workshop on Fixed Points in Computer Science Proceedings 8th Workshop on Fixed Points in Computer Science

2012-02-14

arxiv.org/abs/1202.3174v1

EPTCS 77, 2012

Computer Science

Logic in Computer Science

For more information about FICS 2012, please visit the webpage of the conference: http://www.inf.u-szeged.hu/fics2012/

Scientific paper

10.4204/EPTCS.77

This volume contains the proceedings of the Eighth Workshop on Fixed Points in Computer Science which took place on 24 March 2012 in Tallinn, Estonia as an ETAPS-affiliated workshop. Past workshops have been held in Brno (1998, MFCS/CSL workshop), Paris (2000, LC workshop), Florence (2001, PLI workshop), Copenhagen (2002, LICS (FLoC) workshop), Warsaw (2003, ETAPS workshop), Coimbra (2009, CSL workshop), and Brno (2010, MFCS-CSL workshop). 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, and 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.

Affiliated with

Also associated with

No associations

Rating

Proceedings 8th Workshop on Fixed Points in Computer Science does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Proceedings 8th Workshop on Fixed Points in Computer Science, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Proceedings 8th Workshop on Fixed Points in Computer Science will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-556031