Pedro Quaresma - Home page

Pedro

Quaresma

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

Events 2024

IJCAR 2024, International Joint Conference on Automated Reasoning, Nancy, France, July 1-6, 2024.
ThEdu'24, 13th International Workshop on Theorem proving components for Educational software, expected to an workshop at IJCAR 2024.

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
- Internet Accessible Mathematical Computation
- 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

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 2023/2024
- 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