moteur de recherche

Archives

Les archives des événements LIGM

Séminaire Algo - Fabian Reiter

Fabian Reiter

Descriptive distributed complexity.

Seminar room, Copernic Building, 4th floor

This talk connects two classical areas of theoretical computer science: descriptive complexity and distributed computing. The former is a branch of computational complexity theory that characterizes compl...[more]


8-Oct-2019
Séminaire A3SI - Bryan Russell

Le prochain séminaire de l'équipe A3SI du LIGM aura lieu mercredi 2 octobre à 14h à l'ENPC (salle B412, Aile Becquerel, bâtiment Coriolis). Nous aurons le plaisir d'écouter Bryan Russell nous présenter ses travaux sur "Moments and Bounces"

Abstract: In my talk, I will describe recent...[more]


2-Oct-2019
Séminaire LRT - UAVs and their Potential in Delivering IoT Services

Prof. Tarik Taleb, School of Electrical Engineering, Aalto University, Finland (Research Group: mosaic-lab.org)

UAVs and their Potential in Delivering IoT Services

Salle de séminaire - Bâtiment Copernic

Abstract: The usage of Unmanned Arial Vehicles (UAVs), simply known as drones, for mai...[more]


4-Jun-2019
Séminaire Algo - Cédric Bentz

Cédric Bentz

Complexité (paramétrée ou non) de problèmes d'optimisation dans les graphes

Seminar room 4B125 (Copernic building)

Abstract: Dans cet exposé, je présenterai des résultats récemment obtenus qui concernent des généralisations de problèmes classiques d'optimisation dans les gr...[more]


16-Apr-2019
Séminaire Algo - Nathan Grosshans

Nathan Grosshans

The power of programs over monoids taken from some small varieties of finite monoids

Seminar room 4B125 (Copernic building)

Abstract: One major approach to the P vs NP question in computational complexity theory is to look for super-polynomial Boolean circuit lower boun...[more]


9-Apr-2019
Séminaire Algo - Francesco Dolce

Francesco Dolce

Eventually dendric sets

Seminar room 4B125 (Copernic building)

Abstract: A factorial set of words is called eventually dendric if the possible extensions of all long enough words are described by a graph which is a tree. This new class of languages contains a number of c...[more]


2-Apr-2019
Séminaire du LIGM - Tomas Recio

Tomas Recio

On GeoGebra Automated Reasoning Tools

Seminar room 4B125 (Copernic building)

Abstract: GeoGebra is a free/open source software developed within the

academic community. It is a dynamic mathematics software [HP] that bringstogether geometry, algebra, spreadsheets, graphing, s...[more]


1-Apr-2019
Séminaire Algo - Sylvain Schmitz

Sylvain Schmitz

The complexity of reachability in vector addition systems

Seminar room 4B125 (Copernic building)

Abstract: The last few years have seen a surge of decision problems with an astronomical, non primitive-recursive complexity, in logic, verification, and games. While the exi...[more]


26-Mar-2019
Séminaire Algo - Abdessalam Bouchekif

Abdessalam Bouchekif

Structuration automatique et l'analyse des sentiments

Salle de séminaire (4B05R) - Bâtiment Copernic

Abstract: 1) La structuration thématique est une tâche qui consiste à l’utilisateur de prendre rapidement connaissance de l’ensemble des thèmes traités dans un document conten...[more]


19-Mar-2019
Séminaire Algo - Laurent Vuillon

Laurent Vuillon

Informatique théorique pour Maurice Nivat et pour les nombres de Markoff

Salle de séminaire (4B05R) - Bâtiment Copernic

Abstract: Dans cet exposé, nous allons présenter une partie des travaux de Maurice Nivat sur les pavages du plan par translation. Nous verrons les différents pro...[more]


19-Mar-2019
Displaying results 21 to 30 out of 393