[Matryoshka-devel] Matryoshka visitors & interns

Blanchette, J.C. j.c.blanchette at vu.nl
Mon Mar 27 23:54:53 CEST 2017

Dear colleagues,

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 mailing list