Sara Negri - Curriculum Vitae#

The complete CV is available at Prof. Negri's webpage. The CV includes 2 books, 72 articles and 69 presentations (invited contributions to international conferences, keynotes and guest lectures).

Research grants and awards

1. Research project Modalities and Conditionals, Academy of Finland, 2017-2021 Research group leader. e 685.716.

2. Academy Research Fellowship, 2002–2007. Principal Investigator. e 299.960.

3. Humboldt Foundation Research Fellowship, University of Munich, granted in 2004 for six months. e18.000.

4. Research project Proof theory of non-classical logic, Academy of Finland, 2006–2009 Research group leader. e 266.160.

5. Academy Research Fellowship, 2007–2012. Principal Investigator. e 396090.

6. 2006–2007, 2010, 2012: Cimo Fellowships for doctoral students, e 28800.

Selection of Invited presentations in international meetings (since 2013)

1. From semantics to proof systems and back: a case study in non-normal modal logic, Colloquium Logicum 2018, Universität Bayreuth, 14–16 September 2018.

2.Topologicalgeneralizationsofpossibleworldssemanticsandtheirproofsystems,Workshop: Proofs and Computation, Hausdorff Research Institute for Mathematics, Bonn, 4 July 2018.

3. A proof-theoretic approach to formal epistemology, Reasoning in Social Context, Royal Netherlands Academy of Arts and Sciences , Amsterdam, 31 May–2 June, 2018.

4. STIT modalities in labelled sequent calculus Workshop "Doxastic Agency and Epistemic Logic, Ruhr-University Bochum, 15–16 December 2017.

5. Reasoning with counterfactual scenarios: from models to proof, Special Session on Philosophical Logic, Logic Colloquium 2017, Stockholm, 14–20 August 2017.

6. Proof-theoretic semantics for conditionals and non-normal modalities, Workshop on Proof-Theoretical Semantics, Triennial Conference of the Italian Association for Logic and Philosophy of Science, Bologna, 20–23 June, 2017.

7. Knowledge and belief: from models to proofs, International workshop on Proof Theory and Modal Logic, Universita` di Torino, December 2, 2016.

8. Knowledge and belief: From models to proofs, Jaakko Hintikka Memorial Conference: Legacy in Game-Theoretical Semantics and Epistemic Logic, University of Helsinki, 8–9 September 2016.

9. Non-normal modal logics: a challenge to proof theory, Logica 2016, Hejnice monastery, Czech Republic, 20–24 June 2016 (keynote speaker).

10. Proof theory for Lewis counterfactuals and conditional logic and Glivenko sequent classes in the light of structural proof theory, Estonian-Finnish Logic Meeting, Rak- vere, 13–15 November 201

11. Well quasi-orders in philosophical logic. Well quasi-orders: From theory to applications. Hamburg, DMV-Jahrestagung 2015, September 24-25.

12. On neighbourhood semantics and sequent calculus. Workshop Trends in Proof Theory. DMV-Jahrestagung 2015 affiliated meeting. University of Hamburg, September 20- 21, 2015.

13. Recent advances in proof systems for modal logic. Advances in Modal Logic 2014, University of Groningen, The Netherlands, August 5-8, 2014 (keynote speaker).

14. On proofs and countermodels, Summer School on Proof, Truth, Computation, Frauenchiemsee, Germany, July 21–25, 2014.

15. Proof systems for first-order theories, Algebra and coalgebra meet proof theory 2014, Queen Mary, University of London, May 15–16, 2014.

16. Counterfactual reasoning, Workshop on Formalization in Philosophy II, Univ. of Copenhagen, December 12–13, 2013.

17. A proof theory for counterfactual reasoning, Workshop ‘Proof Theory and Philosophy’, University of Groningen, December 3–5, 2013.

18. On the duality of proofs and countermodels in labelled sequent calculi, Tableaux 2013, Nancy, September 13–16 (keynote speaker).

19. Generation of proofs and countermodels in labelled sequent calculi, Modality and Modalities, Roskilde University, May 23–24, 2013 (keynote speaker).

20. Unifying the search of proofs and countermodels in non-classical logics, 4th World Congress on Universal Logic, Rio de Janeiro, April 2013 (keynote speaker).

Community outreach#

Participation in the debate on the promotion of gender equality in science:

1. Women in science: Personal experiences and general considerations by a logician in Helsinki, Invited lecture for the “Women in Computability” workshop affiliated to the CiE 2010.

2. Interview for the special issue, dedicated to the theme of women in science, of the Cosmos magazine of the Humboldt Foundation, no. 94/2009.