-
Visite du nouveau directeur de l'INS2I (département informatique du CNRS), Ali Charara
Ali Charara visites tous les laboratoires de l'INS2I. Il prévoit 1/2 journée pour rencontrer
l'équipe de direction et avoir un aperçu des recherches qui se font à l'IRIF. Sur les recommandations de l'INS2I, seront privilégier des présentations scientifiques courtes pour permettre au contraire à Ali d'avoir une vue large de ce qui se fait dans le laboratoire aujourd'hui.
Dates possibles : 24 avril matin ou après-midi, ou 9 mai après-matin
Merci d'être présent massivement.
Cet évènement sera différent de celui de l'évaluation HCERES et pourrait être utiliser comme un bon moyen de mieux connaître les recherches de nos collègues orateurs.
- Ordre du jour du conseil de laboratoire du 26 mars 13h :
- Budget labo
- Etat des dépenses sur les subventions du labo
- Prévision des prochaines dépenses
- Suggestion de dépenses communes
-
Recrutements CNRS
- Classement des priorités d’affectation à l’IRIF parmi les 2 candidats CR CNRS ayant demandé l’IRIF et ayant été classés
- Programme Chaires d’excellence de l’IdEx de l’Université de Paris
- Présentation d'un candidat remonté pour accord du conseil
- Assistant de prévention
- Remplacement de Laïfa Ahmadi en prévision de son départ prochain à la retraite
- Loi de programmation pluriannuelle de la recherche
- Discussion sur la suite à donner à la consultation lancée par le CNRS
- Actualités, diffusion scientifique,
actions pédagogiques ou grand public
N’hésitez pas à fa!re remonter toute action à communiquer ou à valoriser à
news@irif.fr
Le laboratoire aimerait communiquer aussi plus d'
actions pédagogiques ou grand public
marquantes pour lesquelles vous vous êtes particulièrement engagés.
-
Fête de la science
:
Merci de répondre présent à cet évènement de l’Université auquel l'IRIF se doit de participer.
Plus d'information dans le mail de Bérénice en fin de lettre.
- From March 20th to May 22nd, Uri Zwick
(Univ. of Tel Aviv) will give a
series of 7 courses
related to his FSMP Chaire of Excellence on the topic of
Games on Graphs and Linear Programming Abstractions
each
Wednesday 2:15pm - 4:15pm at IRIF, room 3052
.
-
FSMP
offers 21 PhD student positions in Maths and TCS under H2020 COFUND project MathInParis. As a member of the FSMP network, IRIF is an eligible hosting lab.
Call for application is open until April, 1st 2019
.
Applicants must be international students, but master students already in France for less than a year are eligible.
- Highlights of Algorithms
: After Paris in 2016 organized by IRIF and Inria, Berlin in 2017, and Amsterdam in 2018, the next event will be at University of
Copenhagen, June 14-16, 2019
.
IRIF can help to support any attendance
if needed, and in cease of early registration (deadline: March 29th).
Sequent
: A sequent represents a theorem by a sequence of hypotheses and the sequence of possible theses they imply. This formalism underlines a symmetry hypotheses/theses ruled by negation and is used in sequent calculus to formalize proofs and to study their properties. Here it is an example of sequent: A , B∨C ⊢ A∧B , A∧C
Informations des partenaires
Liste des emails joints en pièces attachées :
- Region Ile de France et DIM de Maths, Informatique et Quantique :
Dans le cadre du financement de
thèses industrielles « Paris Region PhD² »
, une réunion d’information dédiée aura lieu du j
eudi 28 mars à 16h
chez Cap Digital.
- CNRS :
CR du conseil scientifique de l’INS2I de janvier 2019 nouvellement élu avec la première participation d’Ali Charara, nouveau directeur de l’INS2I.
- Paris Diderot
: Courrier adressé par Frédérique Vidal, ministre de l’Enseignement supérieur, de la Recherche et de l’Innovation, aux chercheurs, afin d’inviter chercheurs, enseignants-chercheurs et BIATSS à participer à la consultation sur la future loi de programmation de la recherche.
- FSMP :
Journées Carrières en Mathématiques les 18 et 19 avril prochain à Jussieu. Première journée : conférences sur l’insertion des docteurs. Seconde journée : ateliers