Personal Data

Full name

Fernando Jorge Inocêncio Ferreira

Publishing name

Fernando Ferreira

Birthday

1958-11-14T00:00:00

Academic Degrees

AGREGAÇÃO(0)

Degree date

2005

Final grade

Unanimidade

Degree granting institution

Universidade de Lisboa

School / College / Campus

Faculdade de Ciências

Thesis title

Novas Interpretações em Teoria da Demonstração

Supervisor

Does not apply

Co-supervisor

Augusto Franco de Oliveira

Scientific area

Mathematics

DOUTORAMENTO(0)

Degree date

1988

Final grade

Does not apply

Degree granting institution

Outra

School / College / Campus

Other

Thesis title

Polynomial time computable arithmetic and conservative extensions

Supervisor

Stephen G. Simpson

Co-supervisor

Augusto Franco de Oliveira

Scientific area

Mathematics

LICENCIATURA(5)

Degree date

1981

Final grade

19 (in 20 possible)

Degree granting institution

Universidade de Lisboa

School / College / Campus

Faculdade de Ciências

Thesis title

Quantificadores Topológicos e Aplicações

Supervisor

João Santos Guerreiro

Co-supervisor

Augusto Franco de Oliveira

Scientific area

Mathematics

Profissional activity

Period Position Institution
15-03-2012 - Professor Catedrático Faculdade de Ciências da Universidade de Lisboa
15-07-2005 - 15-03-2012 Professor Associado com Agregação Faculdade de Ciências da Universidade de Lisboa
From June 1999 until July 2005 Professor Associado Faculdade de Ciências da Universidade de Lisboa
From October 1989 until June 1999 Professor Auxiliar Faculdade de Ciências da Universidade de Lisboa

Area of scientific activity

Area of scientific activity

Mathematical Logic. Proof Theory and Foundations of Mathematics.

Specialization domain

Weak Systems of Arithmetic. Reverse Mathematics.

Current main scientific area

Proof Theory. Functional Interpretations.

Other scientific activities

Philosophy and Foundations of Mathematics.

Experience as scientific advisor

PhD Dissertations:

Patrícia da Conceição Engrácia. Title: "Proof theoretical studies on the bounded functional interpretation". Dissertation in Mathematics, Universidade de Lisboa. September 2009.

Eduardo Jorge de Sousa e Castro. Title: "A indispensabilidade da matemática na ciência natural". Dissertation in Philosophy, Universidade de Lisboa. Co-supervised with Professor João Branquinho. January 2008.

Gilda Maria Saraiva Dias Ferreira. Title: "Sistemas de Análise Fraca para a Integração". Dissertation in Mathematics, Universidade de Lisboa. October 2006.

António Marques Fernandes. Title: "Investigações em Sistemas de Análise Exequível". Dissertation in Mathematics, Universidade de Lisboa. July 2001.

Isabel Maria Oitavem Fonseca da Rocha. Title: "Classes of Computational Complexity: Implicit Characterizations - a Study in Mathematical Logic". Dissertation in Mathematics, Universidade de Lisboa. July 2001.

Master Thesis:

Ana de Almeida Gabriel Vieira Borges. Title: "On the herbrandised interpretation for nonstandard arithmetic". Instituto Superior Técnico da Universidade de Lisboa. Co-supervised with Professor Carlos Caleiro and Professor Ulrich Kohlenbach. December 2016.

Sílvia da Conceição Alexandre Reis. Title: "Unificação das interpretações funcionais via lógica linear intuicionista". Thesis in Mathematics (co-supervised with Doutora Gilda Maria Saraiva Dias Ferreira). July 2014.

João Filipe Pereira da Silva Enes. Title: "Um estudo sobre teorias de definições indutivas e admissibilidade". Thesis in Mathematics. December 2013.

Pedro Miguel dos Santos Pinto. Title: "Teorema da estrutura de Furstenberg: demonstração e redução ao nível \omega^{\omega^{\omega}}". Thesis in Mathematics (co-supervised with Professor Pedro Miguel Duarte). December 2013.

Josiano Cláudio Oliveira Nereu. Title: “Introducing choice sequences into mathematical ontology”. Thesis in Philosophy (co-supervised with Professor Pedro Alves). April 2012.

Renata Maria Machado Teixeira. Title: "Normalização de termos no cálculo dos combinadores". Thesis in Mathematics, Universidade de Lisboa. July 2008.

