Le CNRS 🌍 ouvre sur concours externe (de la Fonction Publique) un poste d'administrateur-trice systèmes et réseaux pour le Laboratoire Méthodes Formelles : Infos sur le poste : profilsdemplois.cnrs.fr/ords/afipprd/P… Pour postuler : dgdr.cnrs.fr/drhita/concour… Date limite : 30 juin 2021 à 13h #recrutement #informatique

Juraj Kolcak will defend his PhD thesis tomorrow at 9am. It is entitled "Unfoldings and Abstract Interpretation for Parametric Biological Regulatory Networks". The link to the defense will be posted soon.

The defence is going to be held via a videoconference at the following Zoom link: cnrs.zoom.us/j/94681363173 Please use the password: mBGkf0

Announcing the third edition of the *Computing Among Cells Workshop* at DISC 2021 PODC-DISC! Happening online on Friday, October 8, 2021. Register here: tinyurl.com/cells2021reg CELLS 2021: parsys.lri.fr/CELLS/

Les journées du GT Vérification du GDR IM (gdr-im.fr) sont organisées par Benedikt Bollig du LMF et auront lieu à l'@ENS_ParisSaclay du 17 au 19 novembre 2021 benedikt-bollig.org//gt-verif-2021

How fast can you converge towards a consensus value? Our paper provides tight lower bounds for this problem. Joint work with Matthias Függer and Manfred Schwarz. LISN Laboratoire Méthodes Formelles CNRS 🌍 Université Paris-Saclay TU Wien Out now in J. ACM: dl.acm.org/doi/10.1145/34…

Congratulations to Marie Fortin, who will receive the Ackermann Award for her PhD thesis entitled "Expressivity of first-order logic, star-free propositional dynamic logic and communicating automata". eacsl.org/ackermann-awar… #Awards #ComputerScience #Logic

A Junior Professor position in Quantum Information opens at Université Paris-Saclay for our lab For more information: lmf.cnrs.fr/Offers/CPJ2021 #jobopening #QuantumComputing

In July 2022, I’ll join the Max Planck Institute for Informatics in Saarbrücken, Germany, as a director of the Department of Algorithms and Complexity. We're RECRUITING. Please help spread the word! (1/n)

Matthias Függer will defend his Habilitation thesis entitled "Computing at the Border of Abstractions: the Power of Timed, Non-Binary, Distributed Circuits" on Thursday 6 January 2022 at 10AM lmf.cnrs.fr/News/HDR-Matth… #HabilitationDefense #ComputerScience Université Paris-Saclay @INS2I_CNRS

Next week, on Tuesday 18 January at 11am, there will be a lab seminar. It will be given by Anca Muscholl (LaBRI) on "Active learning for sound negotiations" For more information, see lmf.cnrs.fr/Seminar/Muscho…

📢 Un poste de MCF et un poste de PU seront ouverts à la session synchronisée 2022, dans le département d'informatique de l'@ENS_ParisSaclay (lmf.cnrs.fr/deptinfo-ens/) et au laboratoire LMF (lmf.cnrs.fr). 🔗 lmf.cnrs.fr/Offers/PostesE…

Le classement des candidats au concours CRCN 2022 (06/02) par le jury d’admissibilité est disponible sur le site de la section: cn6.fr/#resultatsCR20… ; nous rappelons que le jury d'admission n'est pas tenu de conserver ce classement.

Open Full Prof. position in Vienna for Computer Architecture. deadline June 15, 2022 informatics.tuwien.ac.at/news/2190 #interdisciplinary #researchposition #vienna TU Wien

A synthetic communication system uncovers self-jamming of bacteriophage transmission biorxiv.org/cgi/content/sh… #bioRxiv

Given all the recent reports about new mechanisms of bacteria and phages outmanoeuvring 🤜🤛 each other, we now have a story of our own to share: the filamentous phage M13 and its E. coli host have figured out an ingenious way to coexist ☮️. #Phages #Bacteriophage

Thrilled that #innatelogic was selected for the #RISE startup program of CNRS Innovation! Great experience pitching with Benedikt Bollig and Thomas Nowak in front of the jury. Thanks to our labs LISN and Laboratoire Méthodes Formelles.

💡#Innovation Le projet de start-up innatelogic fait partie des lauréats 2022 du programme #RISE du CNRS. Les porteurs de projet au LISN et Laboratoire Méthodes Formelles développent une IA dont le fonctionnement est enrichi par l’expertise des réactions biochimiques. ▶iledefrance-gif.cnrs.fr/fr/cnrsinfo/mo…

#Communiqué 🗞️ | Modéliser les « #réseaux » de réactions #biochimiques grâce à l’#intelligenceartificielle : découvrez-en plus dans ce communiqué de CNRS à Paris-Saclay ! ➡ iledefrance-gif.cnrs.fr/fr/cnrsinfo/mo… 🤝 LISN Laboratoire Méthodes Formelles Université Paris-Saclay @ENS_ParisSaclay

#Communiqué 🗞️ | "Créée par Benedikt Bollig, Matthias Függer Matthias Függer (Laboratoire Méthodes Formelles) et Thomas Nowak Thomas Nowak (LISN), innatelogic est lauréate de l'appel à projets #RISE2022" Pour en savoir plus : ➡ iledefrance-gif.cnrs.fr/fr/cnrsinfo/mo… 🤝 CNRS à Paris-Saclay Université Paris-Saclay ENS Paris-Saclay