anticache

Scientific Colloquium on the occasion of the 60th Birthday of Prof. Tobias Nipkow, Ph. D.

20.07.2018

Friday, 20th July 2018 Department of Informatics, Boltzmannstr. 3 , 85748 Garching


How can I prove equations automatically? How can I verify correctness of a Java compiler? How can I be sure that Kepler was right?  How can I prove automatically that some weird and wonderful search tree variant has the desired functionality?

These are some of the research questions that have kept Tobias Nipkow busy at Manchester University, MIT, Cambridge University and as a professor at TUM since 1992. This colloquium presents recent results on automated and interactive theorem proving, the central research areas of Tobias Nipkow.

 

Program

2.00 pm        Informal Drinks (in front of lecture hall 2)

2.30 pm        Program Start in lecture hall 2

                     Welcome by Hans-Joachim Bungartz, Dean

                     Scientific Presentations

                     Followed by: Snacks in room 00.13.009A

6.00 pm        Close

 

Registration is requested before 12 July 2018 via

Zusage+nipkow@in.tum.de

Please email us

  • your postal address
  • the number of accompanying persons

Please note that we will take photos during the event. By visiting this event you agree with the photos being published on our department’s website in.tum.de. You may revoke this permission by sending an email to Doris.Herrmann@tum.de

 

Contact Person I 21 Chair for Logic and Verification Prof. Nipkow:

Helma Pillerpiller@in.tum.de, Phone: +49-89-289-17300

 

Contact Person Public Relations:

Doris HerrmannDoris.Herrmann@tum.de, Phone: +49-89-289-17928