Daniel Seidel speaks 20/09 at 13h30
New paper on Combining Intuitionistic and Classical Logics
Matteo Cimini, a recent PhD student from the Computer Science Department at Reykjavik University in Iceland, joined Parsifal as a postdoc for 12 months starting 1 October 2012.
© 2012 INRIA
Made with by Graphene Themes.