| Seminário de Lógica Matemática | |||||||||||||||||||||
|
v.1.0 |
|||||||||||||||||||||
| 2006 > 2007 | |||||||||||||||||||||
| fcul :: ist | |||||||||||||||||||||
| O Seminário de Lógica Matemática (SLM) decorre este ano no Complexo II. As sessões são às quintas-feiras às 18:00 na sala A2.25. |
Anúncios dos seminários são regularmente enviados para uma mailing list. Se pretende fazer parte dessa lista, envie um e-mail a um dos organizadores, dando conta do seu interesse.
Se por alguma razão não quiser continuar a receber anúncios do SLM, envie um e-mail a um dos organizadores |
O Seminário de Lógica Matemática (SLM) nasceu no ano lectivo de 1989/1990, fruto duma iniciativa conjunta de Fernando Ferreira (CMAF/FCUL) e Narciso Garcia (CLC/IST) sob a os auspícios dos Departamentos de Matemática da Faculdade de Ciências da Universidade de Lisboa e do Instituto Superior Técnico. O SLM é um fórum de comunicação e formação científica de temas da Lógica Matemática e, subsidiariamente, de temas afins como a Filosofia da Matemática e as Ciências da Computação. |
|||||||||||||||||||
| ___próximo seminário | ___organizadores | ___grupo de lógica matemática | |||||||||||||||||||