Francesco Antonio Genco

HF 04 13
+43 1 5880158553
+43 1 58801 18597
PhD Student

Here is my Curriculum Vitae.

Here is my Wordpress Site.

Research Interests

Proof theory, non-classical logics, philosophy, and computation.

Current Position

PhD student in the Doctoral College Logical Methods in Computer Science since November 2014. Supervisor: Prof. Agata Ciabattoni.


Master thesis

Modal logics and independence friendly logics (in Italian).
Supervisor: Professor Giovanna Corsi.
Department of Philosophy and Communication, University of Bologna, Italy. 2013.

Selected Talks

  • Intermediate logic proofs as concurrent programs. Syntax meets Semantics (SYSMICS) 2019, 21 January 2019, University of Amsterdam, Amsterdam, Netherlands.
  • Intermediate logic proofs as concurrent programs. The Fine Structure of Formal Proof Systems and their Computational Interpretations (3rd FISP Meeting), 7 December 2018, TU Wien, Vienna, Austria.
  • Typing parallelism and communication through hypersequents. Groupe de travail «Réalisabilité et théorie des types», 6 December 2017, IRIF laboratory, Université Paris Diderot, Paris, France.
  • From hypersequents to parallel computation via systems of rules. Parsifal Seminar, 29 November 2017, Parsifal group, Laboratoire d'Informatique (LIX), Inria Saclay - Île-de-France, France.
  • Gödel logic: from natural deduction to parallel computation. LICS 2017, 21 June 2017, Reykjavik, Iceland.
  • From hypersequents to parallel computation: Gödel logic and beyond. FISP Workshop, 8 June 2017, Paris, France.
  • From hypersequents to parallel processes. Melbourne Logic Seminar, 24 February 2017, University of Melbourne, Australia.
  • Hypersequents, systems of rules and parallel computation. 8 February 2017, Australian National University, Canberra, Australia.
  • Hypersequents and systems of rules: an embedding. Syntax Meets Semantics 2016, 7 September 2016, University of Barcelona, Spain.
  • Embedding formalisms: hypersequents and two-level systems of rules. Advances in Modal Logic 2016, 2 September 2016, Budapest, Hungary.
  • Hypersequents and systems of rules: an embedding. 3rd Postgraduate Conference SILFS, 30 May 2016, University of Urbino, Italy.
  • Mīmāṃsā Deontic Logic. Tableaux 2015, 22 September 2015, University of Wrocƚaw, Poland.
  • Mīmāṃsā Deontic Logic: proof theory and applications. CLMPS 2015, 7 August 2015, University of Helsinki, Finland.


I was in the organising committee of Substructural logics: semantics, proof theory, and applications, Second SYSMICS Workshop, 26-28 February 2018, TU Wien, Vienna, Austria.

I visited Michel Parigot at IRIF in Université Paris-Diderot (Paris 7). September–December 2017.

I visited Professor Rajeev Goré at the Logic and Computation Group of ANU, Canberra. November 2016–February 2017.

I was in the organising committee of the meeting Algebra and Coalgebra meet Proof Theory (ALCOP 2016), 7-9 April 2016, TU Wien, Vienna, Austria.