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.


Events

Substructural logics: semantics, proof theory, and applications, Second SYSMICS Workshop, 26-28 February 2018, TU Wien, Vienna, Austria.


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.


Publications


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.


Other

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

I am visiting 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.