Pazdziernik<br><p>

14: Dominika Tkaczyk, O pracy Mosesa, Doleva i Halperna "Cheating husbands 
   and other stories: A case study of knowledge, action, and communication".
<br> 

21: Slawomir Kolasinski, Intuicjonistyczny rachunek zdan i algorytm Wajsberga<br>

28: Michal Politowski, Krotkie wprowadzenie do jezyka Scala <br><p>

Listopad<br><p>

 4: Slawomir Kolasinski, ciag dalszy.<br>

18: Dariusz Kusmierek, Problem niepustosci dla typow iloczynowych rangi 2. <br>

25: Maciej Prochniak, Intuicjonistyczny rachunek zdan na prostej 
    rzeczywistej.<br><p>

Grudzien<br><p>

 9: Adam Warski: O jezyku PCF.<br>

16: Szymon Bemowski: O jezyku Haskell. 
    Prezentacja dostepna w formacie <a href="haskell-prezentacja.sxi">
    SXI </a> oraz <a href="haskell-prezentacja.pdf"> PDF </a><br><p>

Styczen<br><p>

 6: Mateusz Zakrzewski: O unifikacji drugiego rzedu.<br>

13: Jacek Rembisz: Przypisanie typow w ML (i innych jezykach funkcyjnych).<br>

20: Piotr Wilkin: [Programowanie funkcyjne i programowanie w logice]<br>

27 Dominika Tkaczyk, Usprawnienie przetwarzania tekstow w OCAMLu.<br><p>
<p>
<hr><hr>
<p>
Luty<br><p>

24: Maciej  Fijalkowski, O pracy Simon Peyton Jones et al. "Composable 
   Memory Transactions" <br><p>

Marzec<br><p>

 3: Wojciech Pietrzak: Porownanie SML i OCAML.<br>

10: Slawomir Kolasinski, o pracy R. Loadera 
       "Undecidability of lambda-definability"<br>

17: Mateusz Zakrzewski: O unifikacji drugiego rzedu, ciag dalszy<br>

24: Adam Warski: O monadach<br>

31: Maciej Prochniak: o pracy W. Taita "The completeness of
         Heyting first-order logic" <br><p>

Kwiecien<br><p>

7: Stanislaw Skowron, o pracy magisterskiej.<br>

28: Dominika Tkaczyk, Dariusz Kusmierek, o pracach magisterskich<br><p>

Maj<br><p>

5: Wojciech Pietrzak: O logice "defeasible"<br>

12: Juwenalia<br>

19: Piotr Wilkin, o typach zaleznych i rachunku konstrukcji. <br>

26: Wyklad prof. Wirsinga <br><p>

Czerwiec<br><p>

2: Szymon Bemowski: QuickCheck.<br>
    Prezentacja dostepna w formacie <a href="QuickCheckPrezentacja.sxi">
    SXI </a> oraz <a href="QuickCheckPrezentacja.pdf"> PDF </a><br><p>

9: Jacek Rembisz: Przetwarzanie XML w jezykach funkcyjnych<br>