Curriculum Vitae
Filipa Simões Mendes
Identification
Personal identification
- Full name
- Filipa Simões Mendes
Citation names
- Mendes, Filipa
Author identifiers
- Ciência ID
- 891B-9FEC-6F25
- ORCID iD
- 0009-0003-9338-6546
Languages
| Language | Speaking | Reading | Writing | Listening | Peer-review |
|---|---|---|---|---|---|
| English | Advanced (C1) | Advanced (C1) | Advanced (C1) | Advanced (C1) | |
| Portuguese gestual language | Beginner (A1) | Beginner (A1) | Beginner (A1) | Beginner (A1) |
Education
| Degree | Classification | |
|---|---|---|
|
2023/10 - 2026
Ongoing
|
Mathematics (Doutoramento)
Universidade do Minho, Portugal
"Negative translations and call-by-value" (THESIS/DISSERTATION)
|
|
|
2020/09 - 2023/01
Concluded
|
Mathematics and Computation (Mestrado)
Universidade do Minho, Portugal
"Variações sobre o cálculo-lambda call-by-value" (THESIS/DISSERTATION)
|
17 |
|
2017 - 2020
Concluded
|
Mathematics (Licenciatura)
Universidade do Minho, Portugal
|
14 |
Projects
Grant
| Designation | Funders | |
|---|---|---|
| 2024/02/01 - Current | Negative translations and call-by-value
2023.00547.BD
CMAT - Universidade do Minho, Portugal
|
Fundação para a Ciência e a Tecnologia
Ongoing
|
| 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
Concluded
|
Outputs
Publications
| Conference paper |
|
Activities
Oral presentation
| Presentation title | Event name Host (Event location) |
|
|---|---|---|
| 2024/07/09 | The logical essence of call-by-name CPS translations | Women in Logic 2024
Tallinn University (Tallinn, Estonia)
|
| 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
|
Event organisation
| Event name Type of event (Role) |
Institution / Organization | |
|---|---|---|
| 2024/04/18 - 2024/04/20 | UPA - UMinho de Portas Abertas (2024/04/18 - 2024/04/20)
Exhibition
|
Universidade do Minho, Portugal |
| 2023/03/30 - 2023/04/01 | UPA - UMinho de Portas Abertas (2023/03/30 - 2023/04/01)
Exhibition
|
Universidade do Minho, Portugal |
Event participation
| Activity description Type of event |
Event name Institution / Organization |
|
|---|---|---|
| 2024/07/08 - 2024/07/11 | Annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed.
Conference
|
LICS 2024
Tallinn Polytechnic Institute, Estonia
|
| 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.
Workshop
|
LMW 2024 |
| 2024/01/18 - 2024/01/18 | Celebration of the World Logic Day.
Conference
|
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".
Conference
|
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.
Conference
|
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.
Conference
|
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.
Meeting
|
ALC Meeting 2021
CMAT - Universidade do Minho, Portugal
|