Exposés

Exposés invités (4 documents )

Faster k-SAT algorithms using biased-PPSZ
Uri Zwick
abstract : Exposés invités
GdR IM
sciencesconf.org:jnim2019:249901

La combinatoire de Catalan rectangulaire : un survol
François Bergeron
abstract : Exposés invités
GdR IM
sciencesconf.org:jnim2019:249896

La théorie des jeux en synthèse assistée par ordinateur
Véronique Bruyère
abstract : Exposés invités
GdR IM
sciencesconf.org:jnim2019:233511

Sketches and streaming algorithms for string processing
Tatiana Starikovskaya
abstract : Exposés invités
GdR IM
sciencesconf.org:jnim2019:249903

Exposés IA-IM (4 documents )

Apprentissage séquentiel avec graphes de feedback
Frédéric Koriche
abstract : Exposés IA-IM
IA-IM
sciencesconf.org:jnim2019:257285

L'informatique mathématique rencontre le choix social computationnel
Jérôme Lang
abstract : Exposés IA-IM
IA-IM
sciencesconf.org:jnim2019:251668

Preuves formelles et sémantique du langage naturel
Christian Retoré
abstract : Exposés IA-IM
IA-IM
sciencesconf.org:jnim2019:251725

Résolution d'équations logiques
Philippe Balbiani
abstract : Exposés IA-IM
IA-IM
sciencesconf.org:jnim2019:256649

Exposés (9 documents )

Automates linéaires cellulaires, p-automaticité et mesures invariantes
Reem Yassawi
abstract : Exposés
GdR IM
sciencesconf.org:jnim2019:250007

Codage géométrique pour la synthèse
Pooran Memari
abstract : Exposés
GdR IM
sciencesconf.org:jnim2019:250067

Combinatoire des produits de mélange (ou comment battre un jeu de cartes)
Matthieu Josuat-Verges
abstract : Exposés
GdR IM
sciencesconf.org:jnim2019:250034

From validated numerics to spacecraft trajectories and back
Mioara Joldès
abstract : Exposés
GdR IM
sciencesconf.org:jnim2019:250038

L'accessibilité dans les réseaux de Petri est non élémentaire
Jérôme Leroux
abstract : Exposés
GdR IM
sciencesconf.org:jnim2019:250066

Les jeux combinatoires et le GDR IM
Aline Parreau
abstract : Exposés
GdR IM
sciencesconf.org:jnim2019:250036

Proof complexity of the graph isomorphism problem
Joanna Ochremiak
abstract : Exposés
GdR IM
sciencesconf.org:jnim2019:250044

Sur les protocoles Diffie-Hellman pré- et post-quantique
Benjamin Smith
abstract : Exposés
GdR IM
sciencesconf.org:jnim2019:250047

Unions de boules pour la représentation de formes
Isabelle Sivignon
abstract : Exposés
GdR IM
sciencesconf.org:jnim2019:250045

Poster (12 documents )

Analyses et preuves formelles d'erreurs d'arrondi de méthodes de Runge-Kutta
Florian Faissole, Sylvie Boldo, alexandre chapoutot
abstract : Poster

sciencesconf.org:jnim2019:258167

Caractérisation logique du temps minimal des automates cellulaires
Théo Grente
abstract : Poster

sciencesconf.org:jnim2019:258474

Decision Procedures for Separation Logic
Alessio Mansutti
abstract : Poster

sciencesconf.org:jnim2019:256630

Define A Programming Language for the Verification of Quantum Programs
Dong-Ho Lee
abstract : Poster

sciencesconf.org:jnim2019:257261

Dépliement de Polycubes et degré des sommets
Lydie Richaume
abstract : Poster

sciencesconf.org:jnim2019:259072

Different approaches for controlling Boolean networks
Célia Biane
abstract : Poster

sciencesconf.org:jnim2019:258273

Fast Gröbner basis computation and polynomial reduction for generic bivariate ideals
Robin Larrieu, Joris Van Der Hoeven
abstract : Poster

sciencesconf.org:jnim2019:258238

Numerical study of hypergraph product codes
Antoine Grospellier, Anirudh Krishna
abstract : Poster

sciencesconf.org:jnim2019:257032

Processus à particules dures résistants à la localisation
Ghazal Kachigar
abstract : Poster

sciencesconf.org:jnim2019:259253

Reactive Synthesis of Systems over Data Words
Léo EXIBARD, Pierre-Alain Reynier, Emmanuel Filiot
abstract : Poster

sciencesconf.org:jnim2019:256653

Une étude de la conjecture du triangle
christophe cordero
abstract : Poster

sciencesconf.org:jnim2019:256949

ZX-calculus for finite group algebra
Titouan Carette
abstract : Poster

sciencesconf.org:jnim2019:259241

Assemblée Générale (1 document )

Intervention comme DAS à l'INS2I (CNRS)
Adeline Nazarenko
abstract : Assemblée Générale
Assemblée Générale
sciencesconf.org:jnim2019:257590

Personnes connectées : 1