[EN LIGNE] Séminaire du groupe de travail "Langages et Vérification de Programmes"

Publié le

09/03/2021

12 Mars 2021

Le CNRS vous propose de participer au séminaire en ligne du groupe de travail "Langages et Vérification de Programmes" (GT LVP) de son Groupement de recherche génie de la programmation et du logiciel (GDR GLP).

Alain Giorgetti

Organisé par Alain Giorgetti (Université de Franche-Comté, FEMTO-ST) et Julien Signoles (Université Paris-Saclay, CEA List), co-responsables du GT LVP, ce séminaire présentera, en ligne via le logiciel Zoom, des travaux récents des membres de ce groupe sous forme d'une série d'exposés.

> Plus d'informations

> Découvrez le programme en pièce jointe !

Programme séminaire LVP 2021

Horaires

De 9h à 17h15

Contact

Alain Giorgetti : 03 81 66 66 60

FEMTO-ST

À la Une

Sciences & technologies, Santé & sport, Monde & société, Institution & personnels
Patrick Giraudoux, co-auteur d’un rapport d’intérêt mondial pour l’IPBES, le « GIEC » de la biodiversité
Santé & sport, Vie des campus, Institution & personnels
Sensibilisation aux VSS : une intervention marquante à l'UFR Santé
Monde & société
Une mobilité à l’étranger : une expérience inoubliable
Sciences & technologies
Journée de découverte de la recherche en mathématiques
Sciences & technologies
La science brille à l’université : Annie Robin, astrophysicienne, reçoit la médaille François-Dominique Arago
Vie des campus
Le dispositif PHARE objectif réussite

L'agenda

Par thématique

Agenda culturel Agenda sportif Agenda scientifique Autres manifestations

tout l'agenda

Décembre 2024

lun	mar	mer	jeu	ven	sam	dim
25	26	27	28	29	30	1
						SCIENTIFIC GAME JAM J’ai pas dit « Partez ! » Promenons-nous dans les bois... «De Tristan et Yseult au Petit Chaperon rouge : contes, mythes et légendes à l’école» Quels droits pour les animaux ? Atelier Etucare : prendre soin de sa santé mentale Les jeudis de la MSHE Ateliers 3D pour les étudiants L'instant archéo
