Universita` degli studi di Verona

Facolta` di Scienze FF. MM. NN.

Collaborazioni Erasmus 2000-2001


LONDRA, Gran Bretagna


Cooperazione Erasmus con il Dipartimento di Informatica dell'Universita' di Londra, Queen Mary and Westfield College

  • richieste 2 borse x 6 mesi, in Informatica ed Intelligenza Artificiale.

  • Offerti argomenti per TESI DI RICERCA: proof-search in bunched logics and linear logic

    Visitare i seguenti siti:

  • Dr. David Pym, il nostro principale referente al QMW; ed inoltre:

  • Prof. Edmund Robinson;

  • Dr. Pasquale Malacaria.

  • Il QMW College:

  • Accoglienza studenti esteri.

  • Come andare al Dipartimento?

  • Come trovare alloggio??

    PARIGI


    Cooperazione Erasmus con il LACL, Universita' di Parigi 12 (Laboratorio di Algoritmi, Complessita' e Logica).

  • richieste 4 borse x 4 mesi, in Informatica ed Intelligenza Artificiale.

  • Offerti argomenti di TESI DI RICERCA: ``Logica classica e complessita' computazionale''

    Visitare i seguenti siti:

  • Prof. Alessandra Carbone il nostro referente a Parigi 12; ed inoltre:

  • Prof. Anatol Slissenko

  • Prof. Gilbert Dhuime, insegna reti ed algoritmi distribuiti.

  • L'universita' di Parigi 12

    RENNES, Bretagna


    Cooperazione Erasmus con il Dipartimento di Informatica dell'Universita' di Rennes 1

  • richieste 2 borse x 4 mesi, in Informatica ed Intelligenza Artificiale.

  • Offerti argomenti per TESI DI RICERCA: logica lineare e sue applicazioni alla linguistica computazionale

    Visitare i seguenti siti:

  • Laboratorio di Ricerca del Dipartimento

  • Prof. Christian Retore' il nostro referente a Rennes.

  • Universita' di Rennes

  • La citta' di Rennes

  • La Bretagna

  • Una guida pratica per gli studenti

    BARCELLONA, Catalogna


    Cooperazione Erasmus con la Universitat Politecnica de Catalunya (Departament de Llenguatges i Sistemes Informa`tics.)

    Vedere anche Departament d'Arquitectura de Computadors.

  • richieste 2 borse x 6 mesi, in Informatica ed Intelligenza Artificiale.

  • Offerti argomenti di TESI DI RICERCA: ``Logica lineare e linguistica computazionale''

    Visitare i seguenti siti:

  • Prof. Glyn Morrill il nostro referente alla UPC, Dipartimento di Linguaggi e Sistemi.

  • Per informazioni su servizi linguistici, assistenza agli studenti stranieri, residenze universitarie:
    (in inglese) University Services (in catalano) Serveis Universitaris.


  • Classifica Studenti 1999-2000

  • Classifica Studenti 1999-2000