Share Your Research, Maximize Your Social Impacts
Main Menu
Searching By
PARTNERS
FICS 2012 - 8th Workshop on Fixed Points in Computer Science (FICS)
Topics/Call fo Papers
8th Workshop on Fixed Points in Computer Science (FICS)
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 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.
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 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.
Other CFPs
- 9th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA)
- Third International workshop on Developments in Implicit Computational complExity (DICE)
- 11th International Workshop on Coalgebraic Methods in Computer Science (CMCS)
- 7th Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode)
- First International Workshop on Bidirectional Transformations (BX)
Last modified: 2011-07-26 18:07:48