Le CRIL en bref

présentation

Le Centre de Recherche en Informatique de Lens (CRIL UMR 8188) est un laboratoire de l’Université d’Artois et du CNRS qui regroupe plus de cinquante membres : chercheurs, enseignants-chercheurs, doctorants et personnels administratifs et techniques.

En savoir

Recherches en intelligence artificielle et applications

mots clés du CRIL

Actualités (RSS)

Séminaire 

Romain Rouvoy

Séminaire 

Ronan Bocquillon

Séminaire 

Martin Dieguez (IRIT)

Séminaire Let's compute through infinite time!

Sabrina Ouazzani

In this talk, we present infinite time Turing machines (ITTM), from
the original definition of the model to some new infinite time
algorithms.

We will present algorithmic techniques that allow to highlight some
properties of the ITTM-computable ordinals. In particular, we will
study gaps in ordinal computation times, that is to say, ordinal times
at which no infinite time program halts.

En savoir

Recrutement CDD d’ingénieur de recherche en Intelligence Artificielle au CRIL (Lens) - 1 an renouvelable

Un contrat d’ingénieur de recherche est disponible dès à présent au CRIL UMR 8188, Centre de Recherche en Informatique de Lens.

La personne recrutée participera à des développements de prototypes logiciels dans le domaine de l’intelligence artificielle,
et plus particulièrement dans les thématiques de la représentation des connaissances et des raisonnements, des algorithmes
pour la satisfaisabilité et les contraintes.
Elle sera idéalement titulaire d’une thèse en informatique et aura une expérience forte du développement logiciel (C, C++, Java).
Les excellentes candidatures de niveau master ou ingénieur seront cependant examinées avec attention.

Les candidat-e-s doivent envoyer leurs CVs et lettres de motivation en pdf uniquement à Eric Grégoire, directeur du CRIL,
à l’adresse gregoire (at) cril.fr, à qui des renseignements complémentaires peuvent être demandés.

Ce contrat est financé par le Conseil Régional des Hauts de France, dans le cadre du projet CPER DATA,
et est géré par le CNRS qui sera l’employeur.

Le CRIL est un centre de recherche liant le CNRS et l’Université d’Artois. Il comporte près de 60 membres, tous
dans la thématique de l’intelligence artificielle.

En savoir