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