???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.
Identification

Personal identification

Full name
PEDRO HENRIQUE E FIGUEIREDO QUARESMA DE ALMEIDA
Gender
Male

Citation names

  • Quaresma, Pedro

Author identifiers

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

Telephones

Mobile phone
  • 914975503 (Personal)

Addresses

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

Websites

Knowledge fields

  • Exact Sciences - Mathematics

Languages

Language Speaking Reading Writing Listening Peer-review
English Advanced (C1) Advanced (C1) Advanced (C1) Advanced (C1)
Spanish; Castilian Advanced (C1) Advanced (C1) Beginner (A1) Advanced (C1)
French Advanced (C1) Advanced (C1) Beginner (A1) Advanced (C1)
Education
Degree Classification
1989 - 1998
Concluded
 Doutoramento em Informática, área de conhecimento Fundamentos da Computação (Doutoramento)
Universidade do Minho, Portugal
"Construção Modular de Sistemas de Dedução" (THESIS/DISSERTATION)
 Aprovado
1986 - 1988
Concluded
 Mestrado em Ciências da Computação (Mestrado)
Universidade de Coimbra, Portugal
"Estudo Comparativo de Algoritmos para o Problema de Transportes com Custos-Fixos" (THESIS/DISSERTATION)
 Muito Bom
1978 - 1982
Concluded
 Licenciatura em Matemática (Licenciatura)
Universidade de Coimbra, Portugal
 14
Affiliation

Teaching in Higher Education

Category
Host institution 		Employer
2003/11 - Current Assistant Professor (University Teacher) Universidade de Coimbra, Portugal
1998/11 - 2003/11 Assistant Professor (University Teacher) Universidade de Coimbra, Portugal
1988/11 - 1998/11 Assistant (University Teacher) Universidade de Coimbra, Portugal
1986/11 - 1988/11 Trainee Assistant (University Teacher) Universidade de Coimbra, Portugal
1985/12 - 1986/11 Trainee Assistant (University Teacher) Universidade de Aveiro, Portugal
Projects

Contract

Designation Funders
2013/01/04 - 2015/06/30 iCIS - Intelligent Computing in the Internet of Services
CENTRO-07-ST24-FEDER-002003
Researcher
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
Concluded
Outputs

Publications

Book
  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.
    Published
Book chapter
  1. "Evolution of Automated Deduction and Dynamic Constructions in Geometry". 3-23. Switzerland: Springer, 2022.
    Published
  2. Quaresma, Pedro; Santos, Vanda. "Computer-Generated Geometry Proofs in a Learning Context". In Proof Technology in Mathematics Research and Teaching, edited by Gila Hanna; David Reid; Michael de Villiers, 237-253. Switzerland: Springer International Publishing, 2019.
    Published • 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, Croatia: In-teh, 2010.
    Published
  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, United States: AK Peters Lda, 2008.
    Published
Conference abstract
  1. Quaresma, Pedro. "The full angle method on the OpenGeoProver". Paper presented in Workshop Theorem proving components for Educational software (ThEdu), Bath, 2013.
    Published
  2. Quaresma, Pedro; Yannis Haralambous. "Geometry Construction Recognition by the Use of Semantic Graphs". Paper presented in 18th edition of the Portuguese Conference on Pattern Recognition, Coimbra, 2012.
    Published
  3. Quaresma, Pedro. "Visualização de Demonstrações Geométricas". Paper presented in Encontro Nacional de Visualização Científica, Espinho, 2005.
    Published
Conference paper
  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". Paper presented in Conferences on Intelligent Computer Mathematics, CICM2012, Bremen, 2012.
    Published
  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". Paper presented in First Workshop on CTP Components for Educational Software (THedu'11), Wroclaw, 2011.
    Published • 10.4204/EPTCS.79.7
  9. Santos, Vanda; Quaresma, Pedro. "Laboratório de Geometria na Rede". Paper presented in Congreso Iberoamericano de Informática Educativa, IE 2010, Santiago do Chile, 2010.
    Published
  10. Santos, Vanda; Quaresma, Pedro. "E-Learning Course for Euclidean Geometry". Paper presented in 2008 Eighth IEEE International Conference on Advanced Learning Technologies, Santander, Cantabria, Spain, 2008.
    Published • 10.1109/ICALT.2008.156
  11. Quaresma, Pedro; Pinho, Augusto. "Análise de Frequências da Língua Portuguesa". Paper presented in Conferência Ibero-Americana InterTIC 2007, Porto, 2007.
    Published
  12. Quaresma, Pedro. "Construção Dinâmica de Documentos PDF em Páginas Web". Paper presented in Conferência Ibero-Americana InterTIC 2007, Porto, 2007.
    Published
  13. Quaresma, Pedro; Janicic, Predrag. "GeoThms --- a Web System for Euclidean Constructive Geometry". Paper presented in User Interfaces for Theorem Provers, Seattle, 2006.
    Published • 10.1016/j.entcs.2006.09.020
  14. Quaresma, Pedro. "Construção Modular de Sistemas de Dedução". Paper presented in Conferencia Iberoamericana en Sistemas Cibernética e Informática, Orlando, 2002.
    Published
  15. Quaresma, Pedro. "DCpic, Commutative Diagrams in a (La)TeX Document". Paper presented in EuroTeX 2001, Rolduc, 2001.
    Published
  16. Quaresma, Pedro. "The Electronic Publishing Toolbox". Paper presented in Electronic Media in Mathematics, Coimbra, 2001.
    Published
  17. Quaresma, Pedro. "Implementing a Deduction System for a Guarded Commands Procedural Language using a Generic Theorem Prover". Paper presented in 11th Israeli Symposium on Artificial Intelligence, Jerusalem, 1995.
    Published
  18. Quaresma, Pedro; Martins, Lúcia Albuquerque. "A factorização de Equações do Segundo Grau numa Aprendizagem Assistida por Computador". Paper presented in Segundo Encontro Português de Inteligência Artificial, Epia86,, Lisboa, 1986.
    Published
