kiedy?	co?	kto?	slajdy
4 III	Formalny model przegladarki internetowej	J.Tyszkiewicz
11 III	Jak zarabia Google	A.Firus	ODP
18 III	Process Rewrirte Systems	M.Grabowski	PDF
1 IV	O rozstrzygalności problemu stopu ;)	S.Lasota
8 IV	Automaty czasowe i ,,danowe''	P.Kaczan
15 IV	Problemy decyzyjne dla sieci Petriego	P.Hofman
22 IV	O bisymulacji	A.Pilawa
29 IV	Robaki rozproszone	K.Korolczuk
6 V	Wojsko w komputerze	A.Bielanski
13 V	O pracy magisterskiej	A. Oszer
20 V	DFL	M.Jalmuzna
27 V	O randze stron	P.Kasprzyk	PDF
3 VI	Jak dziala SAT-solver albo O narzedziu CBMC	B.Grzelewski albo J.Los