Search

There are about 36872 hits for your search.

Talks and Workshops

Workshop
12:00

Lunch Break

E1 05 (Leibniz-Saal)
Workshop
11:20

to be announced

  • Michał Lipiński (Institute of Science and Technology Austria)
E1 05 (Leibniz-Saal)
Workshop
10:40

to be announced

  • Melanie Weber (Harvard University)
E1 05 (Leibniz-Saal)
Workshop
10:20

Coffee Break

E1 05 (Leibniz-Saal)
Workshop
09:40

to be announced

  • Bastian Rieck (University of Fribourg)
E1 05 (Leibniz-Saal)
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
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)
Search results 130 until 139 of 36872