CS 520 Open Forum
By Thread

Starting: Thu Sep 02 2004 - 15:54:55 EDT
Ending: Fri Nov 19 2004 - 16:53:42 EST

• advice for the homework assignments Assaf J. Kfoury (Fri Nov 19 2004 - 16:32:54 EST)
• Topic of interest for cs520 Gabriel Parmer (Fri Nov 19 2004 - 13:59:33 EST)
  • Re: Topic of interest for cs520 Assaf J. Kfoury (Fri Nov 19 2004 - 16:37:53 EST)
• should the first two problems in problem set 9 refer to page 6. Ashwin Thangali (Thu Nov 18 2004 - 22:49:51 EST)
  • Re: should the first two problems in problem set 9 refer to page 6. Assaf Kfoury (Thu Nov 18 2004 - 23:52:15 EST)
    • annotation in problem 7 Ashwin Thangali (Fri Nov 19 2004 - 12:33:05 EST)
      • Re: annotation in problem 7 Assaf J. Kfoury (Fri Nov 19 2004 - 12:40:14 EST)
• cs-520 Problem Set 8 Yarom Gabay (Sat Nov 06 2004 - 16:32:16 EST)
  • Re: cs-520 Problem Set 8 Dan Benjamin (Sat Nov 06 2004 - 17:18:49 EST)
    • Re: cs-520 Problem Set 8 Assaf Kfoury (Sat Nov 06 2004 - 23:07:09 EST)
      • Re: cs-520 Problem Set 8 Yarom Gabay (Sun Nov 07 2004 - 09:44:54 EST)
• talk by Likai Liu Assaf J. Kfoury (Wed Oct 27 2004 - 17:23:01 EDT)
• more on homework assignments and implementations Assaf Kfoury (Sun Oct 17 2004 - 00:03:06 EDT)
• reminder Assaf J. Kfoury (Fri Oct 15 2004 - 11:41:09 EDT)
• about course contents and pace of the lectures Assaf Kfoury (Wed Oct 13 2004 - 23:31:29 EDT)
  • A question about fix point function Hsueh-Szu Yang (Fri Oct 15 2004 - 11:16:50 EDT)
    • Re: A question about fix point function Assaf J. Kfoury (Fri Oct 15 2004 - 11:32:55 EDT)
• cs520 question Michael Long (Sun Oct 10 2004 - 14:51:37 EDT)
  • Re: cs520 question Assaf Kfoury (Mon Oct 11 2004 - 00:13:13 EDT)
• Re: PA2 submission Assaf Kfoury (Sat Oct 09 2004 - 09:30:18 EDT)
• cs 520 implementation Yarom Gabay (Wed Oct 06 2004 - 12:53:42 EDT)
  • Re: cs 520 implementation Assaf J. Kfoury (Wed Oct 06 2004 - 13:38:51 EDT)
  • Re: cs 520 implementation Assaf Kfoury (Thu Oct 07 2004 - 19:58:42 EDT)
• hint for problem 2 in problem set 3 Assaf Kfoury (Fri Oct 01 2004 - 19:34:42 EDT)
  • Implementation Hany Morcos (Wed Oct 06 2004 - 17:09:27 EDT)
    • Re: Implementation Assaf Kfoury (Wed Oct 06 2004 - 17:21:34 EDT)
• Top level variable bindings ashwin thangali (Wed Sep 29 2004 - 23:45:30 EDT)
  • Re: Top level variable bindings Assaf Kfoury (Thu Sep 30 2004 - 00:39:56 EDT)
• renaming Quan Yuan (Wed Sep 29 2004 - 21:10:48 EDT)
  • Re: renaming Assaf Kfoury (Thu Sep 30 2004 - 00:51:44 EDT)
    • Re: renaming ashwin thangali (Thu Sep 30 2004 - 01:14:30 EDT)
      • Re: renaming Assaf J. Kfoury (Thu Sep 30 2004 - 18:38:25 EDT)
