Activities per year
Activities
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