[Athena] [IHPST] Séminaire Philmath, 12 novembre

[Peggy Tessier <peggy.tessier AT univ-paris1.fr>]

Bonjour à tous,

Nous vous informons que la prochaine séance du séminairen,PHILMATH, 
lundi 12 novembre 2012, 17h30-19h30 à l'IHPST. Sheila Murgel Veloso 
(State University of Rio de Janeiro, Computer Engineering Department) 
parlera sur le thème "Propositional Dynamic Logic for Structured Data: A 
Graph Calculus Approach".


                                          ------------
                     PDL for Structured Data: a Graph Calculus Approach
                                  Sheila R. M.Veloso

                                          ABSTRACT

     An extension of Propositional Dynamic Logic (PDL) is proposed for
coping with mutable data structures, updates and parallelism. These
situations appear often in computing, when one deals with the dynamic
changes occurring during the execution of a program. Propositional
Dynamic Logic (PDL)is a modal logic for representing properties of
sequential programs and reasoning about them. The set of programs has
an algebraic structure, so that one can express composition,
non-deterministic choice and iteration of programs. PDL, though
adequate for sequential programs, is not quite so adequate for
other features such as parallelism and concurrency.
     In this talk, we will explore the use of algebraic features, such
as fork algebra, to enhance the expressive power of PDL. We also
present a graph calculus approach to PDL which further enriches its
expressive power.

      ACKNOWLEDGEMENTS. This research is partly sponsored by the
Brazilian agencies CNPq and FAPERJ. This is a joint work with Mario R.
F. Benevides and Paulo A. S. Veloso.




Responsables : M. van Atten, J. Dubucs, M. Panza & F. Pataut

                                     ------------------

--
Peggy Tessier
Ingénieur d'études
Médiation scientifique
13 rue du Four 75006 Paris
Tél : 01 43 54 94 60
Fax : 01 43 25 29 48
E-mail : ihpst AT univ-paris1.fr
http: //ihpst.univ-paris1.fr/


--
Ce message a ete verifie par MailScanner
pour des virus ou des polluriels et rien de
suspect n'a ete trouve.