Bonjour à tous,
Une erreur s'est glissée dans l'annonce que je vous avais fait parvenir en fin de semaine dernière: le séminaire de Daniel Leivant aura lieu le 16 juin à 11H en 0C2 et par la même occasion le sujet du séminaire que nous présentera Daniel a également changé; vous le trouverez ci-dessous. Désolé de ce changement.
Alexis
Dynamic logic and its parents
Daniel Leivant (Indiana University & LORIA Nancy)Résumé: Dynamic logic for imperative programs, and similar deductive formalisms,
can be seen as syntactic sugar for more explicit forms of reasoning, such as first order
theories and second order logic. This view suggests notions of completeness for dynamic logic, which we argue are more informative and appropriate than the traditional notion of
relative completeness.
=======
À NOTER: il y aura café, thé, etc... un quart d'heure avant le début du séminaire: venez un peu en avance!
=======
Plus de détails sur le séminaire à http://www.pps.jussieu.fr/seminaire.
Amicalement,
Alexis
--
Alexis Saurin
Aucun commentaire:
Enregistrer un commentaire