Mardi exposés 5-7 min

Florent CAPELLI (IMJ, Université Paris Diderot)
Compilation de connaissance et comptage
Louis DUMONT (INRIA)
Diagonales de fractions rationnelles, applications à la physique statistique, la combinatoire et la théorie des nombres
Anaël GRANDJEAN (LIRMM )
Reconnaissance de languages avec des automates cellulaires en 2D
Kaba KEITA (IFSTTAR)
Méthodes de décomposition pour la résolution des problèmes de grande taille
Sylvan LAGAY (LRI)
Structures tropicales en théorie des graphes
Sébastien MAULAT (LIP, ÉNS Lyon)
Du calcul formel pour les fractions continues
Quoc Hoan NGO (LIPN, Université Paris 13)
Combinatorics on Harmonics sums and Polylogaristhms
Matthieu ROSENFELD (MC2, LIP, ENS Lyon)
Evitabilité de répétitions dans les mots
Naoufal ROUKY (Laboratoire de Mathématique Appliqué du Havre (LMAH))
Optimisation et simulation de la massification du transport multimodal des conteneurs

Mardi exposés 180”

Silvère GANGALOFF (ENS Paris/IMT)
Etude de la dynamique/complexité des machines de Turing d’états continus
Valentin GARNERO (LIRMM )
?
Sabrina OUAZZANI (LIRMM )
Calculabilités du temps infini

Jeudi exposés 5-7 min

Tom BESSON (LIFO)
Discrétisation vers des automates cellulaires
Vlad DRAGOI (LITIS, Rouen)
Cryptographie à base de codes correcteurs d’erreurs
Bruno GUILLON (LIAFA, Université Paris Diderot -PARIS 7)
?
Pedro MONTEALEGRE (LIFO)
The simultaneous number-in-hand communication model for networks: private coins, public

Jeudi exposés 15-20 min

Sebastián BARBIERAI (ENS de Lyon)
A computation model for effective subshifts
Allan BLANCHARD (CEA LIST, Laboratoire de Sûreté des Logiciels / LIFO)
Paging System of the Anaxagoros Hypervisor Formally Verified with Frama-C : A Case Study
Ninon EYROLLES (Quarkslab et Laboratoire PRiSM (UVSQ))
Les expressions mixtes arithmético-booléennes, un outil pour l’obfuscation de code
Hervé TALÉ KALACHI (Université de Rouen (LITIS) – Université de Yaoundé)
On the Use of Random Redundancy in Cryptography
Étienne MIQUEY (Équipe PiR2, Labo PPS (Paris 7) / Universidad de la República, Uruguay)
Une preuve constructive en logique classique de l’axiome du choix dépendantcoins and determinism
Lama TARSISSI (LAMA, université de Savoie-Chambéry)
Synchronisation de trois mots de Christoffel

Des plages horaires sont prévues de manière à ce que les écoli/er.ère/s puissent présenter leurs recherches. Le but est de faire partager les sujets et de faire se connaître les écoli/er.ère/s et ainsi de créer des liens, des synergies et des discussions scientifiques. Dans une moindre mesure, il s’agit aussi de faire un exercice de communication scientifique dans un contexte intermédiaire entre le groupe de travail avec les encadrant/e/s de thèses et la communication dans un colloque international.

Ces présentations peuvent se faire sous forme d’exposé et/ou de poster.

La durée de l’exposé peut varier de 5 à 20 minutes selon la demande de l’écoli/er.ère/ et les possibilités de l’emploi du temps. Il est aussi possible de tenter la formule « thèse en 180 secondes ».

Les écoli/er.ère/s seront contactés à ce sujet et invité à s’inscrire dès l’arrivée au colloque.

La participation n’est pas obligatoire mais « fortement conseillée ».

Tous vos sujets de recherche sont intéressants, il ne faut pas les cacher !

Aspects techniques

Prévoir d’avoir un fichier pdf (attention aux autres formats ou au besoin de pilotes extérieurs) sur clé USB ou son ordinateur.

Attention, il n’y a pas de tableau, juste de quoi projeter et un paperboard de 60cm de large. Nous avons un banc-titre (permet de vidéo-projeté ce que l’on écrit sur une feuille).