Pedro Quaresma - Home page

Pedro

Quaresma

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

Events 2025

II Congresso Internacional GeoGebra, 23 a 25 Outubro, Departamento de Matemática da Universidade de Coimbra, Portugal.
CIFMA 2025, 7th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications, 11 November 2025, Toledo, Spain. Co-located with SEFM 2025.

CICM 2025, 18th Conference on Intelligent Computer Mathematics, October 6-11, 2025 Brasilia, Brazil.
CADGME 2025, Conference on Digital Tools in Mathematics Education, September 9-11, 2025, Esch-sur-Alzette, Luxembourg.
CiE 2025, Computability in Europe 2025, 14-18 July 2025 Lisbon, Portugal.
CADE-30, The 30th International Conference on Automated Deduction (CADE-30), July 28th to July 31st, 2025 in Stuttgart, Germany.
ThEdu'25, 14th International Workshop on Theorem proving components for Educational software, workshop at CADE 30, August 2nd.
ADG 2025, 15th International Conference on Automated Deduction in Geometry, at CADE 30, satellite conference, August 1-2.

Projects 2025

EuroProofNet, EuroProofNet is the European research network on digital proofs.
WG2-Geo25, Rule based automated provers for geometry, 3-5 June 2025, Krakow, Poland. A EuroProofNet event.

Research/Investigação:

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

Conferences (organization) / Conferências

2024: ThEdu'24, 13th International Workshop on Theorem proving components for Educational software, workshop at IJCAR 2024.
2023: ThEdu'23, 12th International Workshop on Theorem proving components for Educational software, 5 July 2023, workshop at CADE 2023, Rome, Italy.
2022: ThEdu'22, 11th International Workshop on Theorem proving components for Educational software, 11 August, workshop at FLoC 2022, 2022, Haifa, Israel.
2021: ThEdu'21, 10th International Workshop on Theorem proving components for Educational software, July 2021, Carnegie Mellon University, Pittsburgh, PA, United States, Workshop at CADE 28 (Virtual)
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 2025/2026
- Métodos Programação II (1º Semestre)
Disciplinas já leccionadas
- Introdução à Criptografia, Universidade Agostinho Neto, Angola, 2º Semestre, 2021.
- Meios Computacionais no Ensino da Matematica, (2º Semestre)
- 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-2023; Programação Avançada, 2010/2011, 2013-2019, 2020-2023; Programação Funcional, 2008/2009; Programação Orientada para Objectos, 2011-2015, 2016/2023; 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, pedro - mat uc pt
Departamento de Matemática
Faculdade de Ciências e Tecnologia
Universidade de Coimbra
Departamento de Matemática da FCTUC
Largo D. Dinis
3000-143 Coimbra
Portugal