DM - Departamento de Matemática

Activities

Activities per year 2003 2015 2016 2017 2018 2020

• 28 Editorial activity
• 4 Participation in conference
• 2 Membership of board
• 1 Participation in workshop, seminar, course
• 7 More
  • 1 Membership of council
  • 1 Types of Award - Election to learned society
  • 1 Types of External academic engagement - Hosting an academic visitor
  • 1 Types of External academic engagement - Invited talk
  • 1 Types of External academic engagement - Membership of peer review panel or committee
  • 1 Types of External academic engagement - Research and Teaching at External Organisation
  • 1 Oral presentation

Activities per year

Search results

• ProfMat 2017

  António Manuel Dias Domingos (Organiser), José Manuel Leonardo de Matos (Organiser), Alexandra Rodrigues (Organiser), Cecília Monteiro (Organiser), Henrique Guimarães (Organiser), Mária Almeida (Organiser), Rui Candeias (Organiser) & António Almeida (Organiser)

  10 Apr 2017 → 12 Apr 2017

  Activity: Participating in or organising an event › Participation in conference

• In Memoriam: Richard Dedekind (1831 - 1916)

  Reinhard Kahle (Speaker)

  6 Oct 2016 → 8 Oct 2016

  Activity: Participating in or organising an event › Participation in conference

• Intuitionism, Computation, and Proof

  Reinhard Kahle (Invited speaker)

  10 Jun 2016 → 11 Jun 2016

  Activity: Participating in or organising an event › Participation in conference

• International Joint Conference on Automated Reasoning

  Reinhard Kahle (Member of programme committee)

  27 Jun 2016 → 2 Jul 2016

  Activity: Participating in or organising an event › Participation in conference