Sunday, September 28, 2008
Friday, September 26, 2008
Monday, September 22, 2008
Friday, September 19, 2008
Italia: manteniamo le promesse di aiuti
Ricevo e pubblico:
Negli ultimi anni gli aiuti umanitari italiani hanno contribuito a salvare migliaia di vite umane e dato speranza a molti delle popolazioni più povere del mondo. Ma dal prossimo anno il governo propone di ridurre questi aiuti salva-vita di 170 milioni di Euro -- rimangiandosi la promessa fatta all'Europa di incrementare gli aiuti internazionali.Il ministro delle finanze Tremonti potrebbe presentare la proposta di finanziaria al Parlamento già questa settimana -- perciò prima che sia tardi riempiamolo di messaggi chiedendogli di ritirare i tagli. Compila i campi qui sotto per inviare il messaggio e, se desideri, aggiungi un tuo commento personale -- poi per favore spargi la voce a familiari e amici. Insieme possiamo salvare la reputazione dell'Italia e migliaia di vite in tutto il mondo.
Io ho firmato qui: http://www.avaaz.org/it/aiuti_umanitari/.
Thursday, September 18, 2008
Wednesday, September 17, 2008
PhD-level Course "Computational content of proofs" held by Professor H. Schwichtenberg
In my Department there will be a very interesting PhD-level course, organized by my colleague and friend Marco Benini. I quote from his presentation:
Computational content of proofsWe consider logical propositions concerning data structures. If such a proposition involves (constructive) existential quantifiers in strictly positive positions, then -- according to Brouwer, Heyting and Kolmogorov -- it can be seen as a computational problem. A (constructive) proof of the proposition then provides a solution to this problem, and one can machine extract (via a realizability interpretation) this solution in the form of a lambda calculus term involving recursion operators, which can be seen as (and translated into) a functional program. We will develop from scratch the theory of (1) computability in higher types, based on Scott's information systems, and (2) realizability interpretations of a logic of inductive definitions. A special emphasis will be on the question how to control at the proof level the complexity of the extracted programs.
This PhD-level course is kindly held by Professor H. Schwichtenberg, Mathematisches Institut, Fakultät für Mathematik, Informatik und Statistik, Ludwig Maximillians Universität - Muenchen (DE). This PhD-level course is held under the Erasmus program. There is no final examination. If a student needs an attendance certification, please, contact Prof. Marco Benini by email.
Schedule
In Sala riunioni, third floor of Dipartimento di Informatica e Comunicazione, via Mazzini 5, 21100 Varese (VA).
Dates: 2nd, 3rd, 6th and 7th October 2008, 11:00 to 12:30 and 14:30 to 16:00.
Vernissage allo Spazio Ravizza
Visualizzazione ingrandita della mappa
Giovedì 18 Settembre 2008 dalle 18.00 Francesca ed io aspettiamo i nostri amici per festeggiare insieme il nuovo Spazio Ravizza, dove avranno luogo i seminari di pneumafonia da noi condotti.
Tuesday, September 16, 2008
1.000.000 di Foneros
Ricevo e pubblico:
Siamo orgogliosi di annunciare che abbiamo da poco superato la magica quota di 1.000.000 di membri FON, con oltre 400mila Hotspot FON registrati in tutto il mondo!
Congratulazioni al nostro milionesimo membro FON! Viene dal Giappone e utilizza il nickname “Wilkinson“; il nome del suo cane.
Chi l'avrebbe mai detto...
