III PODLASKA KONFERENCJA MATEMATYKI

BIAŁYSTOK, 11-13 kwietnia 2008

Sekcja matematycznych podstaw informatyki

 

Program (Sobota, 12.04.2008)

 

10.20-11.00

Joanna Karbowska-Chilińska

Średni czas obliczeń programów probabilistycznych z ciągłym parametrem czasowym

 

11.00-11.40

Zenon Sadowski
Optymalne systemy dowodowe i języki zupełne

 

11.40-12.50

Przerwa na kawę

 

11.50-12.30

Adam Grabowski
O aksjomatyzacjach krat ortomodularnych w systemie Mizar

 

12.30-13.10

Anna Borowska
Redukcja wartościowań w algorytmach probabilistycznych poprzez grupowanie.Porównanie metod redukcji.

 

13.10-13.50

Marcin Wolski
Metryczne podstawy przestrzeni aproksymacyjnych

 

13.50-15.30

Przerwa obiadowa

 

15.30-16.10

Magdalena Jastrzębska
Formalny opis zbiorów przedziałowych

 

16.10-16.50

Grzegorz Bancerek
Struktura typów w języku matematyki

 

16.50-17.00

Przerwa na kawę

 

17.00-17.40

Anna Gomolińska
O pewnych funkcjach inkluzji przybliżonej

 

17.40-18.20

Agnieszka Makarec

Problem stopu w logikach programów niedeterministycznych i probabilistycznych