kongre.net'e hoş geldiniz
Konu
Dünya genelinde matematik, istatistik, mantık ve bilgisayar bilimini kapsayan formel bilimler konferansları; tarihler, mekânlar ve programlarla.
Reklam
Formel bilimler, matematik, istatistik, mantık, kuramsal bilgisayar bilimi ve bilişim bilimi dahil olmak üzere soyut yapıları ve akıl yürütme sistemlerini inceler. Toplantılar genellikle sunum ağırlıklıdır; alt alanlara göre paralel oturumlar, eğitim oturumları ve ana programa bağlı çalıştaylar içerir. Akademik araştırmacıları ve doktora öğrencilerini, alanın eğitimcilerini ve formel yöntemleri sanayide uygulayan analistleri ve mühendisleri çeker.
