Projects of Logic and Combinatorics
Original assignment list is to be found
here .
Completed Projects
-
Project: Compton Survey, Sections 3 and 4.
Gadi Aleksandrowicz: gadial -at- cs, graduate Ph.D.
Nadia Labai: sndlabai -at- t2.technion.ac.il, undergrad
Slides .
-
Project: 0-1 laws for ESOL
Iddo Bentov: idddo -at- cs, graduate M.Sc.
Haggai Eran: haggaie -at- cs, graduate M.Sc.
Slides .
-
Project: 0-1 law for existential monadic second order logic: Counter examples
Meirav Zehavi: meizeh -at- tx.technion.ac.il, graduate M.Sc.
Slides .
Almost complete
-
Project: Kotek-Makowsky paper
Daniel Genkin: danielg3 -at- cs, graduate M.Sc.
Ofir David: sofirdav -at- t2.technion.ac.il, undergrad
Slides .
Still incomplete
-
Project: Compton Survey, Section 6
Shaked Flur: fshaked -at- cs, graduate M.Sc.
-
Project: Pikhurko-Verbitsky paper
Alon Aviel: alon_aviel -at- yahoo.com
Pavel Furman: spavel89 -at- t2.technion.ac.il, undergrad
Pavel Furman: pfp1989 -at- gmail.com
-
Project: DU-index
Hani Ayoub: hani.ayoub -at- gmail.com, undergrad
Hani Ayoub: suse -at- t2.technion.ac.il,