[Matryoshka-devel] Google Summer of Code opportunities for students on projects related to automated reasoning and proof compression

Bruno Woltzenlogel Paleo bruno.wp at gmail.com
Thu Mar 2 08:28:21 CET 2017


Hi!

  

Two of my projects (Scavenger and Skeptik) are going to participate in Google
Summer of Code this year. Both projects are implemented in Scala. Scavenger is
a first-order theorem prover, and Skeptik is a tool for compressing formal
proofs. Undergraduate, M.Sc. and Ph.D. students are eligible to apply. More
information can be found at http://www.aossie.org/ .

  

Best regards,

  
Bruno

![](https://link.nylas.com/open/3x691kf2sejzsuk0agjgff6ov/local-
d41e8fb9-af02?r=bWF0cnlvc2hrYS1kZXZlbEBsaXN0cy5nZm9yZ2UuaW5yaWEuZnI=)

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/matryoshka-devel/attachments/20170302/c871ecca/attachment.html>


More information about the matryoshka-devel mailing list