Link identifier archive #link-archive-thumb-soap-64482
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__180308-1sito web o contattare il prof. Link identifier #identifier__146845-2Lorenzo Tortora De Falco
Link identifier #identifier__29799-1Link identifier #identifier__159154-2Link identifier #identifier__126884-3Link identifier #identifier__152898-4
