AMO Tadamon: M. Ait Taleb réaffirme la continuité de l'hospitalisation gratuite pour les maladies chroniques ou incurables    Regards croisés sur les enjeux de la transition énergétique dans la province d'Essaouira    Le Président Xi Jinping s'est entretenu avec le Président français Emmanuel Macron    Séisme d'Al-Haouz : Un coût économique estimé à 3 milliards de dirhams    Mohamed Boudrika déchu de ses fonctions de président de l'arrondissement de Mers Sultan    Industrie automobile: Le Maroc devient le principal exportateur de voitures vers l'Union Européen    Office des changes : le déficit commercial s'allège de 14,6% à fin mars 2024    Sommet des affaires USA-Afrique à Dallas: Trois questions à la présidente du Corporate Council on Africa    L'avenir de l'Afrique au cœur des débats à Benguerir    Entretiens maroco-tchèques sur le renforcement de la coopération dans le domaine de la santé    Basketball féminin/KACM-IRT (68-62) : Victoire synonyme de qualification à la finale de la Coupe du Trône    Festival du film africain de Tarifa-Tanger : Le cinéma marocain vedette de la 21ème édition    IR au titre des profits fonciers : possibilité de demander un avis préalable auprès de la DGI    La FIFA lance un classement mondial de futsal, le Maroc pointe au 6è rang    Casablanca : Le wali mène une enquête sur le recrutement des travailleurs temporaires    Sahara-CIA files #5 : Hassan II a transformé les victoires du Polisario en défaites    Le Président Xi Jinping tient avec le Président français Emmanuel Macron et la Présidente de la Commission européenne Ursula von der Leyen une réunion des dirigeants Chine-France-Union européenne    Tanger: Ouverture d'une enquête pour déterminer les circonstances d'une tentative de trafic de cocaïne (source sécuritaire)    Koweït : Le Marocain Mohamed Daoudi parmi les lauréats du 42e prix de la KFAS au titre de 2023    Message de condoléances de SM le Roi au Serviteur des Lieux Saints de l'Islam suite au décès de SAR le prince Badr Ben Abdel Mohsen Ben Abdelaziz Al-Saoud    Des intempéries continuent de frapper le Kenya    Accord social : L'OTRAGO apporte ses remarques et exprime des préoccupations    Le Maroc voudrait ajouter les drones SeaGuardian à son arsenal    Botola D2/J24: Le CODM chute à Beni Mellal, le KACM en profite !    UEFA Conférence Europa League/Demi-finales : El Kaabi meilleur joueur de la journée    Cyclisme. Le Marocain Achraf Ed-Doghmy vainqueur du Tour international du Bénin    Amine Adli ou l'ambition de remporter la CAN 2025 à domicile    LdC : Le PSG de Hakimi déterminé à inverser la tendance face au BVB    OLA Energy Maroc: Nouvel accord pour mélanger des lubrifiants de la marque Mobil au Maroc    Education : Construire l'Afrique de demain avec une jeunesse bien formée    Santé : Meknès renforce son offre en centres de soins    La Fondation Banque Populaire restaure des écoles dans la région de Nador-Al Hoceima    Vaccins anti-Covid-19 : Résurrection du débat sur les effets secondaires !    Sommet des propriétaires des médias : Réorganiser le secteur sur le continent    Azerbaïdjan : Exposition photographique consacrée au patrimoine architectural du Maroc    Alune Wade, Ablaye Cissoko et Aïta Mon Amour... enflammeront les scènes du Festival Gnaoua 2024    Jazz au Chellah 2024 : une symphonie transfrontalière s'invite à Rabat    Le CESE plaide pour un renouvellement des informations sur la mendicité    Championnat d'Espagne : En-Nesyri continue sur sa lancée    Présidentielle en Mauritanie: le parti au pouvoir adopte la candidature de Mohamed El Ghazouani    Le bilan des réalisations de l'Agence Bayt Mal Al-Qods dépasse 13,8 millions de dollars pour la période 2019-2024    Détenu attaqué : la prison de Casablanca réfute    La Fondation BMCI réitère son soutien au Festival « Moroccan Short Mobile Film Contest » pour sa deuxième édition    Sortie, cinéma, exposition, festival… 10 choses à faire ce mois-ci    CV, c'est vous ! EP-69. Zineb Bouzoubaa, la danse au service des femmes    Les musées de France ne connaissent pas la crise dans leur histoire d'amour avec le public    Maroc-Azerbaïdjan : signature d'un accord d'exemption de visas    Les températures attendues ce lundi 6 mai 2024    







Merci d'avoir signalé!
Cette image sera automatiquement bloquée après qu'elle soit signalée par plusieurs personnes.



Conférence sur le futur de l'informatique donnée par le Pr. Gérard Berry à l'Académie du Royaume du Maroc
Publié dans Hespress le 21 - 06 - 2022

Dans le cadre du cycle de conférences organisé par l'Académie Hassan II des Sciences et Techniques, avec le concours du Service de coopération et d'action culturelle près l'Ambassade de France au Maroc, Gérard Berry, professeur au Collège de France et membre de l'Académie des Sciences française, a donné lundi, une conférence sur le thème « Où va l'informatique? » à l'Académie du Royaume du Maroc.
Depuis le début du siècle, l'informatique est devenue omniprésente, atteignant tous les domaines de la communication, des sciences, de la médecine, de l'industrie, de la culture et plus généralement de la société. De fait, elle met à l'envers de nombreux comportements techniques et sociaux par rapport au siècle précédent. Pourtant, alors que ses effets positifs ou négatifs sont discutés partout, sa véritable nature conceptuelle et les ressorts de ses évolutions restent encore inconnus du grand public – et même – de beaucoup de scientifiques.
Ancien élève de l'École Polytechnique, Ingénieur général du Corps des mines, membre de l'Académie des sciences, de l'Académie des technologies et de l'Academia Europaea, Gérard BERRY est le créateur du langage de programmation Esterel, dédié à la conception et la programmation des systèmes cyber-physiques et des circuits électroniques, il a obtenu la Médaille d'or du CNRS en 2014. Titulaire de la chaire « Algorithmes, machines et langages » au Collège de France de 2012 à 2019, il l'a été aussi pour deux autres chaires annuelles en 2007-2008 et 2009-2010.
Sa contribution scientifique concerne quatre sujets principaux : la sémantique formelle des langages de programmation en relation avec la logique mathématique, la programmation parallèle et temps réel, la conception assistée par ordinateur de circuits intégrés, et la vérification formelle automatique ou assistée des programmes et circuits.


Cliquez ici pour lire l'article depuis sa source.