Coup de tête 2013
vendredi 17 mai 2013, LIFO, Orléans
Journée informelle autour de la dynamique des machines de Turing (dans l'esprit de l'épisode précédent à Concepción en novembre 2011), dans le cadre du Projet ECOS-CONICYT C12E05 : quelques exposés et discussions, organisation a minima.
Programme
Les exposés ont lieu en salle E12 et le café en salle détente, au 1er étage du bâtiment IIIA.
9h30 | | Accueil et café |
10h | A. Gajardo | Exposé introductif |
10h30 | J. Cassaigne | Autour de quelques constructions |
11h | R. Torres | Transitivité |
12h | | Pause déjeuner |
14h | E. Jeandel | Entropie |
15h | P. Guillon | Soficité |
15h30 | G. Richard | Vitesses non rationnelles |
16h | | Discussions et problèmes ouverts |
Déjeuner
Le déjeuner aura lieu au CROUS sur le campus et est offert par l'équipe GAMoC du LIFO.
Participants
Afin de réserver une place pour le déjeuner, il est conseillé de s'inscrire, par mail, auprès des organisateurs.
- Florent Becker, LIFO, Orléans
- Julien Cassaigne, IML, Marseille
- Jérôme Durand-Lose, LIFO, Orléans
- Anahí Gajardo, UdeC, Concepción
- Bastien Le Gloannec, LIFO, Orléans
- Pierre Guillon, IML, Marseille
- Emmanuel Jeandel, LORIA, Nancy
- Pedro Montealegre, LIFO, Orléans
- Nicolas Ollinger, LIFO, Orléans
- Gaétan Richard, GREYC, Caen
- Maxime Senot, LIFO, Orléans
- Véronique Terrier, GREYC, Caen
- Rodrigo Torres, UdeC, Concepción
Comment venir
La journée a lieu dans le
bâtiment IIIA sur le campus universitaire de La Source. Depuis le centre d'Orléans, prendre le tramway ligne A et descendre à Université-Parc Floral.
Organisateurs/Contacts
Anahí Gajardo
Nicolas Ollinger