???global.info.a_carregar???
Pedro Henrique e Figueiredo Quaresma de Almeida. Concluiu Doutoramento em Informática, área de conhecimento Fundamentos da Computação pela Universidade do Minho em 1998. É Professor Auxiliar na Universidade de Coimbra. Nas suas actividades profissionais interagiu com 5 colaboradores em co-autorias de trabalhos científicos. No seu curriculum DeGóis os termos mais frequentes na contextualização da produção científica, tecnológica e artístico-cultural são: Dedução Automática, E-Learning, Dynamic Geometry Software, Fundamentos da Computação e Lógica Computacional.
Identificação

Identificação pessoal

Nome completo
PEDRO HENRIQUE E FIGUEIREDO QUARESMA DE ALMEIDA
Género
Masculino

Nomes de citação

  • Quaresma, Pedro

Identificadores de autor

Ciência ID
9B10-6B87-64AC
ORCID iD
0000-0001-7728-4935

Telefones

Telemóvel
  • 914975503 (Pessoal)

Moradas

  • Universidade de Coimbra, Faculdade de Ciências e Tecnologia, Departamento de Matemática. Apartado 3008, EC Santa Cruz, 3001-454, Coimbra, Coimbra, Portugal (Profissional)

Websites

Domínios de atuação

  • Ciências Exatas - Matemática

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Inglês Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1)
Espanhol; Castelhano Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador elementar (A1) Utilizador proficiente (C1)
Francês Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador elementar (A1) Utilizador proficiente (C1)
Formação
Grau Classificação
1989 - 1998
Concluído
 Doutoramento em Informática, área de conhecimento Fundamentos da Computação (Doutoramento)
Universidade do Minho, Portugal
"Construção Modular de Sistemas de Dedução" (TESE/DISSERTAÇÃO)
 Aprovado
1986 - 1988
Concluído
 Mestrado em Ciências da Computação (Mestrado)
Universidade de Coimbra, Portugal
"Estudo Comparativo de Algoritmos para o Problema de Transportes com Custos-Fixos" (TESE/DISSERTAÇÃO)
 Muito Bom
1978 - 1982
Concluído
 Licenciatura em Matemática (Licenciatura)
Universidade de Coimbra, Portugal
 14
Percurso profissional

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2003/11 - Atual Professor Auxiliar (Docente Universitário) Universidade de Coimbra, Portugal
1998/11 - 2003/11 Professor Auxiliar (Docente Universitário) Universidade de Coimbra, Portugal
1988/11 - 1998/11 Assistente (Docente Universitário) Universidade de Coimbra, Portugal
1986/11 - 1988/11 Assistente Estagiário (Docente Universitário) Universidade de Coimbra, Portugal
1985/12 - 1986/11 Assistente Estagiário (Docente Universitário) Universidade de Aveiro, Portugal
Projetos

Projeto

Designação Financiadores
2013/01/04 - 2015/06/30 iCIS - Intelligent Computing in the Internet of Services
CENTRO-07-ST24-FEDER-002003
Investigador
Universidade de Coimbra, Portugal

Universidade de Coimbra Centro de Informatica e Sistemas, Portugal

Universidade de Coimbra Instituto de Engenharia de Sistemas e Computadores de Coimbra, Portugal

Universidade de Coimbra Departamento de Engenharia Electrotécnica e de Computadores, Portugal

Associação para a Inovação e Desenvolvimento em Ciência e Tecnologia, Portugal
FCT, Fundação Calouste Gulbenkian
Concluído
Produções

Publicações

