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.