Link identifier archive #link-archive-thumb-soap-9199
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__109315-1sito web o contattare il prof. Link identifier #identifier__39987-2Lorenzo Tortora De Falco
Link identifier #identifier__85197-1Link identifier #identifier__14074-2Link identifier #identifier__69370-3Link identifier #identifier__9125-4
