Pedro Quaresma - Home page

Pedro

Quaresma

Bem Vindo a minha página inicial, ainda e sempre em construção

Events 2020

IJCAR 2020, International Joint Conference on Automated Reasoning, Paris, France, 29th June - 2nd July 2020.
ThEdu'20, 9th International Workshop on Theorem proving components for Educational software, 29 June, at IJCAR 2020, Paris, France.
ECM 2020, 8th European Congress of Mathematics, Portoroz, Slovenia, 5 - 11 July 2020.
ADG 2020, 13th International Workshop on Automated Deduction in Geometry, Hagenberg, Austria, 13-15 July, 2020.
CIFMA-2020, 2nd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications Amsterdam, The Netherlands, 14 September 2020 Co-located with SEFM 2020.
8IMM, 8th Iberian Mathematical Meeting, Institute of Mathematics of the University of Seville, 7-9 October 2020.

Research/Investigação:

CISUC, Centre for Informatics and Systems, University of Coimbra.
Research Interests
- Automated Reasoning in Geometry
- Internet Accessible Mathematical Computation
- Criptografia.
List of Publications.
Member of Sociedade Portuguesa de Matemática and Association for Automated Reasoning
DBLP profile - Google Scholar profile - ResearchGate .

Conferences (organization) / Conferências

2019: ThEdu'19, 8th International Workshop on Theorem proving components for Educational software, August 2019, Natal, Brazil.
2018: CADGME 2018, Conference on Digital Tools in Mathematics Education, 25-29 June 2018, Coimbra, Portugal - Chair ; ThEdu'18, 7th International Workshop on Theorem proving components for Educational software, July 2018, Oxford, UK (at FLOC 2018) - co-chair.
2017: ThEdu'17, 6th International Workshop on Theorem proving components for Educational software, 6 Aug 2017, Gothenburg, Sweden (at CADE26) - Co-Chair.
2016: IJCAR 2016, 27 June - 2 July, 2016, Coimbra, Portugal - Chair ; UITP'16, 2 July, 2016, Coimbra, Portugal (at IJCAR2016) - Co-Chair ; ThEdu'16, July 25, 2016, Bialystok, Poland (at CICM 2016) - Co-Chair.
2015: CiEMeLP 2015,28 a 31 de Outubro de 2015 em Coimbra, Portugal - Local Organization ; ThEdu'15, July 13-17, 2015, Washington DC, USA (at CICM 2015) - Co-Chair.
2014: NLSR 2014, a FLoC Workshops, affliated to RTA-TLCA joint conference, July 18, 2014, Vienna, Austria - Co-Chair ; CICM 2014, 7-11 July 2014, University Coimbra, Portugal - Local Chair ; ADG 2014, 9-11 July 2014, University of Coimbra, Portugal - Local Chair ; ThEdu'14, University of Coimbra, Portugal (at CICM 2014)- Co-Chair.
2013: Logic Colloquium 2013, July 22-27, 2013, Évora, Portugal - Local Organization ; ThEdu'13, July 10, 2013, University of Bath, Bath, England (at CICM 2013) - Co-Chair.
2011: THedu'11, July 31 2011, Wroclaw, Poland, (at CADE 23) - Co-Chair.
2009: CSL 09, 7-11 September 2009, Coimbra, Portugal - Co-Chair ; PPDP 2009, 7-9 September 2009, Coimbra, Portugal - Local Organization; LOPSTR 2009, 9-11 September 2009, Coimbra, Portugal - Local Organization ; FICS 2009 12-13 September 2009, Coimbra, Portugal, Gentzen Centenary, 12 September 2009, Coimbra, Portugal, Linearity, 12 September 2009, Coimbra, Portugal (at CSL 2009) - Local Organization.
2003: Advanced School and Workshop on Soft Computing and Complex Systems , Coimbra, 23-27 June 2003 - Co-Chair.

Projects / Projectos

TGTP, Thousand of Geometric problems for geometric Theorem Provers
GeoThms, "Geometry Framework" & GCLC, construções em Geometria Euclidiana.
Web Geometry Laboratory, Laboratório na Rede, para a Aprendizagem da Geometria.

Mini-Olimpíadas Portuguesas de Matemática

Classes/Docência; Acções de Formação; Exposições:

Ano Lectivo 2020/2021
- Métodos Programação II (1º Semestre)
- Programação Orientada para os Objectos, (1º Semestre)
- Programação Avançada, (1º Semestre)
- Introdução à Criprografia, Universidade Agostinho Neto, Angola, 2º Semestre, 2021.
Disciplinas já leccionadas
- Algoritmos e Estruturas de Dados II, 2002/2003; Bases de Dados, 2011-2015, 2016-2019; Códigos e Criptografia, 2010/2011, 2012/2013; Compiladores, 2004/2005; Computabilidade e Complexidade, 2011/2012; Especificação e Verificação, 2004/2005; Fundamentos e Organização de Computadores, 2003/2004; Introdução aos Computadores e Programação, 2001/2002; Métodos de Programação, 1998/1999; Métodos de Programação I, 2003/2004, 2015/2016, 2017/2018; Métodos de Programação II, 2003/2004; 2018-2020; Programação Avançada, 2010/2011, 2013-2019; Programação Funcional, 2008/2009; Programação Orientada para Objectos, 2011-2015, 2016/2017; Tópicos Avançados Inteligência Artificial (Programa Doutoral DEI), 2013/2014.
Outras Actividades Lectivas
- Mostras Matemáticas (Junho 2000)
- Núcleo de Estágio de Miranda do Corvo 2003/2004

LaTeX

LaTeX. Página dedicada ao processador de texto LaTeX
Curso de LaTeX
DCpic, um conjunto de comandos para a escrita de grafos (e "diagramas comutativos") num texto (La)TeX ou ConTeXt
GUTpt, Grupo (Informal) de Utilizadores de TeX - Portugal

Lazer

Aeromodelismo

Pedro Quaresma
Departamento de Matemática
Faculdade de Ciências e Tecnologia
Universidade de Coimbra
Apartado 3008, EC Santa Cruz
3001-501 COIMBRA, PORTUGAL
pedro - mat uc pt