Search

There are about 36938 hits for your search.

Talks and Workshops

Workshop
09:00

to be announced

  • Steve Oudot (École Polytechnique & Inria)
E1 05 (Leibniz-Saal)
Workshop
08:30

Registration & Welcome Coffee

E1 05 (Leibniz-Saal)
Talk
17:00

Convex, Compact MLE Sets in High Dimensional Space

  • Lakshmi Ramesh (University of Bielefeld)
G3 10 (Lecture hall)
Talk
16:00

Applications of New Positive Coordinates for Teichmüller Spaces

  • Hadleigh Frost (Institute for Advanced Study, Princeton)
G3 10 (Lecture hall)
Talk
14:00

Interactive Theorem Proving in Lean IV

  • Florent Schaffhauser (Universität Heidelberg)
A3 01 (Sophus-Lie room)
Talk
10:00

Interactive Theorem Proving in Lean III

  • Florent Schaffhauser (Universität Heidelberg)
A3 01 (Sophus-Lie room)
Talk
14:00

Interactive Theorem Proving in Lean II

  • Florent Schaffhauser (Universität Heidelberg)
A3 01 (Sophus-Lie room)
Talk
10:00

Interactive Theorem Proving in Lean I

  • Florent Schaffhauser (Universität Heidelberg)
A3 01 (Sophus-Lie room)
Talk
16:45

tba

  • Steffen Börm (Universität Kiel)
E1 05 (Leibniz-Saal)
Search results 160 until 169 of 36938