Pedro Quaresma - Home page

Pedro

Quaresma

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

Events 2017/2018

CADGME 2018, Conference on Computer Algebra and Dynamic Geometry Systems in Mathematics Education, 2018 Coimbra, Portugal.

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

IJCAR 2016, International Joint Conference on Automated Reasoning, 27 June - 2 July, 2016, Coimbra, Portugal --- Chair.
UITP'16, User Interfaces for Theorem Provers,2 July, 2016, Coimbra, Portugal (Workshop at IJCAR2016) --- Co-Chair.
CiEMeLP 2015, Conferência Internacional do Espaço Matemático em Língua Portuguesa, 28 a 31 de Outubro de 2015 em Coimbra, Portugal --- Local Organization.
ThEdu'15, 4th International Workshop on Theorem proving components for Educational software, colocated with CICM 2015, July 13-17, 2015, Washington DC, USA --- Co-Chair.
NLSR 2014, International Workshop on Natural Language Services for Reasoners, a FLoC Workshops, affliated to RTA-TLCA joint conference, July 18, 2014, Vienna, Austria --- Co-Chair.
CICM 2014, Conferences on Intelligent Computer Mathematics, 7-11 July 2014, University Coimbra, Portugal --- Local Chair.
ADG 2014, 10th International Workshop on Automated Deduction in Geometry, 9-11 July 2014, University of Coimbra, Portugal --- Local Chair.
ThEdu'14, 3rd International Workshop on Theorem proving components for Educational software, colocated with CICM 2014, University of Coimbra, Portugal --- Co-Chair.
Logic Colloquium 2013, July 22-27, 2013, Évora, Portugal --- Local Organization.
ThEdu'13, TP Components for Educational Software, colocated with CICM 2013, July 10, 2013, University of Bath, Bath, England --- Chair.
THedu'11, CTP Components for Educational Software, colocated with CADE 23, July 31 2011, Wroclaw, Poland, Program Committee --- Co-Chair.
CSL 09, 18th EACSL Annual Conference on Computer Science Logic, 7-11 September 2009, Coimbra, Portugal --- Co-Chair.
PPDP 2009, 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, 7-9 September 2009, Coimbra, Portugal --- Local Organization.
LOPSTR 2009, 19th International Symposium on Logic-Based Program Synthesis and Transformation, Coimbra, 9-11 September 2009, Coimbra, Portugal --- Local Organization.
FICS 2009, 6th Workshop on Fixed Points in Computer Science, FICS 2009 Coimbra, Portugal, 12-13 September 2009, a satellite workshop to CSL 2009 --- Local Organization.
Gentzen Centenary, Gentzen Centenary The Quest of Consistency, 12 September 2009, Coimbra, Portugal, satellite workshop to CSL 2009 --- Local Organization.
Linearity First International Workshop on Linearity, 12 September 2009, Coimbra, Portugal, satellite workshop to CSL 2009 --- Local Organization.
Advanced School and Workshop on Soft Computing and Complex Systems , Faculty of Science and Technology of the University of 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 2016/2017
- Bases de Dados (1º Semestre)
- Programação Avançada (2º Semestre)
- Programação Orientada para Objectos (2º Semestre)
- Avançados Inteligência Artificial (Programa Doutoral DEI)
Desciplinas já leccionadas
- Algoritmos e Estruturas de Dados II, 2002/2003
- Bases de Dados 2011/2012, 2012/2013, 2013/2014, 2014/2015
- 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
- Programação Funcional 2008/2009
- Programação Orientada para Objectos 2011/2012, 2012/2013, 2013/2014, 2014/2015
- 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