Focaliser sur:
Tous les jours
30 mai 2017
31 mai 2017
1 juin 2017
2 juin 2017
Indico style
Indico style - inline minutes
Indico style - numbered
Indico style - numbered + minutes
Indico Weeks View
Retour à l'affichage de la conférence
Choisissez le fuseau horaire
Utiliser le fuseau horaire de l'événement/catégorie
Veuillez spécifier un fuseau horaire
Africa/Abidjan
Africa/Accra
Africa/Addis_Ababa
Africa/Algiers
Africa/Asmara
Africa/Bamako
Africa/Bangui
Africa/Banjul
Africa/Bissau
Africa/Blantyre
Africa/Brazzaville
Africa/Bujumbura
Africa/Cairo
Africa/Casablanca
Africa/Ceuta
Africa/Conakry
Africa/Dakar
Africa/Dar_es_Salaam
Africa/Djibouti
Africa/Douala
Africa/El_Aaiun
Africa/Freetown
Africa/Gaborone
Africa/Harare
Africa/Johannesburg
Africa/Juba
Africa/Kampala
Africa/Khartoum
Africa/Kigali
Africa/Kinshasa
Africa/Lagos
Africa/Libreville
Africa/Lome
Africa/Luanda
Africa/Lubumbashi
Africa/Lusaka
Africa/Malabo
Africa/Maputo
Africa/Maseru
Africa/Mbabane
Africa/Mogadishu
Africa/Monrovia
Africa/Nairobi
Africa/Ndjamena
Africa/Niamey
Africa/Nouakchott
Africa/Ouagadougou
Africa/Porto-Novo
Africa/Sao_Tome
Africa/Tripoli
Africa/Tunis
Africa/Windhoek
America/Adak
America/Anchorage
America/Anguilla
America/Antigua
America/Araguaina
America/Argentina/Buenos_Aires
America/Argentina/Catamarca
America/Argentina/Cordoba
America/Argentina/Jujuy
America/Argentina/La_Rioja
America/Argentina/Mendoza
America/Argentina/Rio_Gallegos
America/Argentina/Salta
America/Argentina/San_Juan
America/Argentina/San_Luis
America/Argentina/Tucuman
America/Argentina/Ushuaia
America/Aruba
America/Asuncion
America/Atikokan
America/Bahia
America/Bahia_Banderas
America/Barbados
America/Belem
America/Belize
America/Blanc-Sablon
America/Boa_Vista
America/Bogota
America/Boise
America/Cambridge_Bay
America/Campo_Grande
America/Cancun
America/Caracas
America/Cayenne
America/Cayman
America/Chicago
America/Chihuahua
America/Ciudad_Juarez
America/Costa_Rica
America/Creston
America/Cuiaba
America/Curacao
America/Danmarkshavn
America/Dawson
America/Dawson_Creek
America/Denver
America/Detroit
America/Dominica
America/Edmonton
America/Eirunepe
America/El_Salvador
America/Fort_Nelson
America/Fortaleza
America/Glace_Bay
America/Goose_Bay
America/Grand_Turk
America/Grenada
America/Guadeloupe
America/Guatemala
America/Guayaquil
America/Guyana
America/Halifax
America/Havana
America/Hermosillo
America/Indiana/Indianapolis
America/Indiana/Knox
America/Indiana/Marengo
America/Indiana/Petersburg
America/Indiana/Tell_City
America/Indiana/Vevay
America/Indiana/Vincennes
America/Indiana/Winamac
America/Inuvik
America/Iqaluit
America/Jamaica
America/Juneau
America/Kentucky/Louisville
America/Kentucky/Monticello
America/Kralendijk
America/La_Paz
America/Lima
America/Los_Angeles
America/Lower_Princes
America/Maceio
America/Managua
America/Manaus
America/Marigot
America/Martinique
America/Matamoros
America/Mazatlan
America/Menominee
America/Merida
America/Metlakatla
America/Mexico_City
America/Miquelon
America/Moncton
America/Monterrey
America/Montevideo
America/Montserrat
America/Nassau
America/New_York
America/Nome
America/Noronha
America/North_Dakota/Beulah
America/North_Dakota/Center
America/North_Dakota/New_Salem
America/Nuuk
America/Ojinaga
America/Panama
America/Paramaribo
America/Phoenix
America/Port-au-Prince
America/Port_of_Spain
America/Porto_Velho
America/Puerto_Rico
America/Punta_Arenas
America/Rankin_Inlet
America/Recife
America/Regina
America/Resolute
America/Rio_Branco
America/Santarem
America/Santiago
America/Santo_Domingo
America/Sao_Paulo
America/Scoresbysund
America/Sitka
America/St_Barthelemy
America/St_Johns
America/St_Kitts
America/St_Lucia
America/St_Thomas
America/St_Vincent
America/Swift_Current
America/Tegucigalpa
America/Thule
America/Tijuana
America/Toronto
America/Tortola
America/Vancouver
America/Whitehorse
America/Winnipeg
America/Yakutat
Antarctica/Casey
Antarctica/Davis
Antarctica/DumontDUrville
Antarctica/Macquarie
Antarctica/Mawson
Antarctica/McMurdo
Antarctica/Palmer
Antarctica/Rothera
Antarctica/Syowa
Antarctica/Troll
Antarctica/Vostok
Arctic/Longyearbyen
Asia/Aden
Asia/Almaty
Asia/Amman
Asia/Anadyr
Asia/Aqtau
Asia/Aqtobe
Asia/Ashgabat
Asia/Atyrau
Asia/Baghdad
Asia/Bahrain
Asia/Baku
Asia/Bangkok
Asia/Barnaul
Asia/Beirut
Asia/Bishkek
Asia/Brunei
Asia/Chita
Asia/Choibalsan
Asia/Colombo
Asia/Damascus
Asia/Dhaka
Asia/Dili
Asia/Dubai
Asia/Dushanbe
Asia/Famagusta
Asia/Gaza
Asia/Hebron
Asia/Ho_Chi_Minh
Asia/Hong_Kong
Asia/Hovd
Asia/Irkutsk
Asia/Jakarta
Asia/Jayapura
Asia/Jerusalem
Asia/Kabul
Asia/Kamchatka
Asia/Karachi
Asia/Kathmandu
Asia/Khandyga
Asia/Kolkata
Asia/Krasnoyarsk
Asia/Kuala_Lumpur
Asia/Kuching
Asia/Kuwait
Asia/Macau
Asia/Magadan
Asia/Makassar
Asia/Manila
Asia/Muscat
Asia/Nicosia
Asia/Novokuznetsk
Asia/Novosibirsk
Asia/Omsk
Asia/Oral
Asia/Phnom_Penh
Asia/Pontianak
Asia/Pyongyang
Asia/Qatar
Asia/Qostanay
Asia/Qyzylorda
Asia/Riyadh
Asia/Sakhalin
Asia/Samarkand
Asia/Seoul
Asia/Shanghai
Asia/Singapore
Asia/Srednekolymsk
Asia/Taipei
Asia/Tashkent
Asia/Tbilisi
Asia/Tehran
Asia/Thimphu
Asia/Tokyo
Asia/Tomsk
Asia/Ulaanbaatar
Asia/Urumqi
Asia/Ust-Nera
Asia/Vientiane
Asia/Vladivostok
Asia/Yakutsk
Asia/Yangon
Asia/Yekaterinburg
Asia/Yerevan
Atlantic/Azores
Atlantic/Bermuda
Atlantic/Canary
Atlantic/Cape_Verde
Atlantic/Faroe
Atlantic/Madeira
Atlantic/Reykjavik
Atlantic/South_Georgia
Atlantic/St_Helena
Atlantic/Stanley
Australia/Adelaide
Australia/Brisbane
Australia/Broken_Hill
Australia/Darwin
Australia/Eucla
Australia/Hobart
Australia/Lindeman
Australia/Lord_Howe
Australia/Melbourne
Australia/Perth
Australia/Sydney
Canada/Atlantic
Canada/Central
Canada/Eastern
Canada/Mountain
Canada/Newfoundland
Canada/Pacific
Europe/Amsterdam
Europe/Andorra
Europe/Astrakhan
Europe/Athens
Europe/Belgrade
Europe/Berlin
Europe/Bratislava
Europe/Brussels
Europe/Bucharest
Europe/Budapest
Europe/Busingen
Europe/Chisinau
Europe/Copenhagen
Europe/Dublin
Europe/Gibraltar
Europe/Guernsey
Europe/Helsinki
Europe/Isle_of_Man
Europe/Istanbul
Europe/Jersey
Europe/Kaliningrad
Europe/Kirov
Europe/Kyiv
Europe/Lisbon
Europe/Ljubljana
Europe/London
Europe/Luxembourg
Europe/Madrid
Europe/Malta
Europe/Mariehamn
Europe/Minsk
Europe/Monaco
Europe/Moscow
Europe/Oslo
Europe/Paris
Europe/Podgorica
Europe/Prague
Europe/Riga
Europe/Rome
Europe/Samara
Europe/San_Marino
Europe/Sarajevo
Europe/Saratov
Europe/Simferopol
Europe/Skopje
Europe/Sofia
Europe/Stockholm
Europe/Tallinn
Europe/Tirane
Europe/Ulyanovsk
Europe/Vaduz
Europe/Vatican
Europe/Vienna
Europe/Vilnius
Europe/Volgograd
Europe/Warsaw
Europe/Zagreb
Europe/Zurich
GMT
Indian/Antananarivo
Indian/Chagos
Indian/Christmas
Indian/Cocos
Indian/Comoro
Indian/Kerguelen
Indian/Mahe
Indian/Maldives
Indian/Mauritius
Indian/Mayotte
Indian/Reunion
Pacific/Apia
Pacific/Auckland
Pacific/Bougainville
Pacific/Chatham
Pacific/Chuuk
Pacific/Easter
Pacific/Efate
Pacific/Fakaofo
Pacific/Fiji
Pacific/Funafuti
Pacific/Galapagos
Pacific/Gambier
Pacific/Guadalcanal
Pacific/Guam
Pacific/Honolulu
Pacific/Kanton
Pacific/Kiritimati
Pacific/Kosrae
Pacific/Kwajalein
Pacific/Majuro
Pacific/Marquesas
Pacific/Midway
Pacific/Nauru
Pacific/Niue
Pacific/Norfolk
Pacific/Noumea
Pacific/Pago_Pago
Pacific/Palau
Pacific/Pitcairn
Pacific/Pohnpei
Pacific/Port_Moresby
Pacific/Rarotonga
Pacific/Saipan
Pacific/Tahiti
Pacific/Tarawa
Pacific/Tongatapu
Pacific/Wake
Pacific/Wallis
US/Alaska
US/Arizona
US/Central
US/Eastern
US/Hawaii
US/Mountain
US/Pacific
UTC
Sauver
Europe/Paris
Français
Deutsch (Deutschland)
English (United Kingdom)
English (United States)
Español (España)
Français (France)
Italiano (Italia)
Polski (Polska)
Português (Brasil)
Türkçe (Türkiye)
Čeština (Česko)
Монгол (Монгол)
Українська (Україна)
中文 (中国)
S'authentifier
Deuxième rencontre ANT
de
mardi 30 mai 2017 (08:00)
à
vendredi 2 juin 2017 (12:00)
lundi 29 mai 2017
mardi 30 mai 2017
09:05
Théorie de Galois des équations aux différences, classique et paramétrée.
-
Charlotte Hardouin
(
Université Toulouse
)
Théorie de Galois des équations aux différences, classique et paramétrée.
Charlotte Hardouin
(
Université Toulouse
)
09:05 - 10:05
Dans la première partie de ce cours, j'essayerai de montrer comment on peut attacher à toute équation fonctionnelle discrète linéaire, un groupe de Galois qui tient lieu de groupes de symétrie entre les solutions de l'équation. La structure de groupe algébrique du groupe de Galois est en correspondance avec les relations algébriques satisfaites par les solutions. A travers des exemples, je montrerai la spécificité de cette théorie de Galois vis à vis de son analogue différentiel et donnerai quelques applications dans le domaine des fonctions spéciales et séries génératrices issues de la combinatoire. Dans une seconde partie, je m'attacherai à présenter un analogue paramétrée de cette théorie de Galois qui permet de traiter les problèmes de dépendance différentielle entre les solutions.
10:05
Pause Café
Pause Café
10:05 - 10:25
10:25
E-fonctions et E-opérateurs
-
Tanguy Rivoal
(
Université Grenoble
)
E-fonctions et E-opérateurs
Tanguy Rivoal
(
Université Grenoble
)
10:25 - 11:10
Les E-opérateurs sont des opérateurs différentiels à coefficients polynomiaux, définis et étudiés par André en 2000. Ils forment le pendant pour les E-fonctions des G-opérateurs pour les G-fonctions, en particulier toute E-fonction est annulée par un E-opérateur. Après avoir rappelé les principales propriétés de ces opérateurs, je donnerai la preuve d'un résultat, récemment obtenu avec J. Roques, concernant les E-opérateurs qui admettent une base de solutions holomorphes à l'origine.
11:15
Preuves algorithmiques de transcendance pour les séries formelles différentiellement finies
-
Alin Bostan
(
INRIA Saclay
)
Preuves algorithmiques de transcendance pour les séries formelles différentiellement finies
Alin Bostan
(
INRIA Saclay
)
11:15 - 12:00
Si une suite de nombres rationnels est donnée par une récurrence linéaire à coefficients polynomiaux et suffisamment de termes initiaux, il est naturel de s'intéresser à la transcendance de la série génératrice associée. Plusieurs critères de transcendance existent, mais aucun ne permet de couvrir tous les cas. En outre, il existe des exemples concrets venant d'applications où aucun critère ne s'applique. Se pose ainsi la question de l'existence d'un algorithme permettant de prouver la transcendance d'une série formelle différentiellement finie, c'est-à-dire vérifiant une équation différentielle linéaire à coefficients polynomiaux. Le problème est non-trivial même lorsque la récurrence est de premier ordre. Un algorithme dû à Michael Singer suffit, en principe, à traiter le cas général. Toutefois, l'algorithme a une complexité trop élevée pour être efficace en pratique. Nous présenterons une nouvelle méthode que nous avons utilisée pour prouver la transcendance de plusieurs séries génératrices provenant de la combinatoire énumérative. Le nouvel algorithme repose sur le calcul d'une équation différentielle d'ordre minimal, via des bornes obtenues par l'analyse des possibles singularités apparentes. On ramène ainsi la question de la transcendance à un problème d'algèbre linéaire structurée.
13:45
Dénombrement de chemins dans un quadrant : une approche via les invariants de Tutte
-
Mireille Bousquet-Melou
(
Université Bordeaux
)
Dénombrement de chemins dans un quadrant : une approche via les invariants de Tutte
Mireille Bousquet-Melou
(
Université Bordeaux
)
13:45 - 14:30
Le dénombrement de chemins du plan confinés dans le premier quadrant mène à des équations fonctionnelles qu'on appelle parfois "à variables catalytiques". On s'intéresse à la nature des séries génératrices associées : quand sont-elles algébriques, ou différentiellement finies, par exemple ? Des équations semblables sont apparues dans les années 70-80 lors du dénombrement, par Tutte, de cartes planaires proprement colorées. Nous appliquons puis étendons certaines de ses idées -- notamment la notion-clé d'invariant -- au dénombrement des chemins du quadrant. Ceci permet tout d'abord de revisiter la classification (connue) de ces problèmes, et fournit (selon les pas autorisés) des preuves uniformes d'algébricité ou d'algébricité différentielle. (travail en commun avec Olivier Bernardi et Kilian Raschel)
14:45
On the direct problem in differential Galois theory
-
Lucia Di Vizio
(
Université Versailles
)
On the direct problem in differential Galois theory
Lucia Di Vizio
(
Université Versailles
)
14:45 - 15:30
I will describe an algorithm that produces a system of generators of the Lie algebra of an aboslutely irreducible linear differential equation over the field rational functions with complex coefficients. This is a joint work with M. Barkatou, T. Cuzeau et J.-A. Weil.
15:30
Pause Café
Pause Café
15:30 - 15:50
mercredi 31 mai 2017
09:15
Une introduction à la théorie des modèles. Compacité et propriétés asymptotiques.
-
Amador Martin-Pizarro
(
Université Fribourg
)
Une introduction à la théorie des modèles. Compacité et propriétés asymptotiques.
Amador Martin-Pizarro
(
Université Fribourg
)
09:15 - 10:35
Dans ce cours de nature introductoire, nous allons voir les bases de la théorie des modèles, entre autres, les notions de langages de premier ordre, formules et structures. Le but du cours est de donner une démonstration du théorème du compacité à l'aide des ultrafiltres pour conclure avec des applications de ce principe à la Lefschetz. Le cours est orienté à un public sans connaissances au préalable en logique mathématique.
10:35
Pause Café
Pause Café
10:35 - 11:00
11:00
Théorie de Galois des équations aux différences, classique et paramétrée. (2/4)
Théorie de Galois des équations aux différences, classique et paramétrée. (2/4)
11:00 - 12:00
13:45
"Mock"-caractères et symbole de Kronecker
-
Jean-Paul Allouche
(
Université Paris 6
)
"Mock"-caractères et symbole de Kronecker
Jean-Paul Allouche
(
Université Paris 6
)
13:45 - 14:30
Nous étudions une famille de fonctions que nous appelons "mock"-caractères. Ces fonctions ont plusieurs propriétés intéressantes, et ce sont parmi toutes les fonctions arithmétiques complètement multiplicatives celles qui ressemblent le plus aux caractères de Dirichlet. Au passage nous établissons quelques propriétés du symbole de Kronecker.
14:45
Critères pour l’indépendance algébrique et au-delà
-
Patrice Philippon
(
Université Paris 6
)
Critères pour l’indépendance algébrique et au-delà
Patrice Philippon
(
Université Paris 6
)
14:45 - 15:30
Après un survol historique des critères pour l’indépendance algébrique, j’expliquerai comment des propriétés d’approximation algébriques des points des espaces projectifs en offrent une alternative plus souple. Notamment, on peut espérer que la construction de telles approximations en présence d’une structure différentielle ou fonctionnelle, permettra d’aller au-delà des résultats d’indépendance algébrique connus.
15:30
Pause Café
Pause Café
15:30 - 15:50
jeudi 1 juin 2017
09:15
Une introduction à la théorie des modèles. Compacité et propriétés asymptotiques. (2/3)
Une introduction à la théorie des modèles. Compacité et propriétés asymptotiques. (2/3)
09:15 - 10:35
10:35
Pause Café
Pause Café
10:35 - 11:00
11:00
Théorie de Galois des équations aux différences, classique et paramétrée. (3/4)
Théorie de Galois des équations aux différences, classique et paramétrée. (3/4)
11:00 - 12:00
13:45
Sur les valeurs zêta en caractéristique non nulle
-
Federico Pellarin
(
Université Lyon
)
Sur les valeurs zêta en caractéristique non nulle
Federico Pellarin
(
Université Lyon
)
13:45 - 14:30
14:40
Lien entre unité de Stark et groupe des classes
-
Coline Wiatrowski
(
Université Lyon
)
Lien entre unité de Stark et groupe des classes
Coline Wiatrowski
(
Université Lyon
)
14:40 - 15:25
Les unités de Stark, dont la définition repose sur la conjecture bélienne de Stark de rang 1, représentent une généralisation des unités cyclotomiques. Leur existence est conjecturale, mais on peut s’intéresser à leurs propriétés algébriques afin de mieux les cerner. Il existe notamment, dans le cas semi-simple et pour certains types d'extensions, des formules d'indice concernant la taille du groupe que les unités de Stark engendrent dans le groupe des unités. Dans cet exposé, nous donnerons une nouvelle interprétation de ces formules d'indice en terme d'égalité entre les idéaux de Fitting des p-parties du groupe des classes et du groupe des unités quotienté par l'unité de Stark. Nous verrons également pourquoi ce résultat a des chances de s'étendre au cas non semi-simple, pour lequel les formules d'indice font défaut.
15:25
Pause Café
Pause Café
15:25 - 15:45
15:45
Autour de certaines propriétés arithmétiques des fonctions de Mahler
-
Julien Roques
(
Université Grenoble
)
Autour de certaines propriétés arithmétiques des fonctions de Mahler
Julien Roques
(
Université Grenoble
)
15:45 - 16:30
L’étude des fonctions de Mahler et de la transcendance de leurs valeurs aux points algébriques a été initiée par Mahler dans les années 30 et a ensuite été développée par plusieurs auteurs. Dans cet exposé, nous allons aborder quelques aspects arithmétiques des fonctions de Mahler. Lorsque f(x) est un série formelle satisfaisant une équation de la forme f(x) =p(x)f(x^l), où p(x) est un polynôme à coefficients entiers et où l est un entier supérieur ou égale à 2, nous montrerons comment certaines caractéristiques de f(x) se reflètent sur p(x), notamment en liaison avec la théorie des automates. Si le temps le permet, nous aborderons quelques analogies entre les fonctions de Mahler et les E- et les G-fonctions. Il s’agit d’un travail en commun avec Sara Checcoli.
vendredi 2 juin 2017
09:15
Une introduction à la théorie des modèles. Compacité et propriétés asymptotiques. (3/3)
Une introduction à la théorie des modèles. Compacité et propriétés asymptotiques. (3/3)
09:15 - 10:35
10:35
Pause Café
Pause Café
10:35 - 11:00
11:00
Théorie de Galois des équations aux différences, classique et paramétrée. (4/4)
Théorie de Galois des équations aux différences, classique et paramétrée. (4/4)
11:00 - 12:00