Jaime Gaspar. Title: "Em torno das interpretações funcionais da aritmética". Thesis in Mathematics, Universidade de Lisboa. December 2007.

Gonçalo Baptista dos Santos. Title: "O Desafio Filosófico da Lógica Intuicionista". Thesis in Philosophy, Universidade de Lisboa. September 2007.

Luís Miguel da Silva Pereira. Title: "O Problema dos Cardinais Singulares". Thesis in Mathematics, Universidade de Lisboa. September 2004.

Sancho Telo Abreu Ataíde Neves da Silva. Title: "Em Torno da Filosofia da Matemática de Frege". Thesis in Philosophy, Universidade de Lisboa. January 2002.

Gilda Maria Saraiva Dias Ferreira. Title: "Aritmética Computável em Espaço Polinomial". Thesis in Mathematics, Universidade de Lisboa. January 2002.

Isabel Maria Oitavem Fonseca da Rocha. Title: "Três Assuntos de Lógica e Complexidade". Thesis in Mathematics, Universidade de Lisboa. February 1995.

António Marques Fernandes. Dissertation title: "O Teorema de Morley no Contexto da Teoria da Classificação". Thesis in Mathematics, Universidade de Lisboa. June 1993.

Participations in R&D projects

Coordinator of "Functional interpretations of arithmetic and analysis," PTDC/MAT/104716/2008. From March 2010 to July 2013.

Team member of "A Herança de Hilbert na Filosofia da Matemática," PTDC/FIL-FCI/109991/2009. Started in March 2011.

Coordinator of "Sistemas Formais de Aritmética e Computabilidade", POCI/MAT/61720/2004. From 2005 to 2007.

Coordinator of "Sistemas Fracos de Aritmética de Segunda-Ordem", POCTI/MAT/41019/2001. From 2002 to 2004.

Team member of "Conteúdo", POCI/FIL/55562/2004. Coordinator: Adriana Silva Graça. From 2005 to 2007.

Team member of "Do Círculo de Viena à Filosofia Analítica Contemporânea", POCTI/FIL/36359/1999. Coordinator: António Zilhão. From 1999 to 2001.

Team member of "Especificações Executáveis e Verificáveis de Sistemas Concorrentes: Linguagens e Modelos", JNICT-PBIC/P/MAT/1629/93. Coordinator: Luís Monteiro. From 1995 to 1998.

Team member of "Glossário Lógico-Filosóico", PCSH/C/FIL/502/93. Coordinator: Manuel dos Santos Lourenço. From 1994 to 1996.

Awards

Year Award Awarding entity
2009 Tinker Visiting Professor, Stanford University Tinker Foundation and Center for Latin American Studies (Stanford)
2008 Silver medal of the Kurt Gödel Centenary Research Prize Fellowship (senior category). Kurt Gödel Society and Templeton Foundation
2006 Corresponding member of Academia das Ciências de Lisboa Academia das Ciências de Lisboa
2004 Fulbright Scholar, Harvard University Fulbright Program

Publications

Artigos em revistas nacionais com arbitragem científica

  • "A note on a result of Buss concerning bounded theories and the collection scheme", Portugaliae Mathematica 52, pp. 331-336 (1995).<br>

Artigos em revistas nacionais com arbitragem científica

  • "On the notion of object. A logical genealogy," Disputatio 34, pp. 609-624 (2012).

Artigos em revistas de circulação internacional com arbitragem científica

  • "A feasible theory for analysis", The Journal of Symbolic Logic 59, pp. 1000-1011 (1994).

Artigos em revistas de circulação internacional com arbitragem científica

  • "A herbrandized functional interpretation of classical first-order logic" (with Gilda Ferreira), Archive for Mathematical Logic 56(5-6), pp. 523-539 (2017).

Artigos em revistas de circulação internacional com arbitragem científica

  • "A most artistic package of a jumble of ideas," dialectica (special issue on the 50th anniversary of Gödel´s dialectica paper), vol. 65, pp. 205-222 (2008).

Artigos em revistas de circulação internacional com arbitragem científica

  • "A new computation of the \Sigma-ordinal of KPw," The Journal of Symbolic Logic 79, pp. 306-324 (2014).

Artigos em revistas de circulação internacional com arbitragem científica

  • "A note on finiteness in the predicative foundations of arithmetic", Journal of Philosophical Logic 28, pp. 165-174 (1999).

