 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Juliana Bueno -Research &Publication |
|
|
|
Addresses: |
|
|
|
Centre for Logic, Epistemology and the History of Science (CLE)
UNICAMP
C.P. 6133, 13083-970, Campinas, SP, BRAZIL
Phone: + (51) 19 3788 6518
Fax : + ( 51) 19 3289 3269
Center for Logic and Computation (CLC)
Departamento de Matem�tica
Instituto Superior T�cnico (IST)
Av. Rovisco Pais, 1049-001, Lisbon, PORTUGAL
Phone: + (351) 21 841 7144
Fax : + (351) 21 841 7048 / 7598
e-mail: Juliana Bueno |
|
|
|
|
|
|
|
Education |
|
|
|
1992 , Bachelor s degree on Mathematics.
UNESP-State University of S�o Paulo, Bauru, SP, Brazill
1984, High School
EEPG "Rafael de Moura Campos" Botucatu, SP (1984 - 1992)
ETESG "Dr. Domingos Minicucci Filho" Botucatu, SP (1993-1995) |
|
|
|
|
|
|
|
Publication |
|
|
|
Mastter Thesis (in course): Sem�ntica Alg�brica de Tradu��es Poss�veis , supervised by Prof. Marcelo Coniglio (IFCH and CLE, UNICAMP, Campinas) and co-supervised by Prof. Carlos Caleiro (CLC-IST, Lisbon). |
|
|
|
J. Bueno, M. E. Coniglio and W. A. Carnielli. Finite algebraizability via possible-translation semantics.Proceedings of CombLog 04 Workshop on Combination of Logics: Theory and Applications http://www.cs.math.ist.utl.pt/comblog04 |
|
|
|
J. Bueno, A Aritm�tica e a Indecidibilidade ( Arithmetics and undecidability , in Portuguese). Proceedings of the XII Congresso de Inicia��o Cient�fica, UNESP, ;Bauru, SP, Brazil, 2000. |
|
|
|
J. Bueno, Fun��es Recursivas e N�meros de G�del ; (Recursive functions and G�del numbers, in Portuguese). Proceedings of the XI Congresso de Inicia��o Cient�fica, UNESP, ;Bauru, SP, Brazil, 1999 |
|
|
|
|
|
|
|
Participation in Conferences |
|
|
|
XI Congress on Scientific Initiation,. UNESP, Campus de Araraquara, SP, 14th- 15th October, 1999 presenting the paper " Fun��es Recursivas e n�meros de G�del" |
|
|
|
XII Congress on Scientific Initiation,. UNESP- Campus of S�o Jos� do Rio Preto, SP,; 16th -20th October, 2000,presenting the paper "A Aritm�tica e a Indecidibilidade" |
|