Orateur : Giuseppe Ancona (Université de Strasbourg) Titre : Corps de définition et périodes ramifiées Résumé : Dans un travail en commun avec Dragos Fratila et Alberto Vezzani, nous construisons des courbes hyperelliptiques de genre grand, définies sur des corps quadratiques qui sont isomorphes à leur conjuguées galoisiens mais qui ne descendent pas sur Q. […]
Évènements
Calendrier de Évènements
|
L
lundi
|
M
mardi
|
M
mercredi
|
J
jeudi
|
V
vendredi
|
S
samedi
|
D
dimanche
|
|---|---|---|---|---|---|---|
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
1 évènement,
–
|
0 évènement,
|
0 évènement,
|
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
1 évènement,
–
Orateur : Zhenghui Li (Sorbonne Université) Titre : On p-torsions of geometric Brauer groups Résumé : Let X be a smooth projective irreducible variety over a finitely generated field k of characteristic p>0. We show that the finiteness of the exponent of the p-primary part of the geometric Brauer group is equivalent to the Tate […] |
0 évènement,
|
0 évènement,
|
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
1 évènement,
–
Orateur : Filippo Nuccio (Université Jean Monnet Saint-Étienne) Titre : Expliquer un peu d'arithmétique à un ordinateur Résumé : Dans cet exposé j'essaierai d'illustrer ce que signifie formaliser des mathématiques dans un assistant de preuve (j'utiliserai le logiciel Lean), en commençant par un exemple simple et par un survol de la pratique de formalisation et […] |
0 évènement,
|
0 évènement,
|
|
0 évènement,
|
1 évènement,
–
Université de Caen Normandie, Campus 2, Amphi S3 057 Le mardi 31 mars 2026, les deux fédérations Normandie-Mathématique et NormaSTIC organisent à Caen une journée scientifique commune. Au sommaire:– d’exposés invités sur des thèmes à l’interaction entre mathématiques et informatique– d’exposés sur des collaborations existantes entre les fédérations– de moments d’échanges avec vousCette journée aura […] |
0 évènement,
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
