Next: Attività Seminariale
Up: Attività Scientifiche e Professionali
Previous: Partecipazione a Comitati Scientifici
- Anni accademici 1999/2000, 2000/2001, 2001/2002 e 2002/2003:
professore incaricato per il corso di Linguaggi e Traduttori
presso la Facoltà di Economia dell'Università di Trento.
- Anno accademico 2001/2002 e 2002/2003: professore incaricato per
il corso di Informatica Umanistica presso la Facoltà di
Lettere e Filosofia dell'Università di Trento.
- Agosto 2000: co-istruttore del corso dal titolo Contexts
and contextual reasoning: foundations, logics and applications
nell'ambito della 12th European Summer School in Logic,
Language and Information (ESSLLI'2000), Birmingham (UK). Corso
accettato formalmente dal Program Chair della scuola.
- Anni accademici 1998/99 e 1999/2000: responsabile del seminario
di credito su Il Calcolo della Deduzione Naturale per la Logica
Proposizionale valido per il corso di Logica 1998/99 tenuto dalla
Dott.ssa Francesca Castellani presso la Facoltà di Sociologia
dell'Università di Trento. Il seminario prevede l'utilizzo (via
web) del dimostratore automatico di teoremi GETFOL.
- Marzo - Giugno 1998: collaboratore al corso di Logica 1997/98
tenuto dalla dott.ssa Francesca Castellani presso la Facoltà di
Sociologia dell'Università di Trento. Durante il corso, è stato
usato un dimostratore automatico di teoremi (GETFOL) come
supporto tecnologico all'apprendimento della logica. Nominato membro
della commissione di esame del corso di Logica.
- Anno accademico 1997/98: collaboratore al seminario su Formalizzazione delle credenze in Filosofia del Linguaggio e
Intelligenza Artificiale nell'ambito del corso di Filosofia della
Scienza 1997/98 tenuto dal Prof. Giuliano Di Bernardo presso la
Facoltà di Sociologia dell'Università di Trento.
- Anno accademico 1996/97: membro della commissione di esame di
Fondamenti di Informatica.
- Luglio 1996: co-istruttore al corso dal titolo `` Introduction to Contextual Reasoning. An Artificial Intelligence
Perspective'' alla seconda International Summer School in
Cognitive Science (CogSci'96), Sofia, luglio 1996.
- Marzo - Giugno 1996: membro della commissione della Prova
di Informatica presso la Facoltà di Economia e Commercio
dell'Università di Trento.
- Ottobre 1994 - Gennaio 1995: attività di supporto alla
didattica nell'ambito del corso di Calcolo Automatico tenuto
dal Prof. Fausto Giunchiglia presso l'Università degli Studi di
Trento. Nominato membro della relativa commissione di esame.
- Ottobre 1993 - Gennaio 1994: attività di supporto alla
didattica nell'ambito del corso di Calcolo Automatico tenuto
dal Prof. Fausto Giunchiglia presso l'Università degli Studi di
Trento. Nominato membro della relativa commissione di esame.
Next: Attività Seminariale
Up: Attività Scientifiche e Professionali
Previous: Partecipazione a Comitati Scientifici
Paolo Bouquet
2003-06-26