Home
Overview
Publications
Lectures and Talks
Software
Related links
 
 
People
Alessandro Armando
 
Silvio Ranise
 
 
 
Affiliation
AI-Lab
DIST
Università di Genova

The Constraint Contextual Rewriting Project: Related links


Projects

Calculemus    Calculemus
Prosper    Proof and Specification Assisted Design Environments
STAR    The STAR Project

People

Cesare Tinelli at the University of Iowa

Conferences

IJCAR 2001    IJCAR 2001 (International Joint Conference on Automated Reasoning, 2001)
FM-TOOLS 2000    FM-TOOLS 2000 (The 4th Workshop on Tools for System Design and Verification)
CADE 17    CADE 17 (International Conference on Automated Deduction, 2000)
FroCos'2000    FroCos'2000 (Workshop on Frontiers of Combining Systems, 2000)

[ Home | Overview | Publications | Lectures and Talks | Software | Related links ]


This web site is maintained by the AI-Lab webmaster.
Last updated: 14-Dec-2006