Meeting Schedule: Apr. 2005 -- Mar. 2006
- 2006 3 28 (Tue) 13:30- [tosh]
- 2006 3 24 (Fri) 15:00- Invited Talk: Matthias Blume
- 2006 3 21 (Tue) Holiday
- 2006 3 14 (Tue) 13:30- [oyama]
- 2006 3 7 (Tue) 15:00- [shmz]
- 2006 2 28 (Tue) 14:00- Invited Talk: Tachio Terauchi
- 2006 2 21 (Tue) [nicolas]
- 2006 2 14-15 (Tue-Wed) Final Presentation for Senior Theses
- 2006 2 7-8 (Tue-Wed) Final Presentation for Master's Theses
- 2006 1 31 (Tue) [ragab]
- 2006 1 24 (Tue) [koichi] Program Partitioning
- 2006 1 17 (Tue) [kaneda] Optimistic Replication Systems (Survey of IceCube & WinFS)
- Winter vacation
- 2005 12 20 (Tue) [osumi, haruki, yamashita] Preview for senior theses
- 2005 12 13 (Tue) [uhiro, tossy-2] Preview for master theses
- 2005 12 6 (Tue) [y_yoko, mame] Preview for master theses
- 2005 11 29 (Tue) [nowak] Reasoning about transfinite sequences (pdf)
- 2005 11 22 (Tue) [zbkt]
- 2005 11 15 (Tue) [dunnan]
- 2005 11 8 (Tue) [hedkandi] Progress Report (pdf)
- 2005 11 1 (Tue) [koyu] Progress Report
- 2005 10 25 (Tue) Invited Talk: Prof. Eijiro Sumii
- 2005 10 18 (Tue) [disk-ec7] Progress Report
- 2005 10 11 (Tue) [furuse] Progress Report
- 2005 10 4 (Tue) [tosh] Survey: Modriaan Memory Protection (ppt)
- 2005 9 27 (Tue) [oyama] Rollback-Oriented Programming for Enhanced Dependability
- 2005 9 20 (Tue) [shmz] CELL processor and Keisoku Supercomputer
- 2005 9 13 (Tue) not held
- Summer Vacation
- 2005 7 19 (Tue) [M2 (uhiro, tossy-2)] Preview of Interim Presentations (2)
- 2005 7 12 (Tue) 14:00- [M2 (y_yoko, mame)] Preview of Interim Presentations (1)
- 2005 7 5 (Tue) [nicolas] Progress Report (Specification of Memory Isolation Property in Separation Logic)
- 2005 6 28 (Tue) [koichi] Survey of USENIX Security 2005
- 2005 6 21 (Tue) Invited Talk: Dr. Khaled Ragab
- 2005 6 14 (Tue) [yoshinor] Progress Report
- 2005 6 7 (Tue) [tosiyuki]
- 2005 5 31 (Tue) [nowak]
- 2005 5 24 (Tue) Invited Talk: Dr. Ozaki from AIST
- 2005 5 17 (Tue) [kaneda] PPoPP 2005 Report
- 2005 5 10 (Tue) [zbkt] About Senior Thesis
- 2005 4 26 (Tue) 16:30 [dunnan] Progress report
- 2005 4 21 (Thu) 15:30- [hedkandi] Progress report (pdf)
- 2005 4 14 (Thu) 15:00- Invited Talk: Mr. Wang Wei
- 2005 4 12 (Tue) Progress report
- 2005 4 5 (Tue) [koyu] Progress report