[Matryoshka-devel] Matryoshka visitors & interns
j.c.blanchette at vu.nl
Mon Mar 27 23:54:53 CEST 2017
The Matryoshka project started officially on 1 March, and there's some action already. Those who keep an eye on
will have noticed that we have or will have some visitors and interns in Nancy, Saarbrücken, and Amsterdam:
Sophie Tourret (NII Tokyo): 9 to 13 January 2017 at MPII Saarbrücken and Inria Nancy
Daniel El Ouraoui (U. Paris Diderot): 27 March to July 2017 at Inria Nancy
Andrew Reynolds (U. Iowa): 10 July to 8 September 2017 at Inria Nancy
Simon Robillard (Chalmers Gothenburg): 14 August to 17 November 2017 at VU Amsterdam
Sophie visited us for one week to talk about her past work on interpolants and on her ongoing work on SAT solving. She will hopefully visit us again in the coming months.
Daniel just started today a M.Sc.-level internship. He will work on higher-order SMT, as a courageous path-finder.
Andy, of CVC4 fame, will come to Nancy this summer, for further collaboration between CVC4 and veriT and hopefully some higher-order things as well.
Simon, of Vampire fame, will come to Amsterdam a bit later. He's interested in higher-order superposition. He will also give a tutorial titled "How to get your theorem-proving paper accepted at POPL without worries."
More information about the matryoshka-devel