The Mathematical Logic Group in Lisbon
v.1.0
2011 > 2012
cmaf :: universidade de lisboa
The Mathematical Logic Group is part of CMAF (Centro de Matemática e Aplicações Fundamentais) a research center of the University of Lisbon, Portugal. The research interests of the group are diverse including: Model Theory, Proof Theory, Computation and Complexity, Set Theory, Philosophy and Foundations of Mathematics. See individual homepages for further information on particular member's interests.

Research Positions:

  • FCT Advanced Fellowships and Grants

    Days in Logic:

  • Days in Logic 2012, Évora (Portugal), February 6 - 8, 2012. This bi-annual conference aims at bringing together mathematicians, computer scientists and other scientists from Portugal (but also elsewhere) with interest in Logic. It is specially directed to graduate students. The previous editions were held in: Porto (2010), Lisboa (2008), Coimbra (2006), Braga (2004).

    Other Meetings:

  • Workshop on o-minimal preparation theorems (after van den Dries and Speissegger), Lisboa (Portugal), February 28-29, 2012.

    ___past meetings

    • Members:

  • Professor Fernando Ferreira
  • Professor Isabel Oitavem
  • Professor Mário Edmundo
  • Professor José Félix Costa
  • Professor Sergei Tupailo

    Research Fellows:

  • Doctor Alexander Usvyatsov
  • Doctor Tamara Servi
  • Doctor Ayhan Gunaydin
  • Doctor Janak Ramakrishinan
  • Doctor Gilda Ferreira
  • Doctor Marcello Mamino

    ___previous research fellows

    Collaborators:

  • Professor António Fernandes
  • Professor Charles Morgan
  • Professor Reinhard Kahle
  • Doctor Luís Pereira
  • Doctor Misha Protin
  • Doctor Patrícia Engrácia

    • The SLM (Seminário de Lógica Matemática) will take place on Thurdays, from 5pm to 6pm in room A2-25 of the Instituto de Investigação Interdisciplinar - Universidade de Lisboa. To complement the SLM we are running also the STM (Seminário de Teoria de Modelos) on Thursdays from 3pm to 4pm in room A2-25 of the Instituto de Investigação Interdisciplinar.

    ___seminars archive

    Advertisement of these meetings is sent to a mailing list. If you want to join this list send an e-mail to the current organizers Professors Fernando Ferreira and Mário Edmundo.
     
    ___cmaf ___other information   ___mathematical logic around the world