Artigos em revistas de circulação internacional com arbitragem científica

  • "A simple proof of Parson´s theorem", Notre Dame Journal of Formal Logic 46, pp 83-91 (2005).

Artigos em revistas de circulação internacional com arbitragem científica

  • "Amending Frege´s Grundgesetze der Arithmetik", Synthese 147, pp. 3-19 (2005).

Artigos em revistas de circulação internacional com arbitragem científica

  • "An elementary proof of strong normalization for atomic F" (with Gilda Ferreira), Bulletin of the Section of Logic 45(1), pp. 1-15 (2016).

Artigos em revistas de circulação internacional com arbitragem científica

  • "Binary models generated by their tally part", Archive for Mathematical Logic 33, pp. 283-289 (1994).

Artigos em revistas de circulação internacional com arbitragem científica

  • "Bounded functional interpretation and feasible analysis" (with Paulo Oliva), Annals of Pure and Applied Logic 145, pp. 115-129 (2007).

Artigos em revistas de circulação internacional com arbitragem científica

  • "Bounded functional interpretation" (with Paulo Oliva), Annals of Pure and Applied Logic 135, pp. 73-112 (2005).

Artigos em revistas de circulação internacional com arbitragem científica

  • "Bounded modified realizability" (with Ana Nunes), The Journal of Symbolic Logic 71, pp. 329-346 (2006).

Artigos em revistas de circulação internacional com arbitragem científica

  • "Comments on predicative logic", Journal of Philosophical Logic 35, pp. 1-8 (2006).

Artigos em revistas de circulação internacional com arbitragem científica

  • "Commuting conversions vs. the standard conversions of the 'good' connectives," Studia Logica 92, pp. 63-84 (2009).

Artigos em revistas de circulação internacional com arbitragem científica

  • "Counting as integration in feasible analysis" (with Gilda Ferreira), Mathematical Logic Quarterly 52, pp. 315-320 (2006).

Artigos em revistas de circulação internacional com arbitragem científica

  • "Extracting algorithms from intuitionistic proofs" (with António Marques), Mathematical Logic Quarterly 44, pp. 143-160 (1998).

Artigos em revistas de circulação internacional com arbitragem científica

  • "Groundwork for weak analysis" (with António Fernandes). The Journal of Symbolic Logic 67, pp. 557-578 (2002).

Artigos em revistas de circulação internacional com arbitragem científica

  • "Injecting uniformities into Peano arithmetic," Annals of Pure and Applied Logic, 157, pp. 122-129 (2009).

Artigos em revistas de circulação internacional com arbitragem científica

  • "Interpretability in Robinson’s Q" (with Gilda Ferreira), The Bulletin of Symbolic Logic 19, pp. 289-317 (2013).

Artigos em revistas de circulação internacional com arbitragem científica

  • "Interpreting weak König’s lemma in theories of nonstandard arithmetic" (with Bruno Dinis), Mathematical Logic Quarterly 63, pp. 114-123 (2017).

Artigos em revistas de circulação internacional com arbitragem científica

  • "Nonstandardness and the bounded functional interpretation" (with Jaime Gaspar), Annals of Pure and Applied Logic 166, pp. 665-740 (2015).

Artigos em revistas de circulação internacional com arbitragem científica

  • "On end extensions of models of \neg exp", Mathematical Logic Quarterly 42, pp. 1-18 (1996).

Artigos em revistas de circulação internacional com arbitragem científica

  • "On the Parmenidean misconception", Philosophiegeschichte und logische Analyse 2, pp. 37-49 (1999). A first version of this paper was published in portuguese with the title "Exercícios Eleáticos" in Disputatio 2, pp. 3-21 (1997).

Artigos em revistas de circulação internacional com arbitragem científica

  • "On the consistency of the Delta^1_1 fragment of Frege´s Grundgesetze" (with Kai Wehmeier), Journal of Philosophical Logic 31, pp. 301-311 (2002).<br>

Artigos em revistas de circulação internacional com arbitragem científica

  • "The Co-ordination Principles: a Problem for Bilateralism," (discussion note) Mind 117, pp. 1051-1057 (2008).

Artigos em revistas de circulação internacional com arbitragem científica

  • "The Riemann integral in weak systems of analysis" (with Gilda Ferreira), Journal of Universal Computer Science 14, pp. 908-937 (2008).

Artigos em revistas de circulação internacional com arbitragem científica

  • "The bounded functional interpretation of the double negation shift" (with Patricia Engracia), The Journal of Symbolic Logic 75, pp. 759-773 (2010).

