W dniu 14 stycznia obchodzony będzie po raz pierwszy Światowy Dzień Logiki.

Z tej okazji na kampusie Ogrody odbędzie się spotkanie (godzina 17.00, sala 311, bud. D). Program obejmuje trzy odczyty:

Roman Murawski - "100 lat logiki na uniwersytecie w Poznaniu"

Andrzej Wisniewski - "Sprzeczności, dowody i refutacje"

Jerzy Pogonowski - "O intuicjach matematycznych".

Po odczytach odbędą się warsztaty dla studentów "Logika i programowanie" (godzina 19.30, sala 67, bud. AB).

Zainteresowanych serdecznie zapraszamy.