ACA 2019

Simon Plouffe

Louis-Xavier — Fri, 12 Jul 2019 21:03:14 +0000

Simon Plouffe est un mathématicien indépendant né à Saint-Jovite au Canada et maintenant établi en France. En 1995, il publie avec Neil Sloane, l’Encyclopédie des suites de nombres entiers. Après sa parution, l’Encyclopédie a été mis en ligne et est devenu l’OEIS, une référence centrale pour les suites. À l’heure actuelle, plus de 7 000 utilisateurs alimentent l’OEIS chaque jour. En 1995, il trouva une formule et un algorithme pour le calcul du n-ième chiffre binaire de π, puis plus tard en 1996, un algorithme pour la base 10. Il travailla sur un programme (avec Bergeron, Salvy et Zimmermann) appelé GFUN, capable de trouver une formule pour une suite à partir de quelques termes. La librairie est maintenant intégrée à Maple et Mathematica et elle est utilisée dans l’OEIS. La plupart des trouvailles et des découvertes ont été faites à l’aide de Maple et de techniques expérimentales. En 2016, il est devenu professeur à l’Université de Nantes (IUT). En 1995, il ouvre le site Web Inverse Symbolic Calculator, renommé ensuite l’Inverseur de Plouffe à l’UQAM. Une partie de la base de données se trouve maintenant sur son propre site Web. Il contient 11,3 milliards d’entrées et la base de données complète compte désormais 17,5 milliards d’entrées. Ces moteurs contiennent des constantes mathématiques et sont utilisés pour trouver des formules et des identités dont plusieurs se retrouvent sur Wikipedia. À 19 ans, il détenait le record du monde Guinness pour la mémorisation des décimales de π jusqu’à 4096 chiffres.

➥Résumé

Sylvie Ratté

Louis-Xavier — Fri, 12 Jul 2019 21:02:36 +0000

Sylvie Ratté est professeure au Département de génie logiciel et des TI à l’École de technologie supérieure à Montréal (Québec, Canada) et est directrice de recherche du LiNCS (Laboratoire d’ingénierie cognitive et sémantique). Elle a auparavant été boursière postdoctorale au Département des sciences cognitives et du cerveau du MIT. Ses recherches portent actuellement sur le traitement du langage naturel, l’extraction de données et l’apprentissage automatique, avec des applications en santé (détection et suivi des patients âgés et atteints de la maladie d’Alzheimer) et en éducation (suivi et surveillance de l’utilisation par les élèves de concepts spécialisés et de troubles de l’apprentissage). Ses collaborateurs de recherche incluent l’Université de Potsdam (Allemagne), l’Université nationale autonome de Mexico (Mexique), l’Université de médecine de Caroline du Sud (États-Unis) et l’Universidad Técnica Particular de Loja (Équateur).

➥Résumé

Franco Saliola

Louis-Xavier — Fri, 12 Jul 2019 21:01:57 +0000

Franco Saliola est un jeune chercheur du Département de mathématiques de l’Université du Québec à Montréal qui a intégré avec succès l’exploration à l’aide du calcul symbolique dans de nombreuses facettes de son programme de recherche. Il travaille dans un domaine des mathématiques où les propriétés des objets géométriques et algébriques peuvent être explorées en examinant les interactions entre certaines structures de données combinatoires. Un fil conducteur de ce programme de recherche est dédié au développement de techniques de décomposition de certains objets complexes (“représentations”) et à leur application à des problèmes de décomposition de longue date en algèbre linéaire, en théorie des probabilités et en représentation des groupes. Parmi les utilisations du calcul symbolique, on peut mentionner : le développement efficace de l’intuition et de la visualisation de problèmes de recherche; la capacité à explorer des exemples complexes qui seraient difficiles d’explorer autrement; et l’élaboration de stratégies de preuve par le biais de manipulations formelles d’algèbre de haut niveau.

➥Résumé

David Stoutemyer

Louis-Xavier — Fri, 12 Jul 2019 21:00:10 +0000

