Pedro Quaresma de Almeida - Ponto de Partida

Pedro

Quaresma

Almeida

Bem Vindo a minha página inicial, ainda e sempre em construção - 2011/10/25.

Events 2012/2013

Logic Colloquium 2013, July 22-28, 2013 Évora, Portugal
CICM 2012, Conferences on Intelligent Computer Mathematics, July 9-13, 2012, Jacobs University, Bremen, Germany.

Research/Investigação:

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

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