Logic List Mailing Archive

XIV Brazilian Logic Conference, Rio de Janeiro, Brazil, April 2006

XIV Brazilian Logic Conference Itatiaia, Rio de Janeiro, Brazil
April 24--28, 2006

Topics for this meeting include: algebraic logic, logic and computation,
history of logic, logic and education, model theory, non-classical logics,
philosophy of formal sciences, and set theory. This event will also
celebrate the centennial of the birth of Kurt G?del. The members of the
Program Committee are: X. Caicedo, W. Carnielli, O. Chateaubriand, J.C.
Cifuentes, R. Cignoli, M.E. Coniglio, N. da Costa, J.J. da Silva, I.L. D'
Ottaviano, C. Di Prisco, N.G. Gomes, D. Krause, R. Lewin, T. Pequeno, R.
de Queiroz, M. Ruffino, and P. Veloso. The members of the Organizing
Committee include: O. Chateaubriand (Chair), M. Correa, E.H. Haeusler, G.
Hamazaki, and L.C. Pereira. The deadline for submission of contributed
talks is January 15, 2006. For further information, send email to
XIVEBL@inf.puc-rio.br, or visit the website below.

http://XIVEBL.inf.puc-rio.br/