Pedro Quaresma - Home page

Pedro

Quaresma

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

Events 2019

ACA 2019, Applications of Computer Algebra 2019 July 16-20, 2019 Montréal, Canada.
CADE 2019, 27th International Conference on Automated Deduction, 25-30 August 2019, Natal, Brazil.
ThEdu'19, 8th International Workshop on Theorem proving components for Educational software, August 2019, Natal, Brazil.
LSFA 2019, 14th International Workshop on Logical and Semantic Frameworks, with Applications, August 24-26, 2019, Natal, Brazil.

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

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 2018/2019
- Bases de Dados (1º Semestre)
- Programação Avançada (1º Semestre)
- Métodos Programação II (1º Semestre)
- Programação Orientada para Objectos, (2º Semestre)
Disciplinas já leccionadas
- Algoritmos e Estruturas de Dados II, 2002/2003; Bases de Dados, 2011-2015, 2016-2018; 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; Programação Avançada, 2010/2011, 2013-2018; 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