|
|
|
- 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
|
|
|
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.
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.
-
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.
| 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
|
- 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 InformatiqueDernières modifications : le 19/11/2007 | |
