ENS de Cachan
Département
Informatique
Visites du King's College à Londres









  • Date : Lundi 29 octobre 2007

  • Inscriptions : closes, 36 personnes.

  • Départ : Gare du Nord, à 7h30

  • Retour : Gare du Nord, à 23h23

  • Accompagnateur : Paul Gastin

  • Accueil : Maribel Fernandez

La visite

Nous allons visiter le Département d'informatique du King's College London.

King's College London is the fourth oldest university in England with more than 13,700 undergraduates and 6,200 graduate students in nine schools of study based at five London campuses. It is a member of the Russell Group: a coalition of the UK's major research-based universities.

King's has a particularly distinguished reputation in the humanities, law, international relations, medicine, dentistry, nursing and the sciences, and has played a major role in many of the advances that have shaped modern life, such as the discovery of the structure of DNA. (en savoir plus).

The Department of Computer Science is located in the Strand Campus, in the heart of London.

Programme

Lieu des présentations : Room K0.18 South Range 3 (SR3), Strand King's Building.
10.15-10.30 Coffee - Welcome
10.30-11.00 Presentation of the College, Department, etc
11.00-12.00 Kathleen Steinhoefel - Bioinformatics (Algorithmic Design Group)
12.00-13.00 David Clark - Imperative Programming Languages and Security (Software Engineering Group)
13.00-14.00 Lunch/Visit to Somerset House
14.00-15.00 Dov Gabbay - Hot topics for research in Applied Logic (Group of Logic, Language and Computation)
15.00-16.00 Mark Harman - Search Based Software Engineering for Automated Optimization (Software Engineering Group)
16.00-16.30 Tea
16.30-17.00 Maribel Fernandez - Computational Applications of Nominal Sets (Theory of Computing Group)
17.00-18.00 (Room SR1) Posters/Demos/Discussion

Équipes participantes

  • Algorithm Design
  • Logic, Language and Computation
  • Software Enginnering
  • Theory of Computing
Plus d'infos sur ces équipes ici.

Propositions de stages

  • Title: Access Control Policies for Distributed Systems using Rewriting Techniques
    Domain: Computational models, access control, rewriting, distributed systems.
    Supervisor: Maribel Fernandez
    Place: The work will be done at King's College London (located in the center of London).
    Description: Recently, rewriting techniques have been used in the domain of data and software security. In particular, rewriting tools appear to be very well adapted for providing a semantics for calculi with access control mechanisms. The general goal of the project is to provide a deep analysis of access control models for distributed systems using rewriting. For this, we have to enrich the standard term rewriting framework with built-in access control facilities that take into account the distributed nature of the system (e.g. resources can be distributed across several sites, and the policies that control the access to the resources are also distributed). We will take advantage of the existing tools and rewrite techniques to study properties of the system. This work can be seen as a starting point for the design of a distributed, rewrite based-language with access control mechanisms.

  • Les propositions de stages par Mark Harman (Software Enginnering, CREST) se trouvent ici.
    Dans le mail qu'il m'a envoyé, il précise : These projects are proposed for MSc students at King's. However, they are all topics that could lead to the publication of a paper, since they all involve original work. Also, all of them have the potential for considerable extension. My goal in setting such projects is always to propose topics that could potentially form the basis for further study to PhD level.
    Should any of the students at Cachan be interested then please tell them that they are very welcome to email me to discuss the topics a little further.

Élèves participant à la visite

1ère années 2ème années 3ème années 4ème années
ANDRE-LOVICHI Romain
BERNARDET Alexis
BLOCKELET Michel
BOUSQUET Nicolas
CHARBONNEL Sandrine
COLANGE Maximilien
COLLET Gwendal
CONGOS Thierry
DARTOIS Luc
DE PANAFIEU Elie
DESCAMPS Etienne
GRANDE Johan
HADDAD Axel
MAISONNEUVE Vivien
REICHERT Julien
TOROMANOFF Clément
BASSET Nicolas
BEHDENNA Abdelkader
BOS Alexandre
CHEVAL Vincent
CORNILLEAU Pierre-Emmanuel
DIMINO Jeremie
DURAND-GASSELIN Antoine
LADREYT Gaël
MONMEGE Benjamin
MORCRETTE Basile
PROST Laurent
THOMAZO Michael
ARNAUD Mathilde
AYNAUD Thomas
BOBOT François
GROZ Benoît
PÉTONNET Eudes
RAYBAUD Sylvain
ROUSSEL Olivier
SASSOLAS Mathieu
BATOG Guillaume

Infos pratiques pour s'y retrouver

  • Le rendez-vous pour le départ est fixé à 7h30 à la gare du Nord au début du quai du train. Vous recupérerez vos billets à ce moment-là. Le train est le Eurostar 9011, départ à 8h07, arrivée à 9h51.
    N'oubliez pas votre passeport ou carte d'identité.
    Il est impératif d'arriver en avance car il y a des contrôles avant l'accès au train.

  • Le rendez-vous pour le retour est fixé à 18h45 à la gare Waterloo de Londres (London Waterloo Int). Le train est le Eurostar 9054, départ à 19h43, arrivée à 23h23.
    Il est impératif d'arriver en avance car il y a des contrôles avant l'accès au train.

  • Voici comment rejoindre le département informatique du King's College depuis la gare Waterloo de Londres :
    Traverser la Tamise par le pont Waterloo, marcher 100 m jusqu'à la Strand et tourner à droite, vous verrez le bâtiment de King's après Somerset House. Durée : 15 à 20 minutes à pied depuis la gare Waterloo.


Contacter le Département Informatique
Dernières modifications : le 19/11/2007