Zdravo! Posredujem.
Mitar -------- Original Message -------- From: Sodelavci IMFM <[email protected]> Subject: [Imfm] Konferenca CCA na naši fakulteti To: [email protected], [email protected] Spoštovani kolegi, vljudno vas vabim, da v prihodnjih dneh obiščete konferenco "Computability and Complexity in Analysis", ki se bo odvijala na naši fakulteti od 18. do 22. avgusta. Za sodelavce FMF in IMFM je vstop prost, pa tudi simpatizerji so dobrodošli. Konferenca je posvečena izračunljivosti in računski zahtevnosti v matematični analizi in topologiji in je tako na stičišču teoretičnega računalništva, analize in topologije. Program konference je na voljo na http://cca.fmf.uni-lj.si/ (kliknite na naslove za povzetke). Še posebej naj omenim, da prvi dan, v torek 18. avgusta, prirejamo dve seriji bold dostopnih, uvodnih predavanj (tutorial). Prva bo posvečena eksaktnemu računanju z realnimi števili v dokazovalnem pomočniku Coq, druga pa računanju z višjimi tipi v Haskellu in topologijo višjih tipov. Prav tako zanimiva bodo vabljena predavanja o intervalski analizi, o teoriji domen predstavljeni na posebej preprost način, o izračunljivosti Juliajevih množic ter o izračunljivosti rešitev navadnih diferencialnih enačb. Lep pozdrav, Andrej P.S. Če ste še vedno na morju, pa enkrat zaplavajte v imenu vseh, ki so že v Ljubljani.
