The Mathematical Logic Group in Lisbon
v.1.0
2009 > 2010
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 2010, Porto (Portugal), January 28 - 30, 2010. 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: Lisboa (2008), Coimbra (2006), Braga (2004).

    Other Meetings:

  • Workshop on Stability Related Issues, Lisboa (Portugal), October 15 - 16, 2009.
  • Workshop on Real Power Functions, Lisboa (Portugal), October 30, 2009.

    ___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 Pantelis Eleftheriou
  • Doctor Tamara Servi
  • Doctor Mircea Dan-Hernest
  • Doctor Ayhan Gunaydin

    ___previous research fellows

    Collaborators:

  • Professor António Fernandes
  • Professor Charles Morgan
  • Professor Reinhard Kahle
  • Doctor Luís Pereira
  • Doctor Gilda Ferreira

    Graduate Students:

  • Patrícia Engrácia

    • The SLM (Seminário de Lógica Matemática) will take place on Thurdays, from 6pm to 7pm in room 3.10 of Pavilhão de Matemática, IST. To complement the SLM we are running also the STM (Seminário de Teoria de Modelos) on Wednesdays from 3pm to 4pm in room B3-01 of Complexo 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