articles to write

parent ab1be962
......@@ -8,13 +8,16 @@
particulier la solution avec les types classes qui reste a
implanter
* DONE Encodings and transformations (Andrei+Francois)
* DONE Encodings and transformations (Andrei+Francois FroCos 11)
* DONE Why presentation at the IVL workshop of CADE:
(http://research.microsoft.com/en-us/um/people/moskal/boogie2011/)
deadline: May 1st
* Caml code ?
* logic language for talking to provers
- FOL + poly + alg + ind + rec ? + theories
- DONE (Boogie 11)
- DONE FOL + poly (FroCos 11)
- alg + ind + rec ? + theories
* proof sessions
* VACID-0
* system description (e.g. at CAD, TACAS)
* rapports recherche ?
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment