Stephanie Delaune
Full-time researcher, CNRS
Évènements
- CADE 2013, 24th International Conference on Automated
Deduction, Lake Placid, New York, USA, 9-14 June 2013;
- CSF 2013, 26th IEEE Computer Security Foundations
Symposium, Tulane University, New Orleans LA, USA, 26-28 June 2013;
- RTA 2013, 24th International Conference on Rewriting
Techniques and Applications, Eindhoven, The Netherlands, 23-28 June 2013;
- WoLLIC 2013, 20th Workshop on Logic, Language, Information
and Computation, Darmstadt, Germany, 20-23 August 2013.
