Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Lo "Institute for Logic, Language and Computation" dell'Universit`a di Amsterdam
 

Summary: Lo "Institute for Logic, Language and
Computation" dell'Universit`a di Amsterdam
Marco Aiello
Dipartimento di Informatica e Telecomunicazioni
Via Sommarive 14 - 38050 Trento
Universit`a di Trento
aiellom@ieee.org
A febbraio di quest'anno (2002) ho concluso un dottorato di ricerca presso l'U-
niversit`a di Amsterdam su temi di teorie ed applicazioni per il ragionamento
spaziale. Si `e trattato di un progetto congiunto dello "Institute for Logic, Lan-
guage and Computation (ILLC)" e dello "Intelligent Sensory and Information
Systems" group. Di seguito presenter`o l'ILLC come ho avuto modo di conoscerlo
nei quattro anni di permanenza per il dottorato.
L'istituto, istituito ufficialmente nel 1986 come Instituut voor Taal, Logica
en Informatie (Istituto per la Linguistica, la Logica e l'Informatica), trae le sue
origini da un unione spontanea di membri delle facolt`a di matematica, informat-
ica e filosofia con l'obiettivo dichiarato di studiare la logica e le sue applicazioni
in matematica, informatica, filosofia e linguistica. Nel 1989 si aggiunge un grup-
po di linguisti computazionali dalla facolt`a di lettere. Nel 1991 l'istituto diventa
ufficialmente un istituto di ricerca dell'Universit`a di Amsterdam. Nel periodo

  

Source: Aiello, Marco - Institute for Mathematics and Computing Science, Rijksuniversiteit Groningen

 

Collections: Computer Technologies and Information Sciences