Table des matières
- automated verification of complex systems and software
- logic in computer science
- automated reasoning and term rewriting
- INEDIT. ANR 2012-15. Interactivity in the Authoring of Time and Interactions.
- IJCAR 2012 6th International Joint Conference on Automated Reasoning.
- TTATT 2012 1st International Workshop on Trends in Tree Automata and Tree Transducers.
- VTSA 2011. Summer School on Verification Technology, Systems and Applications
- FoX. ERC FP7, Fet-Open 2009-12. Foundation of XML.
- Webdam. ERC grant, prime investigator: Serge Abiteboul. 2009-13. Foundation of Web data management
- Brick. INRIA-DGRSRT bilateral project between France and Tunisia. 2010-12. Formal verification of Web Service security, XML Access Control Policies and Firewalls.
- ACCESS. ARC INRIA 2010-11. Access Control Policies for XML: Verification, Enforcement and Collaborative Edition.
- RTA 2011. 22nd International Conference on Rewriting Techniques and Applications.
- WTS 2010. Workshop on Formal Methods for Web Data Trust and Security.
We are seeking a good candidate for a PhD starting in September 2013 at Ircam
on the theme "Formal methods for the static analysis of realtime interactive music systems".