2	3	4	5	6	7	8
J’ai pas dit « Partez ! » Promenons-nous dans les bois... «De Tristan et Yseult au Petit Chaperon rouge : contes, mythes et légendes à l’école» Quels droits pour les animaux ? Atelier Etucare : prendre soin de sa santé mentale Les jeudis de la MSHE Ateliers 3D pour les étudiants L'instant archéo Soirées révisions au Learning centre Claude Oytana Quels droits pour les animaux ? Cuisine végétale, les clés de la réussite	Soirées révisions au Learning centre Claude Oytana Quels droits pour les animaux ? Cuisine végétale, les clés de la réussite J’ai pas dit « Partez ! » Promenons-nous dans les bois... «De Tristan et Yseult au Petit Chaperon rouge : contes, mythes et légendes à l’école» Quels droits pour les animaux ? Les jeudis de la MSHE Ateliers 3D pour les étudiants L'instant archéo [EN LIGNE] Atelier OSE : La fonction publique	Soirées révisions au Learning centre Claude Oytana Quels droits pour les animaux ? Cuisine végétale, les clés de la réussite J’ai pas dit « Partez ! » Promenons-nous dans les bois... «De Tristan et Yseult au Petit Chaperon rouge : contes, mythes et légendes à l’école» Quels droits pour les animaux ? Les jeudis de la MSHE Ateliers 3D pour les étudiants L'instant archéo [Atelier OSE] Se réorienter Atelier Etucare : prendre soin de sa santé mentale à Belfort et Montbéliard	Soirées révisions au Learning centre Claude Oytana Quels droits pour les animaux ? Cuisine végétale, les clés de la réussite J’ai pas dit « Partez ! » Promenons-nous dans les bois... «De Tristan et Yseult au Petit Chaperon rouge : contes, mythes et légendes à l’école» Quels droits pour les animaux ? Les jeudis de la MSHE Ateliers 3D pour les étudiants L'instant archéo Organiser un colloque: les outils pour vous aider Rencontre avec Valérie Linder	Quels droits pour les animaux ? Cuisine végétale, les clés de la réussite J’ai pas dit « Partez ! » Promenons-nous dans les bois... «De Tristan et Yseult au Petit Chaperon rouge : contes, mythes et légendes à l’école» Quels droits pour les animaux ? Les jeudis de la MSHE Ateliers 3D pour les étudiants L'instant archéo Si tu veux mon avis...	Si tu veux mon avis... Quels droits pour les animaux ? Cuisine végétale, les clés de la réussite J’ai pas dit « Partez ! » «De Tristan et Yseult au Petit Chaperon rouge : contes, mythes et légendes à l’école» Quels droits pour les animaux ? Les jeudis de la MSHE Ateliers 3D pour les étudiants L'instant archéo L'Université de Franche-Comté au salon Studyrama à Belfort	Si tu veux mon avis... Quels droits pour les animaux ? Cuisine végétale, les clés de la réussite J’ai pas dit « Partez ! » «De Tristan et Yseult au Petit Chaperon rouge : contes, mythes et légendes à l’école» Quels droits pour les animaux ? Les jeudis de la MSHE Ateliers 3D pour les étudiants L'instant archéo
9	10	11	12	13	14	15
Si tu veux mon avis... Quels droits pour les animaux ? Cuisine végétale, les clés de la réussite J’ai pas dit « Partez ! » «De Tristan et Yseult au Petit Chaperon rouge : contes, mythes et légendes à l’école» Quels droits pour les animaux ? Les jeudis de la MSHE Ateliers 3D pour les étudiants L'instant archéo « Changez leur histoire » - Amnesty International	« Changez leur histoire » - Amnesty International Si tu veux mon avis... Quels droits pour les animaux ? Cuisine végétale, les clés de la réussite J’ai pas dit « Partez ! » «De Tristan et Yseult au Petit Chaperon rouge : contes, mythes et légendes à l’école» Quels droits pour les animaux ? Les jeudis de la MSHE Ateliers 3D pour les étudiants L'instant archéo Action de prévention santé sexuelle et dépistage avec le CeGIDD Soirée jeux à la BU Belfort : deuxième édition Seconde édition du " DN MADe, et après ?"	Seconde édition du " DN MADe, et après ?" « Changez leur histoire » - Amnesty International Si tu veux mon avis... Quels droits pour les animaux ? Cuisine végétale, les clés de la réussite J’ai pas dit « Partez ! » «De Tristan et Yseult au Petit Chaperon rouge : contes, mythes et légendes à l’école» Quels droits pour les animaux ? Les jeudis de la MSHE Ateliers 3D pour les étudiants L'instant archéo	Seconde édition du " DN MADe, et après ?" « Changez leur histoire » - Amnesty International Si tu veux mon avis... Quels droits pour les animaux ? Cuisine végétale, les clés de la réussite J’ai pas dit « Partez ! » «De Tristan et Yseult au Petit Chaperon rouge : contes, mythes et légendes à l’école» Quels droits pour les animaux ? Les jeudis de la MSHE Ateliers 3D pour les étudiants L'instant archéo Action de prévention santé sexuelle et dépistage avec le CeGIDD [Atelier OSE] Rechercher un stage	« Changez leur histoire » - Amnesty International Si tu veux mon avis... Quels droits pour les animaux ? Cuisine végétale, les clés de la réussite J’ai pas dit « Partez ! » «De Tristan et Yseult au Petit Chaperon rouge : contes, mythes et légendes à l’école» Quels droits pour les animaux ? Les jeudis de la MSHE Ateliers 3D pour les étudiants L'instant archéo	Si tu veux mon avis... Quels droits pour les animaux ? Cuisine végétale, les clés de la réussite J’ai pas dit « Partez ! » «De Tristan et Yseult au Petit Chaperon rouge : contes, mythes et légendes à l’école» Les jeudis de la MSHE Ateliers 3D pour les étudiants L'instant archéo	Si tu veux mon avis... Quels droits pour les animaux ? Cuisine végétale, les clés de la réussite J’ai pas dit « Partez ! » «De Tristan et Yseult au Petit Chaperon rouge : contes, mythes et légendes à l’école» Les jeudis de la MSHE Ateliers 3D pour les étudiants L'instant archéo
16	17	18	19	20	21	22
Si tu veux mon avis... Quels droits pour les animaux ? Cuisine végétale, les clés de la réussite J’ai pas dit « Partez ! » «De Tristan et Yseult au Petit Chaperon rouge : contes, mythes et légendes à l’école» Les jeudis de la MSHE Ateliers 3D pour les étudiants L'instant archéo GRAND BAZ’ARTS D’HIVER	Si tu veux mon avis... Quels droits pour les animaux ? Cuisine végétale, les clés de la réussite J’ai pas dit « Partez ! » «De Tristan et Yseult au Petit Chaperon rouge : contes, mythes et légendes à l’école» Les jeudis de la MSHE Ateliers 3D pour les étudiants L'instant archéo Découvrir les règles orthotypographiques	Si tu veux mon avis... Quels droits pour les animaux ? Cuisine végétale, les clés de la réussite J’ai pas dit « Partez ! » «De Tristan et Yseult au Petit Chaperon rouge : contes, mythes et légendes à l’école» Les jeudis de la MSHE Ateliers 3D pour les étudiants L'instant archéo	Si tu veux mon avis... Quels droits pour les animaux ? Cuisine végétale, les clés de la réussite J’ai pas dit « Partez ! » «De Tristan et Yseult au Petit Chaperon rouge : contes, mythes et légendes à l’école» Les jeudis de la MSHE Ateliers 3D pour les étudiants L'instant archéo Atelier cuisine (décembre 2024)	Si tu veux mon avis... Quels droits pour les animaux ? Cuisine végétale, les clés de la réussite J’ai pas dit « Partez ! » «De Tristan et Yseult au Petit Chaperon rouge : contes, mythes et légendes à l’école» Les jeudis de la MSHE Ateliers 3D pour les étudiants L'instant archéo	Si tu veux mon avis... Quels droits pour les animaux ? J’ai pas dit « Partez ! » Les jeudis de la MSHE Ateliers 3D pour les étudiants L'instant archéo	Si tu veux mon avis... Quels droits pour les animaux ? J’ai pas dit « Partez ! » Les jeudis de la MSHE Ateliers 3D pour les étudiants L'instant archéo
23	24	25	26	27	28	29
Si tu veux mon avis... Quels droits pour les animaux ? J’ai pas dit « Partez ! » Les jeudis de la MSHE Ateliers 3D pour les étudiants L'instant archéo	Si tu veux mon avis... Quels droits pour les animaux ? J’ai pas dit « Partez ! » Les jeudis de la MSHE Ateliers 3D pour les étudiants L'instant archéo	Si tu veux mon avis... Quels droits pour les animaux ? J’ai pas dit « Partez ! » Les jeudis de la MSHE Ateliers 3D pour les étudiants L'instant archéo	Si tu veux mon avis... Quels droits pour les animaux ? J’ai pas dit « Partez ! » Les jeudis de la MSHE Ateliers 3D pour les étudiants L'instant archéo	Si tu veux mon avis... Quels droits pour les animaux ? J’ai pas dit « Partez ! » Les jeudis de la MSHE Ateliers 3D pour les étudiants L'instant archéo	Si tu veux mon avis... Quels droits pour les animaux ? J’ai pas dit « Partez ! » Les jeudis de la MSHE Ateliers 3D pour les étudiants L'instant archéo	Si tu veux mon avis... Quels droits pour les animaux ? J’ai pas dit « Partez ! » Les jeudis de la MSHE Ateliers 3D pour les étudiants L'instant archéo
30	31	1	2	3	4	5
Si tu veux mon avis... Quels droits pour les animaux ? J’ai pas dit « Partez ! » Les jeudis de la MSHE Ateliers 3D pour les étudiants L'instant archéo	Si tu veux mon avis... Quels droits pour les animaux ? J’ai pas dit « Partez ! » Les jeudis de la MSHE Ateliers 3D pour les étudiants L'instant archéo

