Workshop - Trends in Proof-Theory of Linear Logic

Link identifier archive #link-archive-thumb-soap-56405
Workshop - Trends in Proof-Theory of Linear Logic
Giovedì 19 e venerdì 20 dicembre 2024, presso il Dipartimento di Matematica e Fisica dell'Università degli Studi Roma Tre, si terrà un workshop  dedicato a contributi sulle tendenze e sugli sviluppi più recenti della teoria della dimostrazione della logica lineare dal titolo “Trends in Proof-Theory of Linear Logic".

Il workshop si svolgerà in presenza presso il Blocco Aule,  Lungotevere Dante 376:
19 dicembre -  aula M1
20 dicembre  - aula M4

Per informazioni si può consultare il Link identifier #identifier__7778-1sito web o contattare il prof. Link identifier #identifier__12078-2Lorenzo Tortora De Falco 
 
Link identifier #identifier__172933-1Link identifier #identifier__90733-2Link identifier #identifier__14925-3Link identifier #identifier__45357-4