Artigos em revistas de circulação internacional com arbitragem científica

  • "The faithfulness of Fat: a proof-theoretic proof" (with Gilda Ferreira), Studia Logica 103, pp. 1303-1311 (2015).

Artigos em revistas de circulação internacional com arbitragem científica

  • "The finitistic consistency of Heck's predicative Fregean system" (with Luís Cruz-Filipe), Notre Dame Journal of Formal Logic 56, pp. 61-79 (2015).

Artigos em revistas de circulação internacional com arbitragem científica

  • "Two general results on intuitionistic bounded theories", Mathematical Logic Quarterly 45, pp. 399-407 (1999).<br>

Artigos em revistas de circulação internacional com arbitragem científica

  • "What are the \forall Sigma^b_1-consequences of T^1_2 and T^2_2$?, Annals of Pure and Applied Logic 75, pp. 79-88 (1995).

Artigos em revistas de circulação internacional com arbitragem científica

  • “Atomic polymorphism” (with Gilda Ferreira), The Journal of Symbolic Logic 78, pp. 260-274 (2013).

Capítulos de livros

  • "Analysis in weak systems" (with António Fernandes and Gilda Ferreira). In: Logic and Computation. Essays in Honour of Amílcar Sernadas (C. Caleiro, F. Dion´isio, P. Gouveia, P. Mateus, J. Rasga, eds.). College Publications, 2017, pp. 231-261.

Capítulos de livros

  • "Basic applications of weak König´s lemma in feasible analysis" (with António
    Fernandes) in Reverse Mathematics 2001. Edited by S. Simpson. Lecture Notes in Logic 21, Association for Symbolic Logic, 2005, pp. 175-188.

Capítulos de livros

  • "Spector’s proof of the consistency of analysis." In: Gentzen’s Centenary – the quest for consistency (R. Kahle, M. Rathjen, eds.). Springer, 2015, pp. 278-300.

Livros (autor)

  • "Matemática Finita", Publicações Universidade Aberta, 2000. With Carlos André.

Livros (editor)

  • Programs, Proofs, Processes, Proceedings of the conference CiE2010. Edited by Fernando Ferreira et al. Lecture Notes in Computer Science 6158. Springer Verlag, 2010.

Outras publicações

  • "A matemática de Kurt Gödel", Boletim da Sociedade Portuguesa de Matemática 55, pp. 39-62 (2006).

Outras publicações

  • "A substitutional framework for arithmetical validity", invited paper in Grazer Philosophische Studien 56, pp. 133-149 (1999).

Outras publicações

  • "Análise, exequibilidade e lógica", in Actas do III Encontro dos Álgebristas Portugueses. Published by Departamento de Matemática da Universidade de Coimbra, pp. 49-70 (1994).

Outras publicações

  • "Como ser sério com palavras cruzadas", in Matemática e Cultura I. Edited by Furtado Coelho. Centro Nacional de Cultura and Edições Cosmos, pp. 37-53 (1992).

Outras publicações

  • "Grundlagenstreit e o intuicionismo Brouweriano," Boletim da Sociedade Portuguesa de Matemática 58, pp. 1-23 (2008).

Outras publicações

  • "Logicismo." In Compêndio em Linha de Filosofia Analítica (J. Branquinho and R. Santos, eds.). http://compendioemlinha.letras.ulisboa.pt/logicismo-fernando-ferreira/

Outras publicações

  • "Lógica, filosofia e matemática", essay followed by an interview in A Cultura da Subtileza (Aspectos da Filosofia Analítica)}. Edited by Manuel Lourenço. Colecção Trajectos Portugueses, Gradiva Publicações, Lisboa 1995, pp. 110-126.

Outras publicações

  • "No paraíso, sem convicção... (uma explicação do programa de Hilbert)", in Matemática e Cultura II. Edited by Furtado Coelho. Centro Nacional de Cultura and SPB Editores, Lisboa 1995, pp. 87-121.<br>

Outras publicações

  • "O problema P versus NP", in 2000 Matemática Radical. Edited by Miguel Ramos and Jorge Nuno Silva. Textos de Matemática, Departamento de Matemática da Universidade de Lisboa, Lisboa 2002, pp. 1-15.

Outras publicações

  • "Sobre as licenciaturas em matemática", Boletim da Sociedade Portuguesa de Matemática 24, pp. 51-54 (1992).

