Konu
Dünya genelinde matematik, istatistik, mantık ve bilgisayar bilimini kapsayan formel bilimler konferansları; tarihler, mekânlar ve programlarla.
Bu konudaki etkinliklerin yayımlanmış programlarında yer alan kişiler. Listeleme yalnızca programdaki yeri yansıtır.