Groupe de travail Calculabilité, Complexité et Hasard
De Computability.
Le groupe de travaille en calculabilité à pour vocation de favoriser la coopération entre les chercheurs du domaines en France et en Europe.
Sommaire |
Prochains séminaires
Séminaires passés
Format des rencontres
Les rencontres de ce groupe de travaille ne sont pas des séminaires au sens traditionel (où les orateurs viennes présenter leurs travaux sans entrer dans les détailles des preuves) mais ont pour but de présenter des techniques ou des démonstrations de résultats ou éventuellement des pistes de réflexions. L'ambition est que les participant comprenne le plus en détaille possible détaille les preuves ou les techniques présentés.
Les séances sont divisé en deux parties:
- L'exposé s'apparenterait plutôt à une séance de cours (ou TD) de M2 sur le sujet proposé, avec énoncé d'un théorème ET sa preuve complète, ou bien présentation d'un outil, d'une idée, d'une technique intéressante (avec pour obligation d'avoir un vrai contenu scientifique tout de même ). Le corollaire étant que l'audience serait, bien plus que pendant un séminaire classique, invitée à interrompre l'orateur à la moindre incompréhension. L'exposé n'a pas de duré strictement fixé mais l’expérience montre qu'il n'est pas forcement souhaitable de dépasser significativement 1h30 de présentation/discutions.
- Ensuite un forum de discutions (plus informelle) permettra à chacun de discuter de ses questions, idées ou ses travaux en cours avec les autres membres du groupe. Ce forum pourra typiquement durer une petite demie heure.
Ainsi l'ensemble d'une rencontre dure environs 2 heurs.
Divers
Contacts
Lieu
Les rencontres ont lieu en salle (?????) (au ??? étage) dans la bâtiment du LIAFA (voir ici pour l’accès au LIAFA).
