Conferenza SOFSEM, Spindleruv Mlyn, Repubblica Ceca SOFSEM (SOFtware SEMinar) è una conferenza internazionale annuale dedicata alla teoria e pratica dell'informatica. La prossima edizione si terrà dal 24 al 30 gennaio 2009 a Spindleruv Mlyn, nella Repubblica Ceca. Il programma comprende una serie di conferenze su invito tenut... 24 Gennaio 2009 - 24 Gennaio 2009 Cechia SOFSEM (SOFtware SEMinar) è una conferenza internazionale annuale dedicata alla teoria e pratica dell'informatica. La prossima edizione si terrà dal 24 al 30 gennaio 2009 a Spindleruv Mlyn, nella Repubblica Ceca. Il programma comprende una serie di conferenze su invito tenute da imminenti ricercatori, conferenze aggiunte scelte tra quelle proposte e uno Student Research Forum. SOFSEM è organizzata in canali paralleli, per offrire l'opportunità di ottenere un panorama veloce dei campi che sono stati scelti come temi dell'anno. Questi includeranno: - Fondamenti dell'informatica; - Teoria e pratica dei servizi software; - Aspetti del commercio telematico basati sulla teoria del gioco; - Tecniche e strumenti per la verifica formale.Per ulteriori informazioni: http://www.sofsem.cz/