“Proof, Argumentation, Computation, Modalities and Negation (PACM/\N)”

Il workshop “Proof, Argumentation, Computation, Modalities and Negation (PACM/\N)”, è in programma dal 20 al 22 marzo nella Sala verde di Cà Vignal 3.

Questo workshop esplora l'intricata relazione tra dimostrazione, argomentazione, computazione, modalità e negazione. I partecipanti investigheranno la costruzione di dimostrazioni valide, i principi dell'argomentazione e il ruolo della computazione nella formalizzazione delle strutture logiche. Il programma strutturato, composto da presentazioni di esperti e discussioni interattive, offre un contesto formale per i partecipanti per approfondire la comprensione dei concetti fondamentali nei domini interdisciplinari della logica, della matematica, dell'informatica, della filosofia e della linguistica.

Per maggiori informazioni visitate il sito