CLE-CLC formal agreement
A formal agreement
between the Centre for Logic, Epistemology and the History of
Science - CLE of UNICAMP and the Center for Logic and
Computation-CLC of IST/UTL has been signed in 2005 by the rectors
of the State University of Campinas (UNICAMP, Brazil) and the
Technical University of Lisbon (UTL, Portugal). The agreement
aims to facilitate interchange between students and researches in
the ares of Combination of Logics and Foundations of Quantum
Computing.
Convênio de
Cooperação entre o CLE-Unicamp e o CLC-UTL
Foi assinado em 2005 o
Convênio de Cooperação entre o CLE-
Centro de Lógica, Epistemologia e História da
Ciência e o CLC- Centro
de Lógica e Computação. O convênio
(Processo 24P-22335/04) foi
assinado pelos reitores da UNICAMP (Brasil) e da UTL
(Portugal) como
termo aditivo ao já existente Acordo de
Cooperação entre ambas as
universidades, e pretende facilitar o intercâmbio de
estudantes e
pesquisadores dentro da área de pesquisa em
Combinações de Lógica e
Fundamentos da Computação Quântica. Seus
executores por parte da
UNICAMP são Walter Carnielli e Marcelo Coniglio (suplente).