Próximos Eventos

Financiado através dos seguintes projetos:

PEst-OE/MAT/UI0297/2011
PEst-OE/MAT/UI0297/2014
UID/MAT/00297/2013

Seminários

Orador: Alexander Zakharov (Centro de Matemática da Universidade do Porto)

Dia e hora: 27/11/2017, segunda feira, às 14h

Local: Sala de seminários, ed. VII, FCT-UNL

22-11-2017

Orador: José Reis

Dia e hora: 06/11/2017, segunda feira, às 14h

Local: Sala de seminários, ed. VII, FCT-UNL

01-11-2017

16/10/2017, 14h (Seminário): "Mechanical procedures - What is the concept of computation?"

17/10/2017, 14h: "Natural deduction in bi-directional ways"

20/10/2017, 13h: "Natural formalization - The Cantor-Bernstein Theorem derived in ZF"

23/10/2017, 14h: "Automated search for Gödel's Theorems"

16-10-2017

Orador: Maria Manuel Torres (FCUL)

Dia e hora: 06/06/2017, terça feira, às 14h

Local: Sala de seminários, ed. VII, FCT-UNL

01-06-2017

Orador: Manuel Delgado (Departamento de Matemática da FCUP / Centro de Matemática da Universidade do Porto)

Dia e hora: 23/05/2017, terça feira, às 14h

Local: Sala de seminários, ed. VII, FCT-UNL

17-05-2017

Orador: Duarte Ribeiro

Data: 21/03/2017

Hora: 14h

Local: Sala de seminários, ed. VII

21-03-2017

Orador: Robert Gray (School of Mathematics, University of East Anglia, UK)

Dia e hora: 07/03/2017, terça feira, às 14h

Local: Sala de seminários, ed. VII, FCT-UNL

02-03-2017

Seminário conjunto de Análise/Álgebra e Lógica

Orador: Charles Johnson (Dept. of Mathematics, College of William and Mary, USA)

Dia e hora: 21/02/2017, terça feira, às 14h

Local: Sala 1.5, ed. VII, FCT-UNL

16-02-2017

Orador: João Cabral

Data: 14/02/2017

Hora: 14h

Local: Sala de seminários, ed. VII, FCT-UNL

11-02-2017

Orador: Jörg Koppitz (Institute of Mathematics, Potsdam University)

07/02/2017, terça-feira, 14h-15h

08/02/2017, quarta-feira, 10h-12h

Local: Sala de seminários, ed. VII, FCT-UNL

03-02-2017

Orador: Tiwadee Musunthia (Silpakorn University)

Dia e hora: 31/01/2017, terça feira, às 14h

Local: ***Sala 213, ed. I (sala de seminários do dept. de física), FCT-UNL***

26-01-2017

Orador: Ilinka Dimitrova (Faculty of Mathematics and Natural Science, South-West University "Neofit Rilski", Bulgaria)

Dia e hora: 24/01/2017, terça feira, às 14h

Local: ***Sala 213, ed. I (sala de seminários do dept. de física), FCT-UNL***

19-01-2017

Orador: Benjamin Alarcón Heredia (CMA, FCT-UNL)

Dia e hora: 17/01/2017, terça feira, às 14h

Local: ***Sala 213, ed. I (sala de seminários do dept. de física), FCT-UNL***

12-01-2017

Orador: Olga Azenhas (CMUC, Universidade de Coimbra)

Data: 13/12/2016

Hora: 14h

Local: Sala de seminários, ed. VII, FCT-UNL

07-12-2016

Orador: Thomas S. Blyth (University of St Andrews, UK)

Dia e hora: 06/12/2016, terça feira, às 14h

Local: Sala de seminários, Ed. VII, FCT-UNL

29-11-2016

Orador: Tara Brough (CEMAT, Universidade de Lisboa)

Data: 22/11/2016

Hora: 14h

Local: Sala de seminários, Ed. VII, FCT-UNL

22-11-2016

Orador: Herberto Silva (CMA/FCT-UNL)

Data: 15/11/2016

Hora: 14h

Local: Sala de seminários, Ed. VII, FCT-UNL

15-11-2016

Orador: Alan J. Cain (CMA/FCT-UNL)

Data: 8/11/2016

Hora: 14h

Local: Sala de seminários, Ed. VII, FCT-UNL

08-11-2016

Orador: Gabriele Pulcini (CMA/FCT-UNL)

Data: 25/10/2016

Hora: 14h

Local: Sala de seminários, Ed. VII, FCT-UNL

21-10-2016

Orador: Reinhard Kahle (CMA e DM, FCT-UNL)

Data: 18/10/2016

Hora: 14h

Local: Sala de seminários, Ed. VII, FCT-UNL

13-10-2016

Orador: Markus Pfeiffer (Univ. of St Andrews, UK)

Data: 19/07/2016

Hora: 14h

Local: Sala de Seminários, Ed. VII, FCT-UNL 

18-07-2016

Orador: Richard Thomas (Department of Computer Science, University of Leicester, UK)

Data: 28/06/2016

Hora: 14h

Local: Sala de Seminários, Ed. VII

11-07-2016

Orador: Henrique Cruz (Universidade da Beira Interior)

Data: 07/06/2016

Hora: 14h

Local: Sala de Seminários, Ed. VII

11-07-2016

Orador: André Oliveira

Data: 24/05/2016

Hora: 14h

Local: Sala de Seminários

11-07-2016

Orador: João Araújo, Universidade Aberta & CEMAT, Portugal

Data: 30/5/2016

Hora: 13h30m-16h

Local: Laboratório 2.6, Ed. VII, FCT-UNL

30-05-2016