Link identifier archive #link-archive-thumb-soap-90777
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__37930-1sito web o contattare il prof. Link identifier #identifier__57689-2Lorenzo Tortora De Falco
Link identifier #identifier__2120-1Link identifier #identifier__41572-2Link identifier #identifier__177454-3Link identifier #identifier__7863-4
