|
- Date
- Lundi 19 novembre 2012
- Inscriptions
- 36 élèves
- Départ
-
Lundi 19 novembre, Gare du Nord, 6h30 en haut des escalators qui mènent à L'Eurostar. Les billets seront fournis sur place. Il est nécessaire d'avoir une pièce d'identité pour passer la douane.
- Retour
- le soir même, arrivée prévue à 22h17 à la Gare du Nord.
- Accompagnateur
- Sylvain Schmitz
- Responsable scientifique
- Peter O'Hearn et Jules Villard
La visite
Cette visite sur le campus de UCL ira à la rencontre des chercheurs du département informatique.
Le voyage
Le voyage est en Eurostar. Le campus est situé au centre de Londres, et nous marcherons de la gare à notre destination, room 6.12/6.12a, Malet Place Engineering Building (voir le plan !)
Les repas seront pris sur le campus.
Programme
- 8:30
- Arrivée à Kings Cross
- 9:30
- Welcome, Peter O'Hearn (offre de stage)
- 10:00
- Taming the Halting Problem, Byron Cook
- 10:40
- Relaxed Memory, Jade Alglave (offre de stage)
- 11:20
- Computer Graphics and VR @ UCL, Niloy Mitra (offre de stage avec Kyle Jamieson) and Anthony Steed
- 12:00
- Lunch
- 1:30
- Networks and Systems Research Group:
- 3:00
- Break
- 3:30
- Human programmers? How quaint!, Mark Harman (offres de stage)
- 4:10
- Cryptology and Zero-Knowledge Proofs, Jens Groth
- 5:00
- Wrap-up
- 6:20
- Départ à Kings Cross
Contacter le Département InformatiqueDernières modifications : le 29/11/2012 | |