Outras publicações

  • "Teoria dos conjuntos: uma vista", Boletim da Sociedade Portuguesa de Matemática 38, pp. 29-47 (1998). This paper is an expension of "Teoria dos conjuntos" an entry of Enciclopédia de Termos Lógico-Filosóficos, edited by João Branquinho and Desidério Murcho (Colecção Filosofia Aberta, 11, Gradiva Publicações, Lisboa, 2001).

Patentes

  • "A two-worlds, two-semantics interpretation of Plato´s Sophist", in Greek Philosophy and Epistemology, volume II. Edited by Konstantine Boudouris. Publications Ionia, Athens 2001, pp. 61-68.

Publicações em actas de encontros científicos

  • "A two-worlds, two-semantics interpretation of Plato´s Sophist", in Greek Philosophy and Epistemology, volume II. Edited by Konstantine Boudouris. Publications Ionia, Athens 2001, pp. 61-68.

Publicações em actas de encontros científicos

  • "Polynomial time computable arithmetic," in Logic and Computation, proceedings of a conference, Carnegie-Mellon University, 1987. Edited by Wilfried Sieg. Published in Contemporary Mathematics (AMS), vol. 106, pp. 137-156 (1990).

Publicações em actas de encontros científicos

  • "Some notes on subword quantification and induction thereof", in Logic and Algebra, proceedings of a conference, University of Siena, 1994. Edited by Aldo Ursini and Paolo Agliano. Published in Lecture Notes in Pure and Applied Mathematics (Marcel Dekker), vol. 180, pp. 477-489 (1996).<br>

Publicações em actas de encontros científicos

  • "Stockmeyer induction", in Feasible Mathematics, proceedings of a conference, Cornell University, 1989. Edited by Samuel Buss and Phil Scott. Published in Progress in Computer Science and Applied Logic (Birkhäuser), vol. 9, pp. 161-180 (1990).

Publicações em actas de encontros científicos

  • "The faithfulness of atomic polymorphism" (with Gilda Ferreira). In: Trends in Logic XIII (A. Indrzejczak, J. Kaczmarek and Z. Zawidzki, eds.). Wydawnictwo Uniwersytetu Lodzkiego, Lodz 2014, pp. 55-65.

Publicações em actas de encontros científicos

  • "To catch one´s own shadow", invited paper in Actas do Segundo Encontro Nacional de Filosofia Analítica. Edited by Sofia Miguens, João Alberto Pinto and Carlos Mauro. Faculdade de Letras da Universidade do Porto, pp. 14-16 (2006).

Publicações em actas de encontros científicos

  • “A short note on Spector’s proof of consistency on analysis.” In: How the World Computes (B. Cooper, A. Dawar & B. Löwe, eds.), Proceeedings of the Turing Centenary Conference and of CiE 2012. Lecture Notes in Computer Science, vol. 7318, Springer 2012, pp. 222-227.

Publicações em actas de encontros científicos

  • “Proof interpretations and majorizability”. In: Logic Colloquium’07 (organizado por Françcoise Delon et al.), Cambridge University Press 2010, pp. 32-81.

Publicações em actas de encontros científicos

  • “Techniques in weak analysis for conservation results” (with António Fernandes and Gilda Ferreira). In: Studies in Weak Arithmetics II (P. Cégielski, Ch. Cornaros and C. Dimitracopoulos, eds.). 31st Weak Arithmetic Days, Samos, Greece, 2012. CSLI Publications (Stanford) and Presses Universitaires (Paris 12), 2013, pp. 115-147.

Teses

  • Doctoral Dissertation (Ph.D.): "Polynomial Time Computable Arithmetic and Conservative Extensions", December 1988. Pennsylvania State University, Pennsylvania, USA. Supervisor: Stephen Simpson.

Communications

Comunicações orais por convite

"A Shoenfield-like bounded functional interpretation," in Methods of Proof Theory in Mathematics, Max-Planck Institut für Mathematik, Bona, Germany (June 2007).

Comunicações orais por convite

"A functional interpretation of KPw", Mathematisches Forschungsinstitut Oberwolfach (November 2014), Oberwolfach, Germany.

Comunicações orais por convite

"A herbrandized functional interpretation of classical first-order logic", in Proof Theory Session of Logic Colloquium 2017, Stockholm, Sweden (August 2017).

Comunicações orais por convite

"A lógica matemática como empreendimento fundamentador," comunicação à Academia das Ciências de Lisboa (January 2009).

Comunicações orais por convite

