Quelques adresses liées au boulot

• Rewriting Home Page: http://rewriting.loria.fr/
• RTA Web Page: http://rewriting.loria.fr/rta/
• IFIP Working Group 1.6 on Term Rewriting: http://verify.rwth-aachen.de/IFIP-WG1.6/
• Projets
• NESSoS
• AVANTSSAR
• AVISPA
• PROUVE
• COWS
• LORIA
• The Pesto Group (former CASSIS Group)
• LORIA's Server
• SUNY at Stony Brook
• USB Computer Science Dept
• Stony Brook Home Page
• Communities
• SPECIF
• GDR Informatique Mathématique
• Association Française des Sciences et Technologies de l'Information
• Association for Automated Reasoning
• European Association for Programming Languages and Systems
• European Association for Theoretical Computer Science
• International Rough Set Society
• Caml Family
• The Caml Language
• Objective Caml
• Journals Information
• FI
• JAR
• JSC
• ACM SIGACT
• IJAR
• TSI