Meeting Schedule: Apr. 2003 -- Mar. 2004

(See also: Current Schedule)

2004 03 30 (Tue.) 15:30-- [yoshinor] Router mechanisms to defend against DDoS
2004 03 23 (Tue.) [kohei] Translation of Tree-processing Programs into Stream-processing Programs based on Order Linear Type
2004 03 16 (Tue.) [tosiyuki] Progress Report (Crawler Project)
2004 03 09 (Tue.) [oyama] MDM 2004 report
2004 03 02 (Tue.) [oyuichi] Progress Report(Aspect)
2004 02 24 (Tue.) 14:00-- [hideaki] Progress report
2004 02 18 (Wed.) 15:00-- [kaneda] Progress report (ppt)
2004 02 12 (Thu.) 17:00-- [oiwa] Implementation of Fail-Safe C
[2003 02 10-11 (Tue.-Wed.) Final Presentation for Senior Theses]
[2003 02 03-04 (Wed.-Thu.) Final Presentation for Master's Theses]
2004 01 27 (Tue.) [fujimoto] Progress Report
2004 01 20 (Tue.) [koichi] Buffer Overflow & Format Bugs
2004 01 13 (Tue.) not held
2003 12 16 (Tue.) [tosh] ASIAN 2003 Report
2003 12 09 (Tue.) [pesch] Equivalence and Compositionality in the cube-calculus
2003 12 02 (Tue.) [eric] Progress Report
2003 11 25 (Tue.) [affeldt] Applpi logic encoding
2003 11 18 (Tue.) Progress report II
2003 11 11 (Tue.) Progress report I
2003 11 04 (Tue.) not held (ISSS 2003)
2003 10 28 (Tue.) 16:45-- Inviated talk by Dr. Furuse
2003 10 21 (Tue.) 16:15-- [sshong]
2003 10 14 (Tue.) [tak] Reliable Communication for Highly Mobile Agents
2003 10 07 (Tue.) [mass] The SLAM Project @ Microsoft Research
2003 09 30 (Tue.) AMD Opteron Seminar
2003 09 23 (Tue.) not held
2003 09 16 (Tue.) not held (JSSST zenkoku taikai)
2003 09 09 (Tue.) [yoshinor] Controlling High-Bandwidth Aggregates in the Network(ppt)
2003 09 03 (Wed.) Interim presentations for doctor/master thesis
2003 07 23 -- 2003 08 31 Summer vacation
2003 07 22 (Tue.) [kohei] A Type Theory for Memory Allocation and Data Layout
2003 07 15 (Tue.) cancelled
2003 07 08 (Tue.) [tosiyuki] Progress Report
2003 07 01 (Tue.) [ganat] Progress Report
2003 06 24 (Tue.) [oyama] Progress Report slides
2003 06 17 (Tue.) [oyuichi] Soft-Timer
2003 06 10 (Tue.) [kaneda] SACSIS 2003 report (slides)
2003 06 03 (Tue.) [hideaki] The nesC Language: A Holistic Approach to Networked Embedded Systems
2003 05 27 (Tue.) [fujimoto] A Anatomy of a Larger-Scale Hypertextual Web Search Engine (slides)
2003 05 20 (Tue.) [koichi] Efficient Software-based Fault Isolation
2003 05 13 (Tue.) [cocoa] About register allocation
2003 05 06 (Tue.) [tosh] A Provably Sound TAL for Back-end Optimization (slides)
2003 04 29 (Tue.) Holiday (Green Day)
2003 04 22 (Tue.) [Eric] Moving Firewall
2003 04 15 (Tue.) Guest Speaker
2003 04 08 (Tue.) [all] Progress Report (2)
2003 04 01 (Tue.) [all] Progress Report (1)