Artigo em conferência
  1. Quaresma, P.; Santos, V.; Moral, J.. "Reproducing a geometric working session web geometry laboratory project". 2014.
  2. Santos, V.; Quaresma, P.. "Collaborative environment for geometry". 2013.
    10.1109/ExpAt.2013.6703027
  3. Baeta, N.; Quaresma, P.. "The full angle method on the OpenGeoProver". 2013.
  4. Quaresma, P.. "ThEdu preface". 2013.
  5. Quaresma, Pedro. "Integrating DGSs and GATPs in an Adaptative and Collaborative Blended-Learning Web-Environment". 2012.
  6. Quaresma, Pedro. "An XML-Format for Conjectures in Geometry". Trabalho apresentado em Conferences on Intelligent Computer Mathematics, CICM2012, Bremen, 2012.
    Publicado
  7. Quaresma, P.. "An XML-format for conjectures in geometry (work-in-progress)". 2012.
  8. Santos, Vanda; Quaresma, Pedro. "Integrating DGSs and GATPs in a Adaptative and Collaborative Blended-Learning". Trabalho apresentado em First Workshop on CTP Components for Educational Software (THedu'11), Wroclaw, 2011.
    Publicado • 10.4204/EPTCS.79.7
  9. Santos, Vanda; Quaresma, Pedro. "Laboratório de Geometria na Rede". Trabalho apresentado em Congreso Iberoamericano de Informática Educativa, IE 2010, Santiago do Chile, 2010.
    Publicado
  10. Santos, Vanda; Quaresma, Pedro. "E-Learning Course for Euclidean Geometry". Trabalho apresentado em 2008 Eighth IEEE International Conference on Advanced Learning Technologies, Santander, Cantabria, Spain, 2008.
    Publicado • 10.1109/ICALT.2008.156
  11. Quaresma, Pedro; Pinho, Augusto. "Análise de Frequências da Língua Portuguesa". Trabalho apresentado em Conferência Ibero-Americana InterTIC 2007, Porto, 2007.
    Publicado
  12. Quaresma, Pedro. "Construção Dinâmica de Documentos PDF em Páginas Web". Trabalho apresentado em Conferência Ibero-Americana InterTIC 2007, Porto, 2007.
    Publicado
  13. Quaresma, Pedro; Janicic, Predrag. "GeoThms --- a Web System for Euclidean Constructive Geometry". Trabalho apresentado em User Interfaces for Theorem Provers, Seattle, 2006.
    Publicado • 10.1016/j.entcs.2006.09.020
  14. Quaresma, Pedro. "Construção Modular de Sistemas de Dedução". Trabalho apresentado em Conferencia Iberoamericana en Sistemas Cibernética e Informática, Orlando, 2002.
    Publicado
  15. Quaresma, Pedro. "DCpic, Commutative Diagrams in a (La)TeX Document". Trabalho apresentado em EuroTeX 2001, Rolduc, 2001.
    Publicado
  16. Quaresma, Pedro. "The Electronic Publishing Toolbox". Trabalho apresentado em Electronic Media in Mathematics, Coimbra, 2001.
    Publicado
  17. Quaresma, Pedro. "Implementing a Deduction System for a Guarded Commands Procedural Language using a Generic Theorem Prover". Trabalho apresentado em 11th Israeli Symposium on Artificial Intelligence, Jerusalem, 1995.
    Publicado
  18. Quaresma, Pedro; Martins, Lúcia Albuquerque. "A factorização de Equações do Segundo Grau numa Aprendizagem Assistida por Computador". Trabalho apresentado em Segundo Encontro Português de Inteligência Artificial, Epia86,, Lisboa, 1986.
    Publicado
Artigo em revista
  1. Quaresma, Pedro; Santos, Vanda. "Four Geometry Problems to Introduce Automated Deduction in Secondary Schools". Electronic Proceedings in Theoretical Computer Science 354 (2022): 27-42. http://dx.doi.org/10.4204/eptcs.354.3.
    10.4204/eptcs.354.3
  2. Quaresma, Pedro. "Automated Deduction and Knowledge Management in Geometry". Mathematics in Computer Science 14 4 (2020): 673-692. http://dx.doi.org/10.1007/s11786-020-00489-7.
    Publicado • 10.1007/s11786-020-00489-7
  3. Quaresma, Pedro; Santos, Vanda; Graziani, Pierluigi; Baeta, Nuno. "Taxonomies of geometric problems". Journal of Symbolic Computation 97 (2020): 31-55. http://dx.doi.org/10.1016/j.jsc.2018.12.004.
    10.1016/j.jsc.2018.12.004
  4. Baeta, Nuno; Quaresma, Pedro; Kovács, Zoltán. "Towards a Geometry Automated Provers Competition". Electronic Proceedings in Theoretical Computer Science 313 (2020): 93-100. http://dx.doi.org/10.4204/eptcs.313.6.
    Publicado • 10.4204/eptcs.313.6
  5. Baeta, Nuno; Quaresma, Pedro. "Towards Ranking Geometric Automated Theorem Provers". Electronic Proceedings in Theoretical Computer Science 290 (2019): 30-37. http://dx.doi.org/10.4204/eptcs.290.3.
    Publicado • 10.4204/eptcs.290.3
  6. Vanda Santos; Nuno Baeta; Pedro Quaresma. "Geometrography in Dynamic Geometry". 26 2 (2019): http://www.researchinformation.co.uk/time/contents/time.php.
    Publicado
  7. Quaresma, Pedro; Santos, Vanda; Baeta, Nuno. "Exchange of Geometric Information Between Applications". Electronic Proceedings in Theoretical Computer Science 267 (2018): 108-119. http://dx.doi.org/10.4204/eptcs.267.7.
    Publicado • 10.4204/eptcs.267.7
  8. Quaresma, Pedro. "WGL, a web laboratory for geometry". Education and Information Technologies 23 1 (2018): 237-252. https://doi.org/10.1007/s10639-017-9597-y.
    10.1007/s10639-017-9597-y
  9. Pedro Quaresma. "Towards an Intelligent and Dynamic Geometry Book". Mathematics in Computer Science (2017): https://doi.org/10.1007%2Fs11786-017-0302-8.
    10.1007/s11786-017-0302-8
  10. Quaresma, Pedro. "Web Geometry Laboratory: Case Studies in Portugal and Serbia". Interactive Learning Environments (2016):
    10.1080/10494820.2016.1258715
  11. Quaresma, Pedro. "The Web Geometry Laboratory Project". Lecture Notes in Computer Science 7961 (2013): 364-368. http://link.springer.com/chapter/10.1007/978-3-642-39320-4_30#.
    Publicado • 10.1007/978-3-642-39320-4_30
  12. Quaresma, Pedro. "Plataforma Colaborativa para a Geometria". Indagatio Didactica 5 1 (2013): 31-39. http://revistas.ua.pt/index.php/ID/article/view/2419.
    Publicado
  13. Quaresma, Pedro. "Collaborative Aspects of the WGL Project". Electronic Journal of Mathematics and Technology 0 (2013):
    Aceite para publicação
  14. Janicic, Predrag; Narboux, Julien; Quaresma, Pedro. "The Area Method - A recapitulation". Journal of Automated Reasoning 48 4 (2012): 489-532.
    Publicado • 10.1007/s10817-010-9209-7
  15. Quaresma, Pedro. "Thousands of Geometric problems for geometric Theorem Provers (TGTP)". Lecture Notes in Artificial Intelligence 6877 (2011): 111-123.
    Publicado • 10.1007/978-3-642-25070-5_10
  16. Janicic, Predrag; Quaresma, Pedro. "Automatic Verification of Regular Constructions in Dynamic Geometry Systems". Lecture Notes in Artificial Intelligence 4869 (2007): 39-51.
    Publicado • 10.1007/978-3-540-77356-6_3
  17. Quaresma, P.; Jani¿?ic, P.. "GeoThms - a Web System for Euclidean Constructive Geometry". Electronic Notes in Theoretical Computer Science 174 2 (2007): 35-48.
    Publicado
  18. Janicic, P.; Quaresma, P.. "Automatic verification of regular constructions in dynamic geometry systems". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4869 LNAI (2007): 39-51. http://www.scopus.com/inward/record.url?eid=2-s2.0-38549169438&partnerID=MN8TOARS.
  19. Janicic, Predrag; Almeida, Pedro Henrique e Figueiredo Quaresma de. "System Description: GCLCprover + GeoThms". Lecture Notes in Computer Science 4130 (2006): 145-150. http://www.springerlink.com/content/r05n7q030k647m1h/.
    Publicado • 10.1007/11814771_13
  20. Quaresma, Pedro; Janicic, Predrag. "Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories". Lecture Notes in Computer Science 4108 (2006): 280-294.
    Publicado • 10.1007/11812289_22
  21. Janicic, P.; Quaresma, P.. "System description: GCLCprover + GeoThms". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4130 LNAI (2006): 145-150. http://www.scopus.com/inward/record.url?eid=2-s2.0-33749564740&partnerID=MN8TOARS.
  22. Quaresma, P.; Janicic, P.. "Integrating dynamic geometry software, deduction systems, and theorem repositories". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4108 LNAI (2006): 280-294. http://www.scopus.com/inward/record.url?eid=2-s2.0-33749546527&partnerID=MN8TOARS.
  23. Quaresma, Pedro. "Stacks in TeX". TUGboat 26 1 (2005): 7-9.
    Publicado
Artigo em revista (magazine)
  1. Quaresma, Pedro; Pinho, Augusto. "Criptoanálise", Gazeta de Matemática, 2009
  2. Quaresma, Pedro; Lopes, Elsa. "Criptografia", Gazeta de Matemática, 2008
  3. Quaresma, Pedro. "Visualização de Construções Geométricas", Gazeta de Matemática, 2006
Capítulo de livro
  1. "Evolution of Automated Deduction and Dynamic Constructions in Geometry". 3-23. Suiça: Springer, 2022.
    Publicado
  2. Quaresma, Pedro; Santos, Vanda. "Computer-Generated Geometry Proofs in a Learning Context". In Proof Technology in Mathematics Research and Teaching, editado por Gila Hanna; David Reid; Michael de Villiers, 237-253. Suiça: Springer International Publishing, 2019.
    Publicado • 10.1007/978-3-030-28483-1_11
  3. Pedro Quaresma. "Automatic Deduction in an AI Geometry Book". 2018.
    10.1007/978-3-319-99957-9_16
  4. Almeida, Pedro Henrique e Figueiredo Quaresma de. "Adaptative Learning Environment for Geometry". In Advances in Learning Processes, 71-92. Croatia, Croácia: In-teh, 2010.
    Publicado
  5. Almeida, Pedro Henrique e Figueiredo Quaresma de; Janicic, Predrag; Tomasevic, J; V.-Janicic, Milena; Tosic, D.. "XML-based Format for Geometry". In Communicating Mathematics in the Digital Era, 183-197. Wellesley, Massachusetts, Estados Unidos: AK Peters Lda, 2008.
    Publicado
Edição de livro
  1. Christoph Lange; David Aspinall; Jacques Carette; James Davenport; Andrea Kohlhase; Michael Kohlhase; Paul Libbrecht; et al. Workshops and Work in Progress at CICM. Bath, Reino-Unido, Reino Unido: CEUR-WS. 2013.
  2. Quaresma, Pedro; Back, Ralph-Johan. Proceedings First Workshop on CTP Components for Educational Software (THedu'11). Londres, Reino Unido: EPTCS. 2012.
    10.4204/EPTCS.79
  3. Quaresma, Pedro; Back, Ralph-Johan. Preliminary Proceedings of the THedu'11, CTP Components for Educational Software. Coimbra, Portugal: CISUC. 2011.
  4. Quaresma, Pedro; de Schreye, Danny. Preliminary Proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2009. Coimbra, Portugal: CISUC. 2009.
  5. Quaresma, Pedro; Correia, António Dourado; Costa, Ernesto Jorge; Costa, José Félix. Proceedings of the Advanced School and Workshop on Soft Computing and Complex Systems. Coimbra, Portugal: CIM. 2003.
Edição de número de revista
  1. Quaresma, Pedro; Walther Neuper; João Marcos. "Electronic Proceedings in Theoretical Computer Science". Electronic Proceedings in Theoretical Computer Science 313 (2020): http://dx.doi.org/10.4204/eptcs.313.
    10.4204/eptcs.313
  2. Quaresma, Pedro; Walther Neuper. "Electronic Proceedings in Theoretical Computer Science". Electronic Proceedings in Theoretical Computer Science 290 (2019): http://dx.doi.org/10.4204/eptcs.290.
    10.4204/eptcs.290
  3. Quaresma, Pedro; Walther Neuper. "Electronic Proceedings in Theoretical Computer Science". Electronic Proceedings in Theoretical Computer Science 267 (2018): http://dx.doi.org/10.4204/eptcs.267.
    10.4204/eptcs.267
Livro
  1. Quaresma, P.; Baeta, N.. Current status of the i2GATP common format. 2015.
    10.1007/978-3-319-21362-0_8
  2. Botana, F.; Quaresma, P.. Automated Deduction in Geometry: 10th International Workshop, ADG 2014 Coimbra, Portugal, July 9-11, 2014 Revised Selected Papers. 2015.
    10.1007/978-3-319-21362-0
  3. Botana, F.; Quaresma, P.. Preface. 2015.
  4. Haralambous, Y.; Quaresma, P.. Querying geometric figures using a controlled language, ontological graphs and dependency lattices. 2014.
    10.1007/978-3-319-08434-3_22
  5. Quaresma, Pedro. Introdução ao LaTeX. Lisboa, Portugal: Escolar Editora. 1996.
    Publicado
Manual
  1. Quaresma, Pedro. Programação Orientada para os Objectos. Portugal. 2013.
Relatório
  1. Quaresma, Pedro; Graziani, Pierluigi. 2021. CISUC Technical Report. https://www.cisuc.uc.pt/download-file/16035/p5jMyRCjncUcRlfoKnNU.
Resumo em conferência
  1. Quaresma, Pedro. "The full angle method on the OpenGeoProver". Trabalho apresentado em Workshop Theorem proving components for Educational software (ThEdu), Bath, 2013.
    Publicado
  2. Quaresma, Pedro; Yannis Haralambous. "Geometry Construction Recognition by the Use of Semantic Graphs". Trabalho apresentado em 18th edition of the Portuguese Conference on Pattern Recognition, Coimbra, 2012.
    Publicado
  3. Quaresma, Pedro. "Visualização de Demonstrações Geométricas". Trabalho apresentado em Encontro Nacional de Visualização Científica, Espinho, 2005.
    Publicado

Propriedade Intelectual

Registo de direitos de autor
  1. 2001. "DCpic – Commutative diagrams in a LaTeX and TeX documents".
    Registado

Outros

Outra produção
  1. Plataforma Colaborativa para a Geometria. Os ambientes de aprendizagem colaborativa são um recurso importante no ensino ao permitirem que os alunos adquiram conhecimento, potenciando as suas capacidades individuais, pelo trabalho em grupo. Os objetivos do projeto “Laboratório de Geometria na Rede” (WGL do Inglês, Web Geometry Laboratory) passam pela criação de uma plataforma computacional para. 2013. Santos, Vanda; CISUC Universidade de Coimbra; Quaresma, Pedro; CISUC/Departamento de Matemática Universidade de Coimbra. http://revistas.ua.pt/index.php/ID/article/view/2419.
  2. Random Unknown Schedule Maker. Software. 2012. Quaresma, Pedro. http://gentzen.mat.uc.pt/~RandomUnkSchMaker/.
  3. DCpic. Software. 2009. Quaresma, Pedro. http://www.ctan.org/tex-archive/macros/generic/diagrams/dcpic.
Atividades

Orientação

Título / Tema
Papel desempenhado 		Curso (Tipo)
Instituição / Organização
2013 - 2016/09/21 Ambiente Computacional Adaptativo e Colaborativo para a Aprendizagem da Geometria
Orientador
 Doutoramento em Didáctica de Ciências e Tecnologia (Doutoramento)
Universidade de Trás-os-Montes e Alto Douro, Portugal
2013 - 2013 O Método do Ângulo Completo no Sistema OpenGeoProver
Orientador
 Mestrado em Matemática, especialização em Computação (Mestrado)
Universidade de Coimbra, Portugal
2011 - 2011 Métodos de Factorização em Números Primos
Orientador
 Mestrado em Matemática, especialização em Computação (Mestrado)
Universidade de Coimbra, Portugal
2008 - 2008 Construção de um Módulo de e-Aprendizagem para a Geometria Euclidiana
Orientador
 Mestrado em Informática, especialidade de Computação Automática e Evolutiva (Mestrado)
Universidade de Coimbra, Portugal
2008 - 2008 Construção de um Módulo de Criptologia
Orientador
 Mestrado em Matemática, especialização em Computação (Mestrado)
Universidade de Coimbra, Portugal
2005 - 2005 Implementação e Automação de Sistemas de Dedução
Coorientador
 Mestrado em Ciências da Computação (Mestrado)
Universidade de Coimbra, Portugal

Organização de evento

Nome do evento
Tipo de evento (Tipo de participação) 		Instituição / Organização
2019/08/25 - 2019/08/25 ThEdu'19 - 8th International Workshop on Theorem proving components for Educational software, 25 August 2019, Natal, Brazil - Workshop at CADE 27 (Computer) Theorem Proving (TP) is becoming a paradigm as well as a technological base for a new generation of educational software in science, technology, engineering and mathematics. The workshop brings together experts in automated deduction with experts in education in order to further clarify the shape of the new software generation and to discuss existing systems. (2019/08/23 - 2019/08/30)
Oficina (workshop) (Coorganizador)
 Universidade Federal do Rio Grande do Norte, Brasil
2018/07/18 - 2018/07/18 ThEdu'18, July 2018, Oxford, UK (at FLOC 2018) The workshop brings together experts in automated deduction with experts in education in order to further clarify the shape of the new software generation and to discuss existing systems (2018/07/18 - 2018/07/18)
Oficina (workshop) (Coorganizador)
 University of Oxford, Reino Unido
2018/06/25 - 2018/06/29 CADGME 2018, Conference on Digital Tools in Mathematics Education, 25-29 June 2018, Coimbra, Portugal The aim of the conference is to continue offering a forum for academics in Europe in closer connection with Western European colleagues to share their experiences and practices with technology-assisted mathematics teaching with colleagues from all around the world. (2018/06/25 - 2018/06/29)
Congresso (Presidente da Comissão Organizadora)
 Universidade de Coimbra Departamento de Matemática, Portugal
2017/08/06 - 2017/08/06 ThEdu'17, 6 Aug 2017, Gothenburg, Sweden (at CADE26) The workshop brings together experts in automated deduction with experts in education in order to further clarify the shape of the new software generation and to discuss existing systems. (2017/08/06 - 2017/08/06)
Oficina (workshop) (Coorganizador)
 Chalmers tekniska högskola, Suécia
2017/06/27 - 2017/07/02 IJCAR 2016, 27 June - 2 July, 2016, Coimbra, Portugal IJCAR is the premier international joint conference on all aspects of automated reasoning, including foundations, implementations, and applications, comprising several leading conferences and workshops. (2017/06/27 - 2017/07/02)
Congresso (Presidente da Comissão Organizadora)
 Universidade de Coimbra Departamento de Matemática, Portugal
2016/07/25 - 2016/07/25 ThEdu'16, July 25, 2016, Bialystok, Poland (at CICM 2016) This workshop intends to gather the research communities for computer Theorem Proving (TP), Automated Theorem Proving (ATP), Interactive Theorem Proving (ITP), as well as Computer Algebra Systems (CAS) and Dynamic Geometry Systems (DGS). The goal of this union is to combine and focus systems of these areas to enhance existing educational software as well as studying the design of the next generation of mechanised mathematics assistants (MMA). (2016/07/25 - 2016/07/25)
Oficina (workshop)
 Uniwersytet w Bialymstoku, Polónia
2016/07/02 - 2016/07/02 UITP'16, 2 July, 2016, Coimbra, Portugal (at IJCAR2016) (2016/07/02 - 2016/07/02)
Oficina (workshop) (Coorganizador)
 Universidade de Coimbra Departamento de Matemática, Portugal
2015/10/28 - 2015/10/31 CiEMeLP 2015,28 a 31 de Outubro de 2015 em Coimbra, Portugal A primeira conferência internacional do Espaço Matemático em Língua Portuguesa-EMeLP (2015/10/28 - 2015/10/31)
Congresso (Membro da Comissão Organizadora)
 Universidade de Coimbra Departamento de Matemática, Portugal
2015/07/15 - 2015/07/15 ThEdu'15, July 15, 2015, Washington DC, USA (at CICM 2015) This workshop intends to gather the research communities for computer Theorem Proving (TP), Automated Theorem Proving (ATP), Interactive Theorem Proving (ITP), as well as Computer Algebra Systems (CAS) and Dynamic Geometry Systems (DGS). The goal of this union is to combine and focus systems of these areas to enhance existing educational software as well as studying the design of the next generation of mechanised mathematics assistants (MMA). (2015/07/15 - 2015/07/15)
Oficina (workshop) (Coorganizador)
 University of Washington, Estados Unidos
2014/07/18 - 2014/07/18 1st International Workshop on Natural Language Services for Reasoners (NLSR 2014), July 18, 2014, Vienna, Austria, affiliated to IJCAR2014 a forum to gather researchers interested in the natural language aspects of: Multilingual on-line accessible mathematical content; Advanced tools for automated and interactive theorem proving and problem solving; Rigorous reasoning methods and tools; Formal methods and tools (making them more accessible to non-experts); Generating explanations from business rules (2014/07/18 - 2014/07/18)
Oficina (workshop) (Coorganizador)
 Universitat Wien Fakultät für Mathematik, Áustria
2014/07/09 - 2014/07/11 ADG 2014, 9-11 July 2014, University of Coimbra, Portugal ADG is a forum to exchange ideas and views, to present research results and progress, and to demonstrate software tools on the intersection between geometry and automated deduction. (2014/07/09 - 2014/07/11)
Congresso
 Universidade de Coimbra Departamento de Matemática, Portugal
2014/07/07 - 2014/07/11 CICM 2014, 7-11 July 2014, University Coimbra, Portugal As computers and communications technology advance, greater opportunities arise for intelligent mathematical computation. While computer algebra, automated deduction, mathematical publishing and novel user interfaces individually have long and successful histories, we are now seeing increasing opportunities for synergy among these areas. (2014/07/07 - 2014/07/11)
Congresso (Presidente da Comissão Organizadora)
 Universidade de Coimbra Departamento de Matemática, Portugal
2014/07/09 - 2014/07/09 ThEdu'14, 9 July 2014, University of Coimbra, Portugal (at CICM 2014) This workshop intends to gather the research communities for computer Theorem Proving (TP), Automated Theorem Proving (ATP), Interactive Theorem Proving (ITP), as well as Computer Algebra Systems (CAS) and Dynamic Geometry Systems (DGS). The goal of this union is to combine and focus systems of these areas to enhance existing educational software as well as studying the design of the next generation of mechanised mathematics assistants (MMA). (2014/07/09 - 2014/07/09)
Oficina (workshop) (Coorganizador)
 Universidade de Coimbra Departamento de Matemática, Portugal
2013 - 2013 ThEdu'13, TP Components for Educational Software
Oficina (workshop) (Outra)
 Evento co-localizado com a conferência CICM 2013, Reino Unido
2013 - 2013 Logic Colloquium 2013
Conferência (Outra)
 Muitos (ver página da conferência), Portugal
2011 - 2011 THedu'11, CTP Components for Educational Software
Oficina (workshop) (Outra)
2009 - 2009 18th EACSL Annual Conference on Computer Science Logic
Conferência (Outra)
 Fundação para a Ciência e a Tecnologia, Portugal
2003 - 2003 Advanced School and Workshop on Soft Computing and Complex Systems
Oficina (workshop) (Outra)
 FCT, Fundação Calouste Gulbenkian, Portugal

Júri de grau académico

Tema
Tipo de participação 		Nome do candidato (Tipo de grau)
Instituição / Organização
2013 Towards certified program logics for the verification of imperative programs David Miguel Ramalho Pereira (Doutoramento)
Universidade do Porto, Portugal
2009 Foundations of Program Refinement by Calculation César de Jesus Pereira da Cunha Rodrigues (Doutoramento)
Universidade do Minho, Portugal
2008 Automatsko dokazivanje geometrijskih teorema primenom Vuove i Buhbergerove metode Goran Predovic (Mestrado)
Faculdade de Matemática da Universidade de Belgrado, Portugal

Comissão de avaliação

Descrição da atividade
Tipo de assessoria 		Instituição / Organização Entidade financiadora
2010 - Atual Avaliação de projecto de investigação Ministério do Desenvolvimento da Ciência e Tecnologia da República, Portugal

Membro de associação

Nome da associação Tipo de participação
2000/01 - Atual Association for Automated Reasoning
1998/01 - Atual TeX User Group
1988/01 - Atual Sociedade Portuguesa de Matemática