Algoritmi e Teoria di Ramsey: le frontiere della matematica

Al Centro Residenziale Universitario di Bertinoro (via Frangipane, 6 - Bertinoro FC) dal 22 al 27 maggio si terranno due importanti eventi organizzati da BICI - Bertinoro International Centre for Informatics, nato dieci anni fa per sostenere e alimentare lo scambio di idee di frontiera nei settori scientifici e applicativi dell’informatica. Il primo è il convegno "Sublinear Algorithms 2011", che attraverso un mix interdisciplinare di argomenti approfondisce tematiche tra loro intrecciate, dalla scienza informatica teorica alla matematica per l'elaborazione del segnale digitale. Il workshop è dedicato ad algoritmi estremamente efficienti, che utilizzano risorse sublineari in forma di input. Il secondo è il workshop "RaTLoCC 2011 - Ramsey Theory in Logic, Combinatorics and Complexity", incentrato su aritmetica teorica, matematica inversa e al calcolo combinatorio finito e infinito della Teoria di Ramsey, fonte importante di principi e strumenti oggi utilizzati nel campo della logica e del calcolo.