Recherche

/Exposé /Talk/ Let G be a bridgeless cubic graph. Recently, in collaboration with Edita Máčajová and Jean Paul Zerafa, we have solved a conjecture

Simulating noninteracting systems of fermionic particles (such as electrons) -- so called 'free fermions' -- is a basic routine in computational many

Responsable de département : Pierre Ramet Le département SATANAS contribue à la conception et au développement d'outils de simulation robustes et
Le 16ème symposium FPS 2023 (Fondements et Pratiques de la Sécurité) aura lieu du 11 au 13/12/2023n à Bordeaux INP. Consulter l’annonce pour en savoir
Aurélie Bugeau est lauréate de l’IUF au titre de la chaire Innovation. Pour rappel : l'IUF a pour mission de favoriser le développement de la
Aurélie Bugeau est co-autrice de la publication d'un livre en collaboration avec l'université de Cambridge, le Fitzwilliam Museum (Cambridge) et l

Unifying view of physical ability metrics for humans, robots and their collaboration Antun Skuric Visio: https://u-bordeaux-fr.zoom.us/j/83483228567

A round-table session: each person will tell in five minutes about the current research projects / interests, maybe including the wishes for starting

Les assistants de preuve sont particulièrement utiles dans la vérification de composants matériels ou logiciels, et ce pour des propriétés

https://ratio.labri.fr/#meetings Title: Algorithms for consistent query answering under primary key constraints Abstract: Databases often have