Deprecated : The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Pedro Quaresma - Home page
Bem Vindo a minha página inicial, ainda e sempre em construção
Events 2014
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.
Vienna Summer of Logic , 9-24 July 2014,
Vienna, Austria.
Research/Investigação:
Conferences (organization) / Conferências
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
Classes/Docência; Acções de
Formação; Exposições:
Outras Actividades Lectivas
LaTeX
LaTeX . Página dedicada ao processador de texto
LaTeX
Curso de LaTeX , Fevereiro de 2012
DCpic
GUTpt , G rupo
(Informal) de U tilizadores de T eX - Portugal
Lazer
Pedro Quaresma
Departamento de Matemática
Faculdade de Ciências e Tecnologia
Universidade de Coimbra