Pedro Quaresma - Home page

Pedro

Quaresma

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

Events 2018

CADGME 2018, Conference on Computer Algebra and Dynamic Geometry Systems in Mathematics Education, 26-29 June 2018 Coimbra, Portugal.
ThEdu'18, 7th International Workshop on Theorem proving components for Educational software, July 2018, Oxford, UK (at FLOC 2018).
FLOC 2018, Federated Logic Conference 2018, Oxford, UK, 6-19 July 2018
ADG 2018, The 12th International Conference on Automated Deduction in Geometry, Nanning, China, September 11-14, 2018

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

Conferences (organization) / Conferências

2018: CADGME 2018, Conference on Computer Algebra and Dynamic Geometry Systems in Mathematics Education, 2018 Coimbra, Portugal.
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 2017/2018
- Bases de Dados (1º Semestre)
- Programação Avançada (2º Semestre)
- Métodos Programação I (2º Semestre)
Disciplinas já leccionadas
- Algoritmos e Estruturas de Dados II, 2002/2003; Bases de Dados 2011/2012, 2012/2013, 2013/2014, 2014/2015; 2016/2017; 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; Métodos de Programação II 2003/2004; Programação Avançada, 2010/2011, 2013/2014, 2014/2015; 2015/2016; 2016/2017; Programação Funcional 2008/2009; Programação Orientada para Objectos 2011/2012, 2012/2013, 2013/2014, 2014/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