Computability and Complexity in Analysis 2009

Datum objave: 15. 8. 2009

Matematično srečanje

V času od 18. do 22. avgusta se bo na FMF odvila konferenca Computability and Complexity in Analysis 2009. Zaposleni in študenti FMF in IMFM imajo prost vstop in so vljudno vabljeni, da obiščejo predavanja, ki jih zanimajo.

Šesta konferenca Computability and Complexity in Analysis letos poteka na Fakulteti za matematiko in fiziko. Konferenca je posvečena vprašanjem izračunljivosti in računske zahtevnosti pri računanju z realnimi števili in na splošno v matematični analizi. Snov bo zanimiva za vse, ki jih zanima računanje z realnimi števili v takšni ali drugačni obliki, numerično in simbolno, ter eksaktni računski postopki v matematiki na sploh.

Na lokalni strani si lahko ogledate urnik predavanj (kliknite na naslove za povzetke predavanj). Vsi študenti in zaposleni na FMF in IMFM imajo prost vstop. Še posebej prijazno vas vabimo na vabljena predavanja ter na dve uvodni predavanji (tutorial) o eksaktni realni aritmetiki v dokazovalnem pomočniku Coq ter o računanju z višjimi tipi v Haskellu in povezami s topologijo, ki bosta potekali prvi dan, 18. avgusta.