Yonezawa Lab.

Meeting Schedule: Apr. 2002 -- Mar. 2003

(See also: Current Schedule)

• 2003 03 25 (Tue.) not held
• 2003 03 18 (Tue.) [pesch] A Multicast Process Calculus
• 2003 03 11 (Tue.) [affeldt] Verification of "pi-calculus programs" in Coq (slides, note)
• 2003 03 04 (Tue.) cancelled (because of PPL)
• 2003 02 25 (Tue.) [sshong] The basis of bio-informatics:alignment
• 2003 02 18 (Tue.) [tosiyuki]
• [2003 02 12-13 (Wed.-Thu.) Final Presentation for Senior Theses]
• [2003 02 04-05 (Tue.-Wed.) Final Presentation for Master's Theses]
• 2003 01 28 (Tue.) cancelled (many presentations expected this week)
• 2003 01 21 (Tue.) [oiwa] Progress Report
• 2003 01 14 (Tue.) [mass] Progress Report
• 2003 01 07 (Tue.) [ganat] Java Generics

• 2002 12 24 (Tue.) Christmas/New-Year Vacation
• 2002 12 20 (Fri.) Preview for Senior Theses:
  • [oyuichi]
  • [kohei]
  • [suzu]
  • [hideaki]
• 2002 12 17 (Tue.) Preview for Master's Theses (2):
  • [tabee]
  • [hayami]
  • [yoshinor]
• 2002 12 10 (Tue.) Preview for Master's Theses (1):
  • [tatsuo]
  • [kaneda]
• 2002 12 03 (Tue.) not held (sensei absent)
• 2002 11 27 (Wed.) [tak] 16:00 room 236, Asynchronous Pi-Calculus (slides, resume, supplement)
• 2002 11 26 (Tue.) Invited talk: Dr. Fabien (Microsoft Research, Cambridge)
  • Part 1: Some security research project at Microsoft Corporation
  • Part 2: Digital watermarking and its applications
• 2002 11 19 (Tue.) Mr. Hagiwara (Microsoft Japan): Generics in .NET
• 2002 11 12 (Tue.) not held
• 2002 11 05 (Tue.) [endo] progress report: LU factorization on the phoenix model (slides)
• 2002 10 29 (Tue.) Invited talk: Mr. Hagiwara (Microsoft Japan): about .NEt framework
• 2002 10 22 (Tue.) [tosh] Quantum Computing (slides)
• 2002 10 15 (Tue.) [cocoa]
• 2002 10 08 (Tue.) [affeldt] Verification of a mail server in Coq (slides)
• 2002 10 01 (Tue.) [台風] ^_^ (postponed for convenience since next week slot is available)
• 2002 09 24 (Tue.) [pesch] about PhD thesis
• 2002 09 17 (Tue.) [gotoh] survey: PRIMES in P
• 2002 09 10 (Tue.) Introduction of the Yonezawa Lab to Senior Students
• [2002 09 03-04 (Tue.-Wed.) Intermediate Presentation for Doctorial Dissertations/Master Theses]
  
  
• 2002 07 30--08 27 (Tue.) Summer vacation!
• 2002 07 23 (Tue.) 17:00-- [M2] Preview for interim presentations
  • [yoshinor]
  • [hayami]
  • [tatsuo]
• 2002 07 16 (Tue.) [M2] Preview for interim presentations
  • [tabee]
  • [kaneda]
• 2002 07 10 (Wed.) 15:30-- [oiwa] Fail-Safe C Internal (progress report)
• 2002 07 02 (Tue.) [mass] Survey : Visual Programming Language (ppt)
• 2002 06 25 (Tue.) [tatsuo] Progress Report and Survey : Java bytecode verifier
• 2002 06 18 (Tue.) Not held (for PLDI2002)
• 2002 06 11 (Tue.) [ganat] Survey : CCured
• 2002 06 04 (Tue.)
  • [tabee]
  • [tak]
• 2002 05 28 (Tue.) [hayami] Progress Report(ppt) and Survey: A Framework for Reducing the Cost of Instrumented Code (ppt)
• 2002 05 21 (Tue.) [yoshinor] Preview of PLDI poster(ppt)
• 2002 05 14 (Tue.) 17:00-- Invited Talk: Patent Office
• 2002 05 07 (Tue.) [kaneda] Progress Report (slides) (resume)
• 2002 04 30 (Tue.) [shioya] Survey : Bigwig Project
• 2002 04 23 (Tue.) Cancelled
• 2002 04 16 (Tue.) [tabee] Progress Report (XPerl)
• 2002 04 09 (Tue.) Enshu 3 YL Guidance
• 2002 04 02 (Tue.) [endo] Progress Report