Francesco Antonio Genco

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

Here is my Curriculum Vitae.

Research Interests

My research interests mainly concern the Proof Theory of nonclassical logics, the applications of such logics to philosophy and artificial intelligence, and their relationship with 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 Studies, University of Bologna, Italy. 2013.

Selected Talks

  • 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 the meeting Algebra and Coalgebra meet Proof Theory (ALCOP 2016), 79 April 2016, TU Wien, Vienna, Austria.