Francesco Antonio Genco

Room:
HF 04 13
Tel:
+43 1 5880158553
Fax:
+43 1 58801 18597
Mail:
genco@logic.at
Function:
PhD Student


Here is my Curriculum Vitae.


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.


Publications


Master thesis

Modal logics and independence friendly logics (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.


Other

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.