[go: up one dir, main page]
Skip to main content
Springer Nature Link
Log in

Festschrift in Honor of Christoph Weidenbach's 60th Birthday

Participating journal: Journal of Automated Reasoning
This festschrift honors and celebrates the 60th birthday of Christoph Weidenbach, a well-known figure in the automated reasoning community.

Participating journal

Submit your manuscript to this collection through the participating journal.

Editors

  • Jasmin Blanchette

    Jasmin Blanchette

    Jasmin Blanchette is a professor of Theoretical Computer Science and Theorem Proving at Ludwig-Maximilians-Universität München, Germany, where he serves as the Dean of Studies for Computer Science. He's also a guest researcher in the VeriDis group at Loria in Nancy, France. jasmin.blanchette@ifi.lmu.de
  • Mathias Fleury

    Mathias Fleury

    Post-doc at the University of Freiburg, Germany, fleury@cs.uni-freiburg.de
  • Martin Suda

    Martin Suda

    Martin Suda a senior researcher at CTU/CIIRC (Czech Institute of Informatics, Robotics, and Cybernetics) and the head of the Automated Reasoning Group there. He's a principal investigator of the Czech Science Foundation project MLTPA and a tenure track holder in RICAIP. He's a member of ARG Prague group and one of the developers of the automated theorem prover Vampire. Martin.Suda@cvut.cz
  • Sophie Tourret

    Sophie Tourret

    Sophie Tourret is a researcher at the Inria centre at Université de Lorraine in the VeriDis team as well as a guest senior researcher at the Max Planck Institute for Informatics in the Automation of Logic research group. sophie.tourret@loria.fr

Articles