David Stoutemyer est titulaire d’un baccalauréat en ingénierie de CalTech, d’une maîtrise en génie mécanique du MIT et d’un doctorat de Stanford en informatique. Il a enseigné pendant de nombreuses années à l’Université d’Hawaï dans les départements de génie général, de génie électrique ainsi que celui de l’information et informatique. Il a créé la compagnie Soft Warehouse avec Albert Rich qui a conçu les premiers produits pour ordinateurs personnels à 8 bits, comme muLisp et un programme de calcul algébrique appelé muMath. Le développement du système de calcul symbolique Derive pour IBM-PC a suivi ainsi que d’autres ordinateurs personnels à processeur Intel. La composante de calcul symbolique du logiciel de la calculatrice TI-92 est également l’un de leurs produits. Après l’acquisition de Soft Warehouse par Texas Instruments (TI), il a travaillé pour celle-ci pendant quelques années avant d’y devenir consultant. Il est maintenant professeur associé à l’Université d’Hawaï.

➥Résumé

Téléchargez le programme officiel!

Louis-Xavier — Fri, 12 Jul 2019 20:00:41 +0000

Le programme officiel de la conférence avec tous les résumés est maintenant disponible ici.

L’horaire de la conférence est en ligne

Louis-Xavier — Thu, 11 Jul 2019 00:20:41 +0000

Téléchargez l’horaire complet de la conférence en format PDF.

Inscription hâtive presque terminée!

Louis-Xavier — Thu, 16 May 2019 12:00:24 +0000

Il ne reste que 2 mois avant ACA 2019 !

N’oubliez pas de vous inscrire avant le 31 mai 2019 pour bénéficier de nos frais d’inscription hâtive (early-bird). Vous trouverez toutes les informations concernant le processus d’inscription en ligne ici : http://aca2019.etsmtl.ca/fr/inscription/inscription-en-ligne/

Découvrez les options d‘hébergement pour lesquelles le comité organisateur a obtenu des tarifs réduits. Le nombre de chambres est limité, alors réservez rapidement !

Nous avons hâte de vous accueillir à Montréal en juillet !

Deuxième appel à résumés

Louis-Xavier — Fri, 19 Apr 2019 21:14:40 +0000

Il est encore temps d’envoyer votre résumé à l’une des 11 sessions de la conférence !

Les résumés pour un exposé ou une présentation par affiche doivent être rédigés avec le modèle, puis soumis aux organisateurs de session avant le 10 mai 2019.

Un avis d’acceptation sera transmis avant le 17 mai 2019.

Appel à résumés

Louis-Xavier — Fri, 01 Mar 2019 14:45:32 +0000

Les responsables du programme invitent tous les futurs participants à soumettre un résumé pour une présentation ou une présentation par affiches. Les résumés doivent être préparés à l’aide du modèle et envoyés aux organisateurs de session avant le 19 avril 2019. La page Sessions présente une liste des 11 sessions. L’objectif et le cadre de chaque session ainsi que les coordonnées des organisateurs sont disponibles sur la page Web de chaque session.

Deuxième appel à propositions de session

Louis-Xavier — Fri, 08 Feb 2019 19:50:31 +0000

Vous êtes invités à soumettre des propositions de session pour ACA2019 avant le 22 février 2019 aux responsables du programme. Le comité scientifique évaluera et approuvera les propositions sur une base régulière. Les sessions acceptées seront immédiatement annoncées sur la page Sessions.

Comme le veut la tradition ACA, les sessions et les présentations se déroulent en anglais. Le comité organisateur encourage les utilisateurs du calcul symbolique francophones à participer à cette conférence.

Une proposition de session doit inclure les éléments suivants :

Titre de la session ;
Court résumé qui décrit la session ;
Les informations pour contacter les organisateurs.

Après l’acceptation d’une session, les organisateurs d’une session devront :

Contacter et inviter les conférenciers ;
Approuver les résumés pour les exposés ;
Effectuer l’entretien et la mise à jour d’une page web qui décrit la session avec les résumés des exposés ;
Envoyer, au comité organisateur de ACA 2019, une adresse URL de la page web de la session.

Les sessions se déroulent par blocs de 2 à 3 heures, chacun consistant en 4 à 6 exposés d’une demi-heure ou en une présentation d’une heure suivie de 2 à 4 exposé d’une demi-heure. Ces blocs horaires peuvent inclure une pause d’une demi-heure au milieu. Notez que la plage horaire d’une demi-heure pour un exposé comprend du temps pour les questions.