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 2025
II Congresso Internacional GeoGebra ,
23 a 25 Outubro, Departamento de Matemática da Universidade de Coimbra, Portugal.
CIFMA 2025 , 7th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications, 11 November 2025, Toledo, Spain. Co-located with SEFM 2025.
CICM 2025 , 18th Conference on Intelligent Computer Mathematics, October 6-11, 2025 Brasilia, Brazil.
CADGME 2025 , Conference on Digital Tools in Mathematics Education, September 9-11, 2025, Esch-sur-Alzette, Luxembourg.
CiE 2025 ,
Computability in Europe 2025, 14-18 July 2025 Lisbon, Portugal.
CADE-30 , The 30th International Conference on Automated Deduction (CADE-30), July 28th to July 31st, 2025 in Stuttgart, Germany.
ThEdu'25 ,
14th International Workshop on Theorem proving components for Educational software, workshop at CADE 30, August 2nd.
ADG 2025 ,
15th International Conference on Automated Deduction in Geometry, at CADE 30, satellite conference, August 1-2.
Projects 2025
EuroProofNet , EuroProofNet is the European research network on
digital proofs.
WG2-Geo25 ,
Rule based automated provers for geometry, 3-5 June 2025, Krakow, Poland. A EuroProofNet event.
Research/Investigação:
Conferences (organization) / Conferências
2024:
ThEdu'24 ,
13th International Workshop on Theorem proving components for Educational
software, workshop at IJCAR 2024.
2023:
ThEdu'23 ,
12th International Workshop on Theorem proving components for Educational
software, 5 July 2023, workshop at CADE 2023, Rome, Italy.
2022:
ThEdu'22 ,
11th International Workshop on Theorem proving components for Educational
software, 11 August, workshop at FLoC 2022, 2022, Haifa, Israel.
2021:
ThEdu'21 ,
10th International Workshop on Theorem proving components for Educational software,
July 2021, Carnegie Mellon University, Pittsburgh, PA, United States, Workshop at CADE 28 (Virtual)
2019:
ThEdu'19 , 8th
International Workshop on Theorem proving components for Educational
software, August 2019, Natal, Brazil.
2018:
CADGME 2018 ,
Conference on Digital Tools in Mathematics Education, 25-29 June 2018,
Coimbra, Portugal - Chair ; ThEdu'18 , 7th
International Workshop on Theorem proving components for Educational
software, July 2018, Oxford, UK (at FLOC 2018) - co-chair.
2017: ThEdu'17 , 6th
International Workshop on Theorem proving components for Educational
software, 6 Aug 2017, Gothenburg, Sweden (at CADE26) - Co-Chair.
2016: IJCAR
2016 , 27 June - 2 July, 2016, Coimbra, Portugal -
Chair ; UITP'16 ,
2 July, 2016, Coimbra, Portugal (at IJCAR2016) - Co-Chair ;
ThEdu'16 ,
July 25, 2016, Bialystok, Poland (at CICM 2016) - Co-Chair.
2015: CiEMeLP 2015 ,28
a 31 de Outubro de 2015 em Coimbra, Portugal - Local
Organization ; ThEdu'15 ,
July 13-17, 2015, Washington DC, USA (at CICM 2015) - Co-Chair.
2014: NLSR 2014 ,
a FLoC Workshops, affliated to RTA-TLCA joint conference, July 18, 2014,
Vienna, Austria -
Co-Chair ; CICM 2014 , 7-11
July 2014, University Coimbra, Portugal - Local
Chair ; ADG
2014 , 9-11 July 2014, University of Coimbra, Portugal - Local
Chair ; ThEdu'14 ,
University of Coimbra, Portugal (at CICM 2014)- Co-Chair.
2013: Logic Colloquium 2013 , July
22-27, 2013, Évora, Portugal - Local
Organization ; ThEdu'13 ,
July 10, 2013, University of Bath, Bath, England (at CICM 2013) - Co-Chair.
2011: THedu'11 ,
July 31 2011, Wroclaw, Poland, (at CADE 23) - Co-Chair.
2009: CSL 09 , 7-11
September 2009, Coimbra, Portugal -
Co-Chair ; PPDP 2009 , 7-9
September 2009, Coimbra, Portugal - Local
Organization; LOPSTR
2009 , 9-11 September 2009, Coimbra, Portugal - Local
Organization ; FICS 2009 12-13 September
2009, Coimbra, Portugal, Gentzen
Centenary , 12 September 2009, Coimbra, Portugal, Linearity ,
12 September 2009, Coimbra, Portugal (at CSL 2009) - Local Organization.
2003: Advanced
School and Workshop on Soft Computing and Complex Systems ,
Coimbra, 23-27 June 2003 - Co-Chair.
Projects / Projectos
Classes/Docência; Acções de
Formação; Exposições:
Ano Lectivo 2025/2026
Disciplinas já leccionadas
Introdução à Criptografia , Universidade
Agostinho Neto, Angola, 2º Semestre, 2021.
Meios Computacionais no Ensino da Matematica,
(2º Semestre)
Algoritmos e Estruturas de Dados II, 2002/2003;
Bases de Dados, 2011-2015, 2016-2019;
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, 2015/2016, 2017/2018;
Métodos de Programação II, 2003/2004; 2018-2023;
Programação Avançada, 2010/2011, 2013-2019, 2020-2023;
Programação Funcional, 2008/2009;
Programação Orientada para Objectos, 2011-2015,
2016/2023;
Tópicos Avançados Inteligência Artificial (Programa
Doutoral DEI), 2013/2014.
Outras Actividades Lectivas
LaTeX
LaTeX . Página dedicada ao processador de texto
LaTeX
Curso de LaTeX
DCpic
GUTpt , G rupo
(Informal) de U tilizadores de T eX - Portugal
Lazer
Pedro Quaresma, pedro - mat uc pt
Departamento de Matemática
Faculdade de Ciências e Tecnologia
Universidade de Coimbra