Les + lus

Lettres & humanités
Retour sur le colloque "L’héritage de l’Antiquité pour l’Europe d’aujourd’hui"
Sciences & technologies
Journée de découverte de la recherche en mathématiques
Santé & sport, Vie des campus, Institution & personnels
Sensibilisation aux VSS : une intervention marquante à l'UFR Santé
Monde & société
Une mobilité à l’étranger : une expérience inoubliable
Sciences & technologies, Santé & sport, Monde & société, Institution & personnels
Patrick Giraudoux, co-auteur d’un rapport d’intérêt mondial pour l’IPBES, le « GIEC » de la biodiversité

Le Kiosque

Football(s) n° 5. Les religions du football
Paul Dietschy
Presses Universitaires de Franche-Comté
Dialogues d'histoire ancienne 50/2
Collectif
Presses Universitaires de Franche-Comté
Le chanvre. De la plante aux applications
Mongiovi Chiara et Crini Grégorio
Presses Universitaires de Franche-Comté

tous les ouvrages

Revue du web

L’hydrogène, cette énergie du futur, expliquée aux collégiens
L'Est Républicain
[La Librairie juridique] La liberté académique de A à Z
LexTV
Une table ronde pour poser les enjeux de la santé mentale au travail
L'Est Républicain
Les étudiants les plus méritants récompensés par le prix Rhizome
Est Républicain
Nadia Yousfi Steiner, Hydrogénie.
Journal du Palais

toute la revue du web