July 9–19, 2007
Wrocław — Poland
ICALP, LICS, LC, PPDP 2007
- 34th International Colloquium on Automata, Languages and Programming
- 22nd Annual IEEE Symposium on Logic in Computer Science
- Logic Colloquium 2007
- 9th ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming
| Conferences | |
| » | ICALP 2007 |
| » | LICS 2007 |
| » | Logic Colloquium 2007 |
| » | PPDP 2007 |
| » | Workshops |
| M. O. Rabin's honorary PhD | |
| Registration | |
| Schedule | |
| Local information | |
| » | Accommodation |
| » | Travel tips |
| » | Venue |
| » | LICS/ICALP social events |
| Local organizing committee | |
| Other events in July in Wrocław | |
| Logic Colloquium 1977 | |
| Pictures from ICAL/LICS/PPDP | |
| Local arrangements info | |
| » | Piotr Wieczorek |
Michael O. Rabin's honorary PhD ceremony
The ceremony was held in Aula Leopoldina of the University of Wrocław on Friday, July 13, 2007 at 5.30 pm.
- Michael Rabin's speach at the ceremony: [Ogg (12MB) | MP3 (14MB)] (15'09")
- Photos from the ceremony: gallery 1, gallery 2.
Laudation given by Leszek Pacholski, Rector of the University
Doctoránde claríssime!
Qui rerum mathematicárum perítia insígnis / ad informáticam theoréticam per totum terrárum orbem provehéndam / mirum quantum contulísti,
ego, promótor legítime constitútus, te, Michaélem Osérum Rabin, doctrínae informáticae in Universitáte Hebráica Hierosolymitána / et in Universitáte Harvardiána professórem, ab Universitátibus / et Ióppica et Novoeboracénsi et Burdigalénsi et Regiónis Desértae Negev de Dávide Ben Gurion nomináta et Israélica Apérta / doctóris dignitáte honóris causa donátum, Academíae Scientiárum Nationális Washingtónii sitae, Academíae Scientiárum Institúti Francogállici, Academíae Ártium Scientiarúmque Americánae, Academíae Scientiárum et Litterárum Israélicae, Societátis dénique Philosophórum Americánae / sodalício ornátum,
qui Dana Scott óperis sócio / automatórum nondeterministicórum / máximi moménti notiónem primus induxísti,
qui in hóminum doctórum número fuísti, quorum ópera / cryptográphiae asymétricae princípia sunt cóndita,
qui algoríthmum sorte constitútum, quo determinári celérrime potest, utrum primus sit númerus necne, quique systématum cryptographicórum clave pública praeditórum / fundaméntum póstea factum est, sapiénter excogitavísti,
qui talem méthodum núntios transferéndi, qua fit, ut illórum arguménta / mitténtes ignórent (cui méthodo oblivious transfer nomen est Ánglice índitum) summo ingénii acúmine repperísti,
decréto Facultátis Mathematicae et Informaticae / amplissimíque Senátus Universitátis Wratislaviénsis // scientiarum doctórem honóris causa creo, creátum renúntio / atque doctóris honóres, iura et privilégia ómnia in te cónfero, in eiúsque rei fidem / hoc diplóma Universitátis sigíllo munítum tibi in manus trado.