Order sorted computer algebra and coercions

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN017043 / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Lawyers in the media society : the legal challenges of the media society

acceptedVersio

Actes de la conférence JFLA 2009 (Vingtièmes Journées Francophones des Langages Applicatifs)

Ce fichier regroupe en un seul document l'ensemble des articles acceptés pour la conférence JFLA 2009.Pour la vingtième année consécutive, les Journées Francophones des Langages Applications sont l'occasion de se retrouver dans un cadre agréable et propice aux échanges conviviaux. Cette année, c'est à Saint-Quentin sur Isère, près de Grenoble, que nous nous réunissons, maintenant la tradition de l'alternance mer-montagne. Les neuf articles choisis par le comité de programme reflètent bien la diversité de notre communauté et les avancés tant du point de vue de l'application de langages fonctionnels que de la conception et de l'utilisation d'assistants à la preuve. Nous avons souhaité également inclure des articles plus proches de tutoriels ou de retours d'expérience, ceux-ci étant particulièrement adaptés au cadre pédagogique des Journées. Deux orateurs nous ont fait l'honneur d'accepter notre invitation. L'exposé de Vincent Balat, de l'université Paris 7, intitulé ≪ Ocsigen : approche fonctionnelle typée de la programmation Web ≫ illustre l'utilisation croissante de langages applicatifs dans des milieux inattendus. L'exposé de Bruno Barras, de Trusted Labs, intitulé ≪ Faut-il avoir peur de sa carte SIM ? ≫ présente l'application d'assistants à la preuve dans la modélisation de cartes à puces. Pour la quatrième année consécutive, deux sessions d'une demi-journée chacune sont consacrées à des cours. Le premier porte sur la modélisation de la linguistique (par Gérard Huet, de l'INRIA Paris - Rocquencourt) et le deuxième sur les bibliothèques Coq utilisées dans la preuve récente du théorème des quatre couleurs (par Assia Mahboubi, de l'INRIA Saclay - Île-de-France)

L'informatica giuridica in Italia. Cinquant'anni di studi, ricerche ed esperienze

Nel panorama editoriale nazionale mancava un volume che ricostruisse la storia dell'informatica giuridica (IG) in Italia, esigenza sentita da più parti anche fuori dai nostri confini. Partendo da questa constatazione, è nata l'idea di offrire, in un'opera collettanea, una panoramica sull'origine ed evoluzione dell'IG, in cui confluiscano i contributi dei veri protagonisti di questa storia. Il volume raccoglie infatti le riflessioni, le esperienze, i progetti del nostro Paese attraverso i maggiori esperti e le più importanti istituzioni che hanno lavorato attivamente allo sviluppo di questa disciplina, intesa nel significato di IG in senso stretto, o informatica del diritto. Per offrire uno sguardo oltre i confini nazionali, l'opera include, sotto forma di interviste, anche le riflessioni dei maggiori studiosi ed esperti provenienti dai cinque continenti. La parte finale è dedicata alle sfide e opportunità che i ricercatori dell'ITTIG - Istituto di Teoria e Tecniche dell'Informazione Giuridica del CNR individuano nel rapporto tra diritto e tecnologie informatiche. In questo lungo percorso, infatti, la storia dell'IG si intreccia con quella scientifica dell'Istituto che da sempre gioca un ruolo centrale nel contesto nazionale e internazionale. Il volume non vuole essere un manuale, ma una fonte di riferimento per tutti coloro che si interessano della materia. La trattazione dei vari argomenti ha infatti un taglio soprattutto storico, non rifuggendo dalle esperienze personali di ogni singolo autore. Si auspica che il lettore ricavi dall'opera non solo l'evoluzione storica dell'IG in Italia, ma anche lo spirito, l'atmosfera che aleggiava in quegli anni