Si è svolta presso il Dipartimento di Economia (DEc) la conferenza internazionale "Applied Proof Theory 2022"
APPLIED PROOF THEORY 2022
https://www.sci.unich.it/apt22/
L’evento scientifico ha avuto diversi supporti finanziari nazionali e internazionali:
* AILA (Associazione Italiana di Logica e sue Applicazioni)
* Dipartimento di Economia, Università Chieti-Pescara
* Dipartimento di Informatica, Università di Verona
* DVMLG (Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung der Exakten Wissenschaften)
* INdAM (Istituto Nazionale di Alta Matematica, GNSAGA)
* Kurt Gödel Society
La conferenza ha richiamato numerosi ricercatori, anche da fuori Europa, per discutere sui temi della teoria della dimostrazione applicata, tra i quali:
* proof mining
* estrazione di dimostrazioni da programmi
* teoria della dimostrazione e informatica
* teoria della dimostrazione per logiche non classiche
Gli organizzatori
* Gianluca Amato (Dipartimento di Economia, Università di Chieti-Pescara)
* Giulio Felline (Dipartimento di Informatica, Università di Verona)
* Sam Sanders (Institute for Philosophy II, Ruhr-Universität Bochum)
* Peter Schuster (Dipartimento di Informatica, Università di Verona)
