Theory and Logic

	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.

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.

Publications

• Classical Proofs as Parallel Programs.
  Federico Aschieri, Agata Ciabattoni and Francesco A. Genco. GandALF 2018.
• Hypersequents and Systems of Rules: Embeddings and Applications.
  Agata Ciabattoni and Francesco A. Genco. TOCL, vol. 19, issue 2. 2018.
• Gödel logic: from natural deduction to parallel computation.
  Federico Aschieri, Agata Ciabattoni and Francesco A. Genco. LICS 2017, pp. 1–12. 2017.
• Understanding prescriptive texts: rules and logic elaborated by Mīmāṃsā school.
  Agata Ciabattoni, Elisa Freschi, Francesco A. Genco and Björn Lellmann. Journal of World Philosophies, vol. 2, num. 1, pp. 47–66. 2017.
• Embedding formalisms: hypersequents and two-level systems of rules.
  Agata Ciabattoni and Francesco A. Genco. Advances in Modal Logic, vol. 11, pp. 197–216. 2016.
• Mīmāṃsā deontic logic: proof theory and applications.
  Agata Ciabattoni, Elisa Freschi, Francesco A. Genco and Björn Lellmann. TABLEAUX 2015, pp. 323–338. 2015.

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.

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.