|
|
| Titre (title): |
|
Functional abstraction
for programming Multi-level architectures: Formalisation and implementation
|
| Lieu (place): |
|
Université de Paris-Est Créteil
Faculté des Sciences économiques et de Gestion
Salle Keynes (2nd étage)
4 route de Choisy
94010 Créteil cedex
Google map
Depuis la station de métro (from subway station) 'Créteil-Université'
|
| Date : |
|
Vendredi 7/7/2017, 14h (Friday 7/7/2017, 14:00pm) |
| Jury : |
|
| Referees: |
Full Professor. Kevin Hammond |
Saint Andrews University |
| |
Full Professor. Christoph Kessler |
Linköping University |
| Examiners: |
Full Professor. Catherine Dubois |
ENSIEE |
| |
Senior Researcher Scientist. Julia Lawall |
INRIA |
| |
Full Professor. Daniele Varacca |
Université Paris-Est Créteil |
| Advisor: |
Associate Professor. Frédéric Gava |
Université Paris-Est Créteil |
| Co-Advisor: |
Assistant Professor. Julien Tesson |
Université Paris-Est Créteil |
|
|
|