ITP
Posted on March 16th
Our article for the first International Conference on Interactive Theorem Proving (merge of TPHOL and ACL2) has been accepted. Only 33 papers were accepted out of 74 submissions! Once again Edinburgh!
I fully agree with George R. R. Martin:
I will, in short, post whatever the hell I want to here. Just don't expect me to do it very often. Because this is Not A Blog. I don't have time to keep a weblog.
Invited speaker at NSV
Posted on March 15th
I am invited speaker for the Third International Workshop on Numerical Software Verification. I will go to Edinburgh!
NFM
Posted on March 15th
My article with PhD student T. Nguyen for NFM is accepted! And Tuyen got her visa to go to the USA. Great!!!
New gallery
Posted on Feb 26th
At last, I finished my gallery of proved floating-point programs with Frama-C instead of Caduceus. I still have to add numerical analysis stuff, but I put all my proved floating-point tricky programs.
Article for IEEE-TC
Posted on Feb 23rd
This article with Jean-Michel Muller is accepted with minor revisions to the IEEE Transactions on Computers journal! Pride and happiness...
Popular science article
Posted on Feb 23rd
A new popular science article in French. The title is It is the computer's fault! and explains why the computer is not guilty of our numerous problems with it.
Submitted article at ITP
Posted on Jan 27th
On January 22nd, I submitted an article to the International Conference on Interactive Theorem Proving. With all FOST participants, we worked on the formal proof of the method error of a wave equation resolution scheme.
Submitted article at NFM
Posted on Jan 27th
On January 15th, I submitted an article to the Second NASA Formal Methods Symposium. With my PhD student T. Nguyen, we worked on proofs of numerical programs whatever the hardware and the compiler.
First post
Posted on Jan 26th
I am beginning my "Not a Blog". I used to have a news section on my main page, but this allows me to post whatever and whenever I want.
