Conferències i seminaris | Congressos | Grups de recerca | Publicacions | Persones Persones
Xavier Caicedo Ferrer (Colòmbia)
Altres activitats (conferències, seminaris)
Investigador visitant - Univ. de los Andes, Bogotá - Lògica [2/4/1997 - 30/4/1997]
Generic models for sheaves of structures, II (2/4/1997)
No en consta la data exacta
Investigador visitant - Univ. de los Andes, Bogotá - Lògica [2/4/1997 - 30/4/1997]
Generic models for sheaves of structures, I (2/4/1997)
No en consta la data exacta
Investigador visitant - Univ. de los Andes, Bogotá - Lògica [2/4/1997 - 30/4/1997]
Modelos con automorfismos en lógica abstracta (2/4/1997)
No en consta la data exacta
(desconegut -data aproximada) - ? - [1/1/2002 - ]
Cuantificadores y juegos de información imperfecta (1/1/2002)
Dins el Seminari de Lògica organitzat per ICREA, la Univ. Barcelona i la Univ. Politècnica Catalunya. No en consta la data exacta
(desconegut -data aproximada) - ? - [1/1/2002 - ]
Conectivos implícitos del cálculo intuicionista (1/1/2002)
Dins el Seminari de Lògica organitzat per ICREA, la Univ. Barcelona i la Univ. Politècnica Catalunya. No en consta la data exacta