| |
Pedro |
|
Quaresma |
|
de |
|
Almeida
|
|
Bem Vindo a minha página inicial, ainda e sempre em
construção - 14 Setembro 2009.
- Investigação:
-
- Docência/Acções de Formação/Exposições:
-
- Mestrado em Matemática, Área de Especialização em
Computação.
- Ano Lectivo 2009/2010
- Ano Lectivo 2008/2009
- Compiladores, 2004/2005.
- Especificação e
Verificação, 2004/2005.
- Estágios Pedagógicos
2003/2004, Núcleo de
Estágio de Miranda do Corvo 2004/2005.
- Núcleo de Estágio de Miranda do Corvo
2003/2004.
- Métodos de Programação I, 2003/2004.
- Fundamentos e Organização de
Computadores, 2003/2004.
- Métodos de
Programação, II 2003/2004.
- Algoritmos e Estruturas de Dados II,
2002/2003.
- Programação Orientada para os Objectos,
2002/2003.
- Introdução aos Computadores e
Programação, 2001/2002.
- Métodos de
Programação, 1998/1999.
- Mostras Matemáticas (Junho
2000).
- Advanced School and Workshop on Soft Computing and
Complex Systems,
Faculty of Science and Technology of the University of Coimbra,
23-27 June 2003.
- 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.
- Projectos:
-
- LaTeX:
-
- LaTeX. Página dedicada ao processador de texto
LaTeX.
- Curso de LaTeX, Fevereiro de 2009.
- 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.
- Linux
-
- Lazer:
-
Pedro Quaresma de Almeida
Departamento de Matemática
Faculdade de Ciências e Tecnologia
Universidade de Coimbra
3000 COIMBRA, PORTUGAL
pedro - mat uc pt