Pedro Quaresma - Home page

Pedro

Quaresma

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

Events 2015/2016

GC 2015 - International Seminar on Geometric Computation, Nanning, China, February 2-4, 2015.
CICM 2015, Conference on Intelligent Computer Mathematics, July 13-17, 2015, Washington DC, USA.
ThEdu'15, 4th International Workshop on Theorem proving components for Educational software, colocated with CICM 2015, July 13-17, 2015, Washington DC, USA.
IJCAR 2016, International Joint Conference on Automated Reasoning, 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

NLSR 2014, International Workshop on Natural Language Services for Reasoners, a FLoC Workshops, affliated to RTA-TLCA joint conference, July 18, 2014, Vienna, Austria.
CICM 2014, Conferences on Intelligent Computer Mathematics, 7-11 July 2014, University Coimbra, Portugal.
ADG 2014, 10th International Workshop on Automated Deduction in Geometry, 9-11 July 2014, University of Coimbra, Portugal.
ThEdu'14, 3rd International Workshop on Theorem proving components for Educational software, colocated with CICM 2014, University of Coimbra, Portugal.
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.

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 2014/2015
- Bases de Dados (1º Semestre)
- Programação Avançada (2º Semestre)
- Programação Orientada para Objectos (2º Semestre)
- Tópicos 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
- 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
- Métodos de Programação II 2003/2004
- Programação Avançada, 2010/2011, 2013/2014
- Programação Funcional 2008/2009
- Programação Orientada para Objectos 2011/2012, 2012/2013, 2013/2014
- 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