Projects of Logic and Combinatorics

Original assignment list is to be found here .

    Completed Projects

  1. Project: Compton Survey, Sections 3 and 4.
    Gadi Aleksandrowicz: gadial -at- cs, graduate Ph.D.
    Nadia Labai: sndlabai -at-, undergrad
    Slides .
  2. Project: 0-1 laws for ESOL
    Iddo Bentov: idddo -at- cs, graduate M.Sc.
    Haggai Eran: haggaie -at- cs, graduate M.Sc.
    Slides .
  3. Project: 0-1 law for existential monadic second order logic: Counter examples
    Meirav Zehavi: meizeh -at-, graduate M.Sc.
    Slides .

    Almost complete

  4. Project: Kotek-Makowsky paper
    Daniel Genkin: danielg3 -at- cs, graduate M.Sc.
    Ofir David: sofirdav -at-, undergrad
    Slides .

    Still incomplete

  5. Project: Compton Survey, Section 6
    Shaked Flur: fshaked -at- cs, graduate M.Sc.
  6. Project: Pikhurko-Verbitsky paper
    Alon Aviel: alon_aviel -at-
    Pavel Furman: spavel89 -at-, undergrad
    Pavel Furman: pfp1989 -at-
  7. Project: DU-index
    Hani Ayoub: hani.ayoub -at-, undergrad
    Hani Ayoub: suse -at-,