"Amending Frege´s Grundgesetze der Arithmetik", in Fregefest na Universidade da Califórnia em Irvine, EUA (Maio de 2004). Also in Primer Encuentro Gallego Português de Filosofia, Universidade de Santiago de Compostela, Spain (October 2000).

Comunicações orais por convite

"An overview of predicativity”, a three part mini-course in Set Theory and Higher-Order Logic: Foundational Issues and Mathematical Developments, Birkbeck College, University of London, United Kingdom (August 2011).

Comunicações orais por convite

"Arithmetic and geometry from the formal point of view: some notes, some lessons", in Conference in Honour of Amílcar Sernadas, Lisbon (April 2016).

Comunicações orais por convite

"Atomic polymorphism" and "Injecting uniformities into Peano arithmetic" at INRIA, Université Paris 7, Diderot (June 2013).

Comunicações orais por convite

"Bar recursive interpretations of classical analysis," in Leeds Symposium on Proof Theory and Constructivism, Leeds, UK (July 2009).

Comunicações orais por convite

"Constructivity, herbrandization and computation", in XVIII Brazilian Logic Conference, Pirenópolis, Goiás, Brazil (May 2017).

Comunicações orais por convite

"Em torno do mundo de L. E. J. Brouwer", plenary conference in Encontro Nacional da Sociedade Portuguesa de Matemática (June 2006).

Comunicações orais por convite

"Feasible analysis", two part mini-course in 33rd Weak Arithmetic Days, Gothenburg, Sweden (June 2014). Also, a talk entitled "Impredicativity and Fregean arithmetic."

Comunicações orais por convite

"Groundwork for Weak Analysis", in the Workshop "Mathematische Logik," Mathematisches Forschungsinstitut Oberwolfach, Germany (April 2002).

Comunicações orais por convite

"Ideal elements and their removal," in Axiomatic Thinking, Zurich, Switzerland (September 2017).

Comunicações orais por convite

"Ideas and results in weak analysis," in 26th Arithmetic Days, Seville (June 2007).

Comunicações orais por convite

"Majorizability interpretations in finite type arithmetic", in the Workshop "Mathematical Logic: Proof Theory, Type Theory and Constructive Mathematics, Mathematisches Forschungsinstitut Oberwolfach, Germany (March 2005).

Comunicações orais por convite

"Modified realizability and functional interpretations: some logical and mathematical observations", in Workshop on Proofs, Justifications, Certificates, CIMI, Toulouse (June 2016).

Comunicações orais por convite

"Nonstandardness and the bounded functional interpretation," in Utrecht Workshop on Proof Theory, Utrecht (April 2015).

Comunicações orais por convite

"On a new functional interpretation," plenary conference in Logic Colloquium 2007, Wroclaw, Poland (July 2007).

Comunicações orais por convite

"On some semi-constructive theories related to Kripke-Platek set theory", in Mathematics for Computation, Lower Bavaria (May 2016).

Comunicações orais por convite

"Recent developments around the Dialectica interpretation," two invited tutorials in the conference "Mathematical Logic: Proof Theory and Constructive Mathematics," Mathematisches Forschungsinstitut Oberwolfach, Germany (April 2008).

Comunicações orais por convite

"The mathematics and metamathematics of weak analysis," in Measuring the Complexity of Computational Content: Weihrauch Reducibility and Reverse Analysis, Dagstuhl Seminar, Dagstuhl, Germany (September 2015).

Comunicações orais por convite

"The two faces of logic," in The Logical Alien at 20, Faculdade de Letras da Universidade do Porto (June 2011).

Comunicações orais por convite

"Um longo argumento: a falsidade n'O Sofista de Platão", a conference part of the project Diálogos (of Fundação Calouste Gulbenkian) given at Faculdade de Ciências Sociais e Humanas da Universidade Nova de Lisboa (May 2107).

Comunicações orais por convite

"Zigzag and Fregean arithmetic," in Workshop - Ontological Commitment in Mathematics. In Memoriam of Aldo Antonelli, IHPST, Paris (December 2015). Also in Lógica no Avião, Universidade de Brasília, Brazil (May 2017).

Comunicações orais por convite

“Interpretability in Q,” in 31st Weak Arithmetic Days, Samos, Greece (June 2012).

Comunicações orais por convite

“The Structure of Natural Deductions,” série convidada de três lições em World Congress and School on Universal Logic III, Monte Estoril, Portugal (April 2010).