Instituée à l'initiative de quatre membres du consortium NEPTUNE et organisée chaque année depuis 2000 avec le concours du Centre pour la Maîtrise des Systèmes et du Logiciel (CMSL) du Conservatoire National des Arts et Métiers, les Journées NEPTUNE (Nice Environment with a Process and Tools Using Norms and Examples)ont pour vocation de constituer un lieu de rencontre au travers de présentations et tables rondes, pour les différents acteurs du monde du Génie Logiciel concernés par l'utilisation et l'évolution des techniques de vérification de modèles.

Les journées ont ainsi un double rôle de veille technologique et d'évaluation critique. Cette année, la manifestation NEPTUNE'2005 aura lieu le 31 mai au CNAM à Paris.