Legislation tethnique: the italian situation. / Norma-database: a relational database for handling and consolidating legal texts. / Non-classical automated theorem-proving for legal reasoning. / SGML applications to legal information. / L’informatisation du droit: reflexions sur l’evolution des techniques d’ecriture de l’etat. / Actions and stable semantics for legal norms. / Hypermedia for the law: new communication models. / Models of “integrated intelligent systems” for law. / The lawyer in technological society. / Forms and legal informatics. / Ideality and subideality from a computational point af view. / Notes on lawgicism: formalization and legal knowledge. / Law, logical and language in legal computer science. / Italian law as a mathematical category and categorical development of computer system in law. / Argumentation framework: the missing link between arguments and procedure. / Exploratory data analysis as a means of structuring legal knowledge of concepts and documents. / A methodology for the representation of legal knowledge: formal ontology applied to law. / The logical structure of legal meta-inference. / Contents of 17th IVR World Congress Proceedings.