[Matryoshka-devel] New web site and add in AAR
jasmin.blanchette at inria.fr
Thu Nov 10 23:48:53 CET 2016
Welcome to the Matryoshka developer mailing list! Thanks to Pascal's efforts, we now have a basic web site:
Let us know if you find anything fishy or if you're not happy about the bucket in which we put you.
In addition, we prepared an advert for open positions:
http://www.aarinc.org/Newsletters/118-2016-11.html#matryoshka (official page, to appear soon)
http://www21.in.tum.de/~blanchet/AAR-2016-11.html#matryoshka (temporary page)
Next week, I will start diffusing the ad on various mailing lists (including e.g. CVC4 and SMT-LIB). But feel free to circulate the add among colleagues or to post it to mailing lists I'm not on.
More information about the Matryoshka-devel