Grupo de Trabalho em Questões Lógicas

2010

| 9 Dezembro, 15h00, C6.2.38 FCUL
“On Intuitionistic NF”
(continuation)
Sergei Tupailo (CMAF - Uni. Lisboa)

| 2 Dezembro, 15h00, C6.38 Faculdade de Ciências
“On Intuitionistic NF”
(continuation of the GTQL seminar of November 25)
Sergei Tupailo (CMAF - Uni. Lisboa)

| 25 de Novembro, 15h00 Sala A2-25
“On Intuitionistic NF”
Sergei Tupailo (CMAF - Univ. Lisboa)

| 24 de Junho, 14h00 Sala 1-01
“The method of local predicativity”
Sergei Tupalio (CMAF)

| 17 de Junho, 14h00 Sala B1-01
“The method of local predicativity”
Sergei Tupailo (CMAF)

| 20 de Maio, 14h00 Sala B1-01
“A Topos theoretic model for intuitionistic analysis"
(continuation from the GTQL seminar of May 6)
Misha Protin (Instituto Superior Técnico)

| 6 de Maio, 14h00 Sala B1-01
“A Topos theoretic model for intuitionistic analysis”
(continuation from the GTQL seminar of April 29)
Misha Protin (Intituto Superior Técnico)

| 29 de Abril, 14h00 Sala B1-01
“A Topos theoretic model for intuitionistic analysis”
(continuation from the GTQL seminar of April 22)
Misha Protin (IST, Lisboa)

| 8 de Abril, 14h00 Sala B1-01
“A Topos theoretic model for intuitionistic analysis”
(continuation from the GTQL seminar of March 25)
Misha Protin (IST, Lisboa)

| 18 de Março, 14h00 Sala A2-25
“On the consistency of NF”
(continuation from the GTQL seminar of March 4)
António Fernandes (CMAF)

| 11 de Março, 14h00 Sala A2-25
"A Topos theoretic model for intuitionistic analysis"
Misha Protin (Instituto Superior Técnico, Lisboa)

| 4 de Março, 14h00 Sala B2-01
"On the consistency of NF" (continuation from the WGLQ seminar of February 24)
António Fernandes  (CMAF, Univ. Lisboa)

| back to Seminars and Conferences