Hoppa till huvudinnehåll

Kalendarium

29

November

Lunds matematiska sällskap

Tid: 2022-11-29 18:30 till 19:30 Föreläsning

Frank Wikström ger föredraget "A lean mean theorem proving machine".

Alla, även icke-medlemmar, är varmt välkomna! Före mötena, från klockan 18.15, serveras gratis förfriskningar. Efter varje möte inbjuds alla till en eftersits med mat och dryck till självkostnadspris.



Om händelsen
Tid: 2022-11-29 18:30 till 19:30

Plats
Hörmandersalen i matematikhuset

Kontakt
tomasp [at] maths [dot] lth [dot] se

Spara händelsen till din kalender

Sidansvarig: webbansvarig@math.lu.se | 2017-05-23