Web Links [Tag : FLoC]
1. FICS 2002
Fixed Points In Computer Science. Affiliated with LICS 2002. Copenhagen, Denmark; 20--21 July 2002.
Date Added: Apr 24, 2009 Hits: Rating: 0.00 Votes: 0
Category:
Random Site Quote:
Points In Computer Science
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. The aim of the workshop is to provide a
waiting for hand_moderation
waiting for hand_moderation
Date Added: Apr 24, 2009 Hits: Rating: 0.00 Votes: 0
Member Reviews
Visitor Ratings 
Google PR 2. CAV 2002
Conference on Computer-Aided Verification, part of the Federated Logic Conference FLoC'02. Copenhagen, Denmark; 27--31 July 31 2002.
Date Added: Apr 24, 2009 Hits: Rating: 0.00 Votes: 0
Category:
Random Site Quote:
Computer-AidedĀ Verification
All CAV sessions moved to Auditorium
the fourteenth in a series dedicated to the advancement of the theory and
practice of computer-assisted formal analysis methods for software and
hardware systems. The conference covers the spectrum from theoretical results
to
waiting for hand_moderation
waiting for hand_moderation
Date Added: Apr 24, 2009 Hits: Rating: 0.00 Votes: 0
Member Reviews
Visitor Ratings Google PR 3. CADE-18
Conference on Automated Deduction. Part of the Federated Logic Conference (FLoC'02). Copenhagen, Denmark; 27a30 July 2002.
Date Added: Apr 24, 2009 Hits: Rating: 0.00 Votes: 0
Category:
Random Site Quote:
is the major international forum at which research on all aspects
of automated deduction is presented. The first conference was held in
1974. Previous CADEs have been mostly biennial, and annual conferences
merged into one conference
The primary source of CADE-specific information is at
which
waiting for hand_moderation
waiting for hand_moderation
Date Added: Apr 24, 2009 Hits: Rating: 0.00 Votes: 0
Member Reviews
Visitor Ratings Google PR Main Category
Join Mailing List
Joining mailing list will entitle you
to receive occasional emails informing you of news and
updates to the site and any special offers that may be
of interest to you.
Top 10
Directory Statistics
Links: 229
Categories: 14
Pagerank Statistics
Yahoo News