Terzo Workshop internazionale dedicato a logica classica e informatica, Brno, Repubblica Ceca

Il Terzo Workshop internazionale dedicato a logica classica e informatica si terrà a Brno, in Repubblica Ceca, dal 21 al 22 agosto prossimi.

L'evento sarà dedicato all'interazione esistente tra l'estrapolazione di sistemi formali dalle dimostrazioni costruttive e le scienze informatiche. Un evento correlato al workshop sarà invece dedicato alla teoria della dimostrazione applicata e al costruttivismo matematico. I campi sono contraddistinti da un interesse comune, ovvero l'analisi dei contenuti computazionali dei principi logici e matematici.

La possibilità di dedurre contenuti computazionali utili dalle dimostrazioni classiche ha preso piede negli anni Novanta, quando si è scoperto che l'interpretazione delle dimostrazioni basata sui principi ideati da Goedel e Kreisel può fornire algoritmi e risultati numerici non triviali e che la corrispondenza di Curry-Howard può essere estesa alla logica classica mediante alcuni principi di programmazione come gli operatori di continuazione e controllo.

Il workshop mira a promuovere un efficace scambio di idee tra le varie linee di ricerca portate avanti sulla logica classica e l'informatica. Gli argomenti includeranno:
- calcoli adattati per la rappresentazione della logica classica;
- progettazione di linguaggi di programmazione ispirati alla logica classica;
- eliminazione della regola del taglio per i sistemi classici;
- rappresentazione della dimostrazione e ricerca della dimostrazione per la logica classica;
- trasformazione di dimostrazioni classiche in intuitive;
- interpretazione costruttiva di principi non costruttivi;
- estrazione della dimostrazione dalle dimostrazioni classiche;
- semantica costruttiva per la logica classica (es. logica dialogica);
- case study (relativi ai punti precedenti).Per ulteriori informazioni, visitare:
http://www.doc.ic.ac.uk/~svb/CLaC10/(si apre in una nuova finestra)