==== Lettre de l'IRIF du 17 juin 2022 ==== === Edito === Cette semaine, suivi du **conseil de laboratoire extraordinaire** avec les responsables d'équipe et quelques informations concernant les **missions d’enseignement pour les doctorants**. Côté actualités scientifiques, quelques annonces à propos des prochaines conférences organisées par l’IRIF : **ICALP** et **Highlights**. Prenez notamment note du **cocktail d’ouverture et du vernissage** de l’exposition //50 years of Theoretical Computer Science// : **mardi 5 juillet à partir de 18h00**. Du côté de nos partenaires, une formation présentant les modalités de l'**appel Postdoctoral Fellowships 2022**, et le **prix Thierry Célérier – Femmes & Sciences**. Enfin, un focus sur un extrait d’**article de QuantaMagazine** intitulé //Elegant Six-Page Proof Reveals the Emergence of Random Structure//. Bonne lecture ! === Annonces de la direction === * **Conseil de laboratoire extraordinaire avec responsables d'équipe**. Le compte rendu est disponible sur [[:intranet:conseil:]] avec validation par le conseil de la proposition de la nouvelle direction au 01/01/2023. Les prochaines étapes sont aux instances du CNRS et d'Université Paris Cité. * **Mission d'enseignement pour doctorants** * Cette mission n'est pas obligatoire mais très fortement recommandée et demandée par l'IRIF. La mission d’enseignement fait partie de notre profession. Les doctorants et doctorantes doivent y être associés au plus tôt, à la fois pour leur carrière, mais aussi pour assurer un bon fonctionnement de département d'enseignement. * **L'IRIF demande donc à tous les doctorantes et doctorants d'assurer durant les 3 années de leur thèse** : * __Pour un·e doctorant·e francophone__ : **au moins 2 et si possible 3 années** de mission d’enseignement * __Pour un·e doctorant·e non-francophone__ : **au moins 1 et si possible 2 années** de mission d’enseignement (après apprentissage du français) * **Pour candidater pour la première fois à une mission d'enseignement** en informatique avec les enseignants-chercheurs de l'IRIF, les candidatures doivent être déposées **avant le 24 juin 2022**. Toutes les informations à ce propos sont disponibles sur la page web suivante : [[http://www.informatique.univ-paris-diderot.fr/ufr/doctorants/accueil]] * **Fermeture du secrétariat** : Le secrétariat sera fermé durant la matinée du 30 juin. * **Office relocation** : anticipating the start of the new academic year in september, when the new members will have to get an office, you have the possibility to change or trade offices. If you wish to do so, please write an email to [[lesellier@irif.fr]]. * **PhD extensions**: if you need to get an extension of your PhD, you should alert the doctoral school before **July, 2nd**. \\ === Actualités === * **ICALP 2022, July 4-8** : Follow this link to register for the conference [[https://icalp2022.irif.fr/?page_id=50#registration]]. While making your reservation, choose bank transfer as a mean of payment and send an email to [[secretariat@irif.fr]]. * __9 workshops__: on **July 4** at la Halle aux Farines of Université Paris Cité. [[https://icalp2022.irif.fr/?page_id=46|More informations about the workshops]]. * __Conference ICALP__: **July 5-8** at la Halle aux Farines of Université Paris Cité. [[https://icalp2022.irif.fr/?page_id=42|Programme and infos]]. * __Cocktail opening and vernissage of the exhibition 50 years of Theoretical Computer Science__: **July 5 from 6:00 to 10:00 pm.** Where? Université Paris Cité, [[https://www.google.com/maps/place/12+Rue+de+l'École+de+Médecine,+75006+Paris/@48.8516554,2.3410084,17z/data=!3m1!4b1!4m5!3m4!1s0x47e671de8164e5f3:0x6046f056df018732!8m2!3d48.8516554!4d2.3410084|12 rue de l’école de médecine 75006 Paris]]. The event is free but **registration is mandatory**. To register, please send an email to [[communication+cocktail@irif.fr]] * __Call for volunteers__: The organizing committee is **still looking for volunteers** to help during the event. In appreciation of your help, we offer you the opportunity to attend the conference for free on your own time. To volunteer for ICALP, please send an email to [[cadet@irif.fr]] and in the meantime, [[https://framadate.org/rw3cM8q71HKpogI6|fill out you availabilities in this form]]. * **Conference Highlights** : The [[https://highlights-conference.org/2022/|2022 edition of Highlights]] will happen from **June 28th to July 1st, 2022**, in Paris, France. The conference will be hosted by Université Paris Cité, and happen on the site of Grands Moulins. To register, please fill in the [[https://framaforms.org/highlights2022-on-site-registration-1652701135|registration form]]. If you wish to **watch Highlights remotely**, please fill in the [[https://framaforms.org/highlights2022-online-registration-1652345864|online registration form]]. Online attendance is free. * **The International Congress of Mathematicians 2022** (ICM 2022) will take place between **6 - 14 July 2022 as a virtual event**. Free registration for the virtual ICM 2022 is open! There will be TCS talks from amazing scientists and speakers including as Gonthier, Hastings, LeCun, Mossel, Vazirani, Vidick, Wigderson, Williams etc. ... [[https://www.mathunion.org/icm/icm-2022/virtual-icm-2022-program-sections|More information here]]. * ** [Reminder] Data Intelligence Institute of Paris / Seminar** : The next diiP seminar //Deep Transfer Learning and Multi-task Learning// will be presented [[https://u-paris.zoom.us/j/7586195058?pwd=RzVQMmZoWS9NbVQ1QWpKaTNqdkxYQT09|on Zoom]] on **June 15th, 2022, at 4 PM** (Central European time) by **Dr. Shen Liang**. He has worked on a variety of data management and mining problems including time series analysis, semi-supervised learning, knowledge-guided deep learning and GPU-accelerated computation within various fields such as healthcare, manufacturing, geosciences and astrophysics. \\ === Extrait d'un article de Quantamagazine === {{ :intranet:lettre-irif:2022-06-17:kk-graphs_2560_lede.jpg?500|Will a random graph result in a triangle (right), a Hamiltonian cycle (center), or some other property of interest?}} Two young mathematicians have astonished their colleagues with a full proof of the Kahn-Kalai conjecture — a sweeping statement about how structure emerges in random sets and graphs. The Kahn-Kalai conjecture is very broad but it can be understood by considering a simple case. First, imagine a graph: a set of points, or vertices, connected by lines, or edges. To make a random graph, take a biased coin — one that lands on heads with a probability of 1%, or 30%, or any other percentage between zero and 100 — and flip it once for a given pair of vertices. If the coin lands on heads, connect those vertices with an edge; if the coin lands on tails, don’t. Repeat this process for every possible pair of vertices. Mathematicians want to know when such a graph is likely to have some sort of interesting structure. Perhaps it will contain a triangle. Or maybe it will have a Hamiltonian cycle, a chain of edges that passes through every vertex exactly once. It’s possible to think about any property, so long as it is “increasing” — that is, if adding more edges to a graph that already contains the property will not destroy the property. If the probability of the coin turning up heads is low, edges will be rare, and properties like Hamiltonian cycles are not likely to arise. But if you dial up the probability, something strange happens. Each property has what’s called a threshold: a probability at which the structure emerges, often very abruptly. Mathematicians want to determine such thresholds for various properties of interest. “Thresholds are maybe the most basic thing you’d try to understand,” Fox said. “I look at a random object; does it have the property that I’m interested in?” Yet while the threshold has been calculated for Hamiltonian cycles and some other specific structures, in most cases it remains very difficult to determine a precise threshold, or even a good estimate of one. But averages can be misleading. For Hamiltonian cycles, for example, the expectation threshold is 1/N, which is lower than the true value of log(N)/N by a factor of log(N). In 2006, Kahn and Kalai posited that this was actually the worst-case scenario. Their eponymous conjecture states that the gap between the expectation threshold and the true threshold will never be greater than a logarithmic factor. The conjecture, according to Conlon, “essentially takes what is the central question in random graphs and gives a general answer for it.” At first, neither Park nor Pham had any intention of tackling the original conjecture. Since first learning about the problem as a graduate student, Park “could feel the beauty and the strength of this conjecture,” she said. “But I never imagined that I would prove it.” //Read this article of Quantamagazine entitled [[https://www.quantamagazine.org/elegant-six-page-proof-reveals-the-emergence-of-random-structure-20220425/|Elegant Six-Page Proof Reveals the Emergence of Random Structure]].// === Appels d'offres et informations des partenaires === * **Université Paris Cité / Postdoctoral Fellowships 2022** : Université Paris Cité propose une formation présentant les modalités de l'appel [[https://ec.europa.eu/info/funding-tenders/opportunities/portal/screen/opportunities/topic-details/horizon-msca-2022-pf-01-01;callCode=HORIZON-MSCA-2022-PF-01;freeTextSearchKeyword=;matchWholeText=true;typeCodes=1;statusCodes=31094501,31094502,31094503;programmePeriod=null;programCcm2Id=null;programDivisionCode=null;focusAreaCode=null;destination=null;mission=null;geographicalZonesCode=null;programmeDivisionProspect=null;startDateLte=null;startDateGte=null;crossCuttingPriorityCode=null;cpvCode=null;performanceOfDelivery=null;sortQuery=sortStatus;orderBy=asc;onlyTenders=false;topicListKey=callTopicSearchTableState|Postdoctoral Fellowships 2022]] du programme de financement de la Commission Européenne : Horizon Europe. Celle-ci aura lieu le mardi 5 Juillet 2022 de 10 à 13h. {{ :intranet:lettre-irif:2022-06-17:fac_sciences_info_recherche_appel_msca_postdoctoral_fellowships_2022_session_d_information.eml |Pour s'inscrire}}. * **Association Femmes & Sciences / Prix Thierry Célérier** : Le {{ :intranet:lettre-irif:2022-06-17:appel_a_candidature_prix_thierry_ce_le_rier_-_femmes_et_sciences.eml |prix Thierry Célérier – Femmes & Sciences}} distingue et récompense une jeune femme de qualité, en situation de handicap, développant un projet relevant des mathématiques, des sciences de la matière, de l’informatique, des sciences de la vie, des sciences de l’ingénieur et/ou des technologies innovantes. [[https://www.femmesetsciences.fr/prix-tc-fets|Pour plus d'informations ici]]. Le dossier de candidature doit être envoyé avant le **30 juin 2022.** * **Université Paris Cité / Nouveau portail pour vos demandes d'assistance informatique** : À compter du lundi 27 juin, un {{ :intranet:lettre-irif:2022-06-17:tutoriel_help_utilisateurs_upcite_juin_2022-1.pdf |nouveau service d’assistance informatique nommé HELP}} accompagnera les usagers d'Université Paris Cité. Vous pourrez y accéder via votre compte Université Paris Cité en cliquant sur le lien suivant : [[http://help.app.u-paris.fr]]. **Newsletter des partenaires** : Les lettres arrivent sporadiquement aux membres de l'IRIF. Elles sont donc listées ci-dessous. * [[https://u-paris.fr/?mailpoet_router&endpoint=track&action=click&data=WyI3OCIsIjZndWNoYmh3OGFza3MwNGs4OHd3b2NvOHNndzh3c3djIiwiNDE0IiwiODg0NjQyMzNkNWQ4IixmYWxzZV0|Université Paris Cité Infos]] du 17/06/2022 * [[https://u-paris.fr/?mailpoet_router&endpoint=view_in_browser&action=view&data=WzY5MCwiZTU0YmE0ZDJlZDQ1IiwwLDAsMCwxXQ|L'actualité étudiante]] d'Université Paris Cité du 16/06/2022 * [[https://www.getrevue.co/profile/ins2i-cnrs/issues/newsletter-de-l-ins2i-cnrs-1221706?utm_campaign=Issue&utm_content=view_in_browser&utm_medium=email&utm_source=INS2I+-+CNRS|Newsletter de l'INS2I]] du 16 juin 2022 : médailles d'argent et de bronze du CNRS pour l'INS2I, portraits de nouveaux membres au CNRS dont Simon Apers (IRIF) et Liat Peterfreund (ex-IRIF), un focus sur les actions parités du GREYC (Caen) \\ === Agenda de la semaine du 20 juin au 24 juin === [[:seminaires:verif:|Vérification]] · Lundi 20 juin, 11:00, 3052 and [[https://u-paris.zoom.us/j/87413678251?pwd=Wmg5cTNuSy9XMnFNdlJhRFkrR3F5dz09|Zoom link]] · \\ **Mahsa Shirmohammadi** (IRIF − CNRS), //Learning Weighted Automata over PIDs// [[:seminaires:algocomp:|Algorithmes et complexité]] · Mardi 21 juin, 11:00, Room 3052 · \\ **Chandrima Kayal** (ISI Kolkata), //Separations between Combinatorial Measures for Transitive Functions// [[:seminaires:numeration:|One world numeration seminar]] · Mardi 21 juin, 14:30, Online · \\ **James A. Yorke** (University of Maryland), //Large and Small Chaos Models// [[:seminaires:algocomp:|Algorithmes et complexité]] · Mardi 21 juin, 15:00, Room 3052 · \\ **Sayantan Sen** (ISI Kolkata), //Tolerant Bipartiteness Testing in Dense Graphs// [[:seminaires:pps:|Preuves, programmes et systèmes]] · Jeudi 23 juin, 10:30, Room 3052 & online · \\ **Lison Blondeau-Patissier** (Aix-Marseille Université), //Positional Injectivity for Innocent Strategies// [[:seminaires:combi:|Combinatoire énumérative et analytique]] · Jeudi 23 juin, 14:00, Room 3052 et zoom · \\ **Marc Noy** (UPC (Espagne)), //TBA// [[:seminaires:acs:|Analyse et conception de systèmes]] · Vendredi 24 juin, 10:30, Room 3052 · \\ **Stanislas Polu** (Open AI), //Formal Mathematics Statement Curriculum Learning// [[:seminaires:automates:|Automates]] · Vendredi 24 juin, 14:30, Room 3052 · \\ **Nikhil Balaji**, //Identity Testing for Radical Expressions//