• Implicational Logic Quan (Tue Sep 28 2004 - 00:54:14 EDT)
• Re: question about Exercise 5.3.7 Assaf Kfoury (Fri Sep 24 2004 - 19:35:13 EDT)
  • Re: question about Exercise 5.3.7 Assaf Kfoury (Fri Sep 24 2004 - 19:28:13 EDT)
    • latex source Gabriel Parmer (Mon Sep 27 2004 - 19:34:32 EDT)
      • Re: latex source Assaf J. Kfoury (Tue Sep 28 2004 - 15:58:58 EDT)
• question of Problem 5 Quan Yuan (Fri Sep 24 2004 - 12:52:30 EDT)
  • Re: question of Problem 5 Hany Morcos (Fri Sep 24 2004 - 13:03:11 EDT)
    • Re: question of Problem 5 Kanishka Gupta (Fri Sep 24 2004 - 13:36:00 EDT)
• (no subject) Kanishka Gupta (Thu Sep 23 2004 - 20:41:25 EDT)
  • Re: question about Exercise 5.3.7 Assaf Kfoury (Thu Sep 23 2004 - 21:40:17 EDT)
• reminder about the implementation Assaf Kfoury (Thu Sep 23 2004 - 21:32:48 EDT)
• question regarding head and tail of empty list ashwin thangali (Thu Sep 23 2004 - 13:45:26 EDT)
  • Re: question regarding head and tail of empty list Assaf J. Kfoury (Thu Sep 23 2004 - 13:52:47 EDT)
    • Re: question regarding head and tail of empty list ashwin thangali (Thu Sep 23 2004 - 14:11:48 EDT)
      • Re: question regarding head and tail of empty list Assaf J. Kfoury (Thu Sep 23 2004 - 14:39:37 EDT)
    • closed terms Hany Morcos (Thu Sep 23 2004 - 14:14:16 EDT)
      • Re: closed terms Assaf J. Kfoury (Thu Sep 23 2004 - 14:41:55 EDT)
• lecture slides Kyle Burke (Mon Sep 20 2004 - 13:58:32 EDT)
  • Re: lecture slides Assaf J. Kfoury (Mon Sep 20 2004 - 14:07:16 EDT)
    • question about ch. 5 Hany Morcos (Mon Sep 20 2004 - 15:42:27 EDT)
      • Re: question about ch. 5 Assaf J. Kfoury (Mon Sep 20 2004 - 16:46:33 EDT)
• My email address and a question regarding the implementation of the homework. Michael Long (Mon Sep 20 2004 - 13:32:56 EDT)
  • Re: My email address and a question regarding the implementation of thehomework. Assaf J. Kfoury (Mon Sep 20 2004 - 13:52:28 EDT)
• cs520 Yarom Gabay (Mon Sep 20 2004 - 11:56:20 EDT)
  • Re: cs520 Assaf J. Kfoury (Mon Sep 20 2004 - 14:04:47 EDT)
• Question on HW1 Kanishka Gupta (Thu Sep 16 2004 - 20:26:56 EDT)
  • Re: Question on HW1 Assaf Kfoury (Thu Sep 16 2004 - 21:55:19 EDT)
• implementation part of first homework assignment Assaf J. Kfoury (Tue Sep 14 2004 - 10:56:35 EDT)
• Homework question Hany Morcos (Mon Sep 13 2004 - 19:35:58 EDT)
  • Re: Homework question Assaf Kfoury (Mon Sep 13 2004 - 21:18:13 EDT)
• where to send homework assignements Assaf J. Kfoury (Mon Sep 13 2004 - 13:07:28 EDT)
  • Re: where to send homework assignements Assaf J. Kfoury (Mon Sep 13 2004 - 13:19:24 EDT)
• Problem Set 1 is posted Assaf J. Kfoury (Fri Sep 10 2004 - 17:11:04 EDT)
• test A.J. Kfoury (Thu Sep 02 2004 - 15:56:51 EDT)

Last message date: Fri Nov 19 2004 - 16:53:42 EST
Archived on: Fri Nov 19 2004 - 17:00:43 EST

This archive was generated by hypermail 2b29 : Fri Nov 19 2004 - 17:00:43 EST