Pedro Quaresma - Home page

Pedro

Quaresma

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

Events 2012/2013

CICM 2013, Conferences on Intelligent Computer Mathematics, July 8-12, 2013, University of Bath, Bath, England.
ThEdu'13, International Workshop on Theorem Proving Components for Educational Software, colocated with CICM 2013, July 10, 2013, University of Bath, Bath, England.
Logic Colloquium 2013 , July 22-27, 2013, Évora, Portugal
2nd Experiment@International Conference , Sep 18-20, 2013, 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

THedu'11, CTP Components for Educational Software, 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, local organization.
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.
Concepção e Manutenção da Página da Boletim da SPM.
Concepção e Manutenção da Página das Mini-Olimpíadas Portuguesas de Matemática.

Classes/Docência; Acções de Formação; Exposições:

LaTeX

LaTeX. Página dedicada ao processador de texto LaTeX.
Curso de LaTeX, Fevereiro de 2012.
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