Web Links [Tag : 02]
1. CSL'02
Annual Conference of the European Association for Computer Science Logic. Edinburgh, Scotland, UK; 22--25 September 2002.
Date Added: Apr 24, 2009 Hits: Rating: 0.00 Votes: 0
Category:
Random Site Quote:
Annual Conference of the European Association
for Computer Science Logic
The photos from CSL'02 are back online.
Last modified: Thu Jul 17 23:23:11 BST 2003
September 22-25, 2002, Edinburgh, Scotland
Computer Science Logic (CSL) is the annual conference of the
(EACSL). The conference is
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. 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 3. PEPM'02
ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation. Preceding POPL'02. Portland, Oregon, USA; 14--15 January 2002.
Date Added: Apr 24, 2009 Hits: Rating: 0.00 Votes: 0
Category:
Random Site Quote:
2002 ACM SIGPLAN Workshop on
Partial Evaluation and Semantics-Based Program Manipulation (PEPM'02)
Portland, Oregon, USA, January 14-15, 2002
The PEPM'02 workshop will bring together researchers working in the
areas of semantics-based program manipulation, partial evaluation, and
program
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 4. 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 5. 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 6. MPSOC'02
Summer School, Application-Specific Multi-Processor System On Chip. ChA?teau de Pizay, France; 8--12 July 2002.
Date Added: Apr 24, 2009 Hits: Rating: 0.00 Votes: 0
Category:
Random Site Quote:
and IST in the frame of IST project
Grenoble, France & Wayne H. Wolf,
- 12 July 2002, Château de Pizay, France
principal objective of this course is to study the emerging areas of Application-Specific
Multi-Processor System-on-Chip (SoC). The main idea is to gather key R
& D
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