Edited book
  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, United Kingdom: CEUR-WS. 2013.
  2. Quaresma, Pedro; Back, Ralph-Johan. Proceedings First Workshop on CTP Components for Educational Software (THedu'11). Londres, United Kingdom: 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.
Journal article
  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.
    Published • 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.
    Published • 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.
    Published • 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.
    Published
  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.
    Published • 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#.
    Published • 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.
    Published
  13. Quaresma, Pedro. "Collaborative Aspects of the WGL Project". Electronic Journal of Mathematics and Technology 0 (2013):
    Accepted
  14. Janicic, Predrag; Narboux, Julien; Quaresma, Pedro. "The Area Method - A recapitulation". Journal of Automated Reasoning 48 4 (2012): 489-532.
    Published • 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.
    Published • 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.
    Published • 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.
    Published
  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/.
    Published • 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.
    Published • 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.
    Published
Journal issue
  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
Magazine article
  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
Manual
  1. Quaresma, Pedro. Programação Orientada para os Objectos. Portugal. 2013.
Report
  1. Quaresma, Pedro; Graziani, Pierluigi. 2021. CISUC Technical Report. https://www.cisuc.uc.pt/download-file/16035/p5jMyRCjncUcRlfoKnNU.

Intellectual property

Copyright registration
  1. 2001. "DCpic – Commutative diagrams in a LaTeX and TeX documents".
    Registered

Other

Other output
  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.
Activities

Supervision

Thesis Title
Role 		Degree Subject (Type)
Institution / Organization
2013 - 2016/09/21 Ambiente Computacional Adaptativo e Colaborativo para a Aprendizagem da Geometria
Supervisor
 Doutoramento em Didáctica de Ciências e Tecnologia (PhD)
Universidade de Trás-os-Montes e Alto Douro, Portugal
2013 - 2013 O Método do Ângulo Completo no Sistema OpenGeoProver
Supervisor
 Mestrado em Matemática, especialização em Computação (Master)
Universidade de Coimbra, Portugal
2011 - 2011 Métodos de Factorização em Números Primos
Supervisor
 Mestrado em Matemática, especialização em Computação (Master)
Universidade de Coimbra, Portugal
2008 - 2008 Construção de um Módulo de e-Aprendizagem para a Geometria Euclidiana
Supervisor
 Mestrado em Informática, especialidade de Computação Automática e Evolutiva (Master)
Universidade de Coimbra, Portugal
2008 - 2008 Construção de um Módulo de Criptologia
Supervisor
 Mestrado em Matemática, especialização em Computação (Master)
Universidade de Coimbra, Portugal
2005 - 2005 Implementação e Automação de Sistemas de Dedução
Co-supervisor
 Mestrado em Ciências da Computação (Master)
Universidade de Coimbra, Portugal

Event organisation

Event name
Type of event (Role) 		Institution / Organization
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)
Workshop (Co-organisor)
 Universidade Federal do Rio Grande do Norte, Brazil
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)
Workshop (Co-organisor)
 University of Oxford, United Kingdom
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)
Congress (President of the Organising Committee)
 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)
Workshop (Co-organisor)
 Chalmers tekniska högskola, Sweden
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)
Congress (President of the Organising Committee)
 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)
Workshop
 Uniwersytet w Bialymstoku, Poland
2016/07/02 - 2016/07/02 UITP'16, 2 July, 2016, Coimbra, Portugal (at IJCAR2016) (2016/07/02 - 2016/07/02)
Workshop (Co-organisor)
 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)
Congress (Member of the Organising Committee)
 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)
Workshop (Co-organisor)
 University of Washington, United States
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)
Workshop (Co-organisor)
 Universitat Wien Fakultät für Mathematik, Austria
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)
Congress
 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)
Congress (President of the Organising Committee)
 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)
Workshop (Co-organisor)
 Universidade de Coimbra Departamento de Matemática, Portugal
2013 - 2013 ThEdu'13, TP Components for Educational Software
Workshop (Other)
 Evento co-localizado com a conferência CICM 2013, United Kingdom
2013 - 2013 Logic Colloquium 2013
Conference (Other)
 Muitos (ver página da conferência), Portugal
2011 - 2011 THedu'11, CTP Components for Educational Software
Workshop (Other)
2009 - 2009 18th EACSL Annual Conference on Computer Science Logic
Conference (Other)
 Fundação para a Ciência e a Tecnologia, Portugal
2003 - 2003 Advanced School and Workshop on Soft Computing and Complex Systems
Workshop (Other)
 FCT, Fundação Calouste Gulbenkian, Portugal

Jury of academic degree

Topic
Role 		Candidate name (Type of degree)
Institution / Organization
2013 Towards certified program logics for the verification of imperative programs David Miguel Ramalho Pereira (PhD)
Universidade do Porto, Portugal
2009 Foundations of Program Refinement by Calculation César de Jesus Pereira da Cunha Rodrigues (PhD)
Universidade do Minho, Portugal
2008 Automatsko dokazivanje geometrijskih teorema primenom Vuove i Buhbergerove metode Goran Predovic (Master)
Faculdade de Matemática da Universidade de Belgrado, Portugal

Association member

Society Organization name Role
2000/01 - Current Association for Automated Reasoning
1998/01 - Current TeX User Group
1988/01 - Current Sociedade Portuguesa de Matemática

Evaluation committee

Activity description
Role 		Institution / Organization Funding entity
2010 - Current Avaliação de projecto de investigação Ministério do Desenvolvimento da Ciência e Tecnologia da República, Portugal