Pedro Quaresma - Home page

Pedro

Quaresma

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

Events 2025

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, workshops and satellite events on August 1st and 2nd.
ThEdu'25, 14th International Workshop on Theorem proving components for Educational software, workshop at CADE 30, August 1st and 2nd.
ADG 2025, 15th International Conference on Automated Deduction in Geometry, at CADE 30, satellite conference August 1st and 2nd.
CADGME 2025, Conference on Digital Tools in Mathematics Education, September 9-11, 2025, Luxembourg.
CICM 2025, 18th Conference on Intelligent Computer Mathematics, October 6-11, 2025 Brasilia, Brazil

Projects 2024

EuroProofNet, EuroProofNet is the European research network on digital proofs.
WG2-Geo24. Rule based automated provers for geometry, 28-30 May 2024, Nice, France. 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 2024/2025
- Métodos Programação II (1º Semestre)
- Programação Avançada (2º Semestre)
- Programação Orientada para os Objectos, (2º 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