Curriculum Vitae
Filipa Simões Mendes
Identificação
Identificação pessoal
- Nome completo
- Filipa Simões Mendes
Nomes de citação
- Mendes, Filipa
Identificadores de autor
- Ciência ID
- 891B-9FEC-6F25
- ORCID iD
- 0009-0003-9338-6546
Idiomas
| Idioma | Conversação | Leitura | Escrita | Compreensão | Peer-review |
|---|---|---|---|---|---|
| Inglês | Utilizador proficiente (C1) | Utilizador proficiente (C1) | Utilizador proficiente (C1) | Utilizador proficiente (C1) | |
| Língua Gestual Portuguesa | Utilizador elementar (A1) | Utilizador elementar (A1) | Utilizador elementar (A1) | Utilizador elementar (A1) |
Formação
| Grau | Classificação | |
|---|---|---|
|
2023/10 - 2026
Em curso
|
Mathematics (Doutoramento)
Universidade do Minho, Portugal
"Negative translations and call-by-value" (TESE/DISSERTAÇÃO)
|
|
|
2020/09 - 2023/01
Concluído
|
Mathematics and Computation (Mestrado)
Universidade do Minho, Portugal
"Variações sobre o cálculo-lambda call-by-value" (TESE/DISSERTAÇÃO)
|
17 |
|
2017 - 2020
Concluído
|
Mathematics (Licenciatura)
Universidade do Minho, Portugal
|
14 |
Projetos
Bolsa
| Designação | Financiadores | |
|---|---|---|
| 2024/02/01 - Atual | Negative translations and call-by-value
2023.00547.BD
CMAT - Universidade do Minho, Portugal
|
Fundação para a Ciência e a Tecnologia
Em curso
|
| 2023/10/13 - 2024/01/12 | Negative translations and call-by-value
UMINHO/BID/2023/80
CMAT - Universidade do Minho, Portugal
|
CMAT - Universidade do Minho
Concluído
|
Produções
Publicações
| Artigo em conferência |
|
Atividades
Apresentação oral de trabalho
| Título da apresentação | Nome do evento Anfitrião (Local do evento) |
|
|---|---|---|
| 2024/07/09 | The logical essence of call-by-name CPS translations | Women in Logic 2024
Tallinn University (Tallinn, Estónia)
|
| 2024/03/14 | Terminei a licenciatura. E agora? | CMAT Labs Fest 2024
Universidade do Minho
|
| 2023/12/18 | The logical essence of compiling with continuations | ALC Meeting 2023
CMAT - Universidade do Minho
|
| 2023/03/09 | Variações sobre o cálculo-lambda call-by-value | Feira de Mestrados e Pós-Graduações Unlimited Future - Braga
Universidade do Minho
|
| 2022/12/19 | Variations on the call-by-value lambda-calculus | ALC Meeting 2022
CMAT - Universidade do Minho
|
Organização de evento
| Nome do evento Tipo de evento (Tipo de participação) |
Instituição / Organização | |
|---|---|---|
| 2024/04/18 - 2024/04/20 | UPA - UMinho de Portas Abertas (2024/04/18 - 2024/04/20)
Exposição
|
Universidade do Minho, Portugal |
| 2023/03/30 - 2023/04/01 | UPA - UMinho de Portas Abertas (2023/03/30 - 2023/04/01)
Exposição
|
Universidade do Minho, Portugal |
Participação em evento
| Descrição da atividade Tipo de evento |
Nome do evento Instituição / Organização |
|
|---|---|---|
| 2024/07/08 - 2024/07/11 | Annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed.
Conferência
|
LICS 2024
Tallinn Polytechnic Institute, Estónia
|
| 2024/07/07 - 2024/07/07 | The Logic Mentoring Workshop seeks to introduce young researchers to the technical and practical aspects of a career in logic
research.
Oficina (workshop)
|
LMW 2024 |
| 2024/01/18 - 2024/01/18 | Celebration of the World Logic Day.
Conferência
|
World Logic Day 2024
CMAT - Universidade do Minho, Portugal
|
| 2023/03/14 - 2023/03/15 | Annual festival that brings together the four laboratories of the Centre of Mathematics at the University of Minho.
Festival
|
CMAT Labs Fest 2023
CMAT - Universidade do Minho, Portugal
|
| 2023/02/27 - 2023/02/27 | Lecture by Walter A. Carnielli entitled "A engenharia e a matemática são humanas, assim como as humanidades devem ser engenhos:
juntando o que não deveria ser separado".
Conferência
|
Colóquio de Lógica
Sociedade Portuguesa da Lógica, Portugal
|
| 2022/06/30 - 2022/07/02 | Biennial meeting between mathematicians, computer scientists and other researchers with interest in Logic.
Conferência
|
Days in Logic 2022
Universidade do Algarve, Portugal
|
| 2022/01/14 - 2022/01/14 | Celebration of the World Logic Day and the foundation of Sociedade Portuguesa da Lógica.
Conferência
|
World Logic Day 2022
Universidade Nova de Lisboa, Portugal
|
| 2021/12/20 - 2021/12/20 | Research work presentations by members of the Algebra, Logic and Computation research group of the Centre of Mathematics at
the University of Minho.
Encontro
|
ALC Meeting 2021
CMAT - Universidade do Minho, Portugal
|