Evento

Applied Proof Theory 2022

Si è svolta in questi giorni (29 agosto-2 settembre), presso il Dipartimento di Economia (DEc), nell'aula 9 del campus di Pescara dell'Università “G. d’Annunzio”, la conferenza internazionale

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)