Seminars
Our lab. has two regular seminars: LDL weekly seminar: basically a doctor course student presents her/his research interests, and M1 Reading seminar: first-year master course students read a book in a year. LDL Weekly seminars may include a practice of master student's defense, talk at a meeting, and so on.
LDL weekly seminar
SCHEDULE
Basically 15:00, Every Wednesday
Reading seminar
2008-2009
B.Gries, F.B.Schneider,
"A Logical Approach to Discrete Math,"
Springer.
2005-2006
B.Gries, F.B.Schneider,
"A Logical Approach to Discrete Math,"
Springer.
2004
Yves Bertot, Pierre Casteran,
"Interactive Theorem Proving and Program Development
-- Coq'Art: The Calculus of Inductive Constructions --",
Springer.
2003
Joseph A. Goguen,
"Theorem Proving and Algebra",
Draft of February 18, 2003, to appear
2000-2002
Jeff Magee, Jeff Kramer,
"Concurrency -- State Models & Java Programs --",
John Wiley & Sons
1999
Brian W. Kernighan, Rob Pike,
"The Practice of Programming",
Addison-Wesley
1998
Robin Milner,
"Communication and Concurrency",
Prentice Hall
1997
Andrew W. Appel,
"Modern Compiler Implementation in Java",
Cambridge University Press
1994-1996
Daniel P. Friedman, Mitchell Wand, Christopher T. Haynes,
"Essentials of Progarmming Languages",
The MIT Press
1993
Glynn Winskel,
"The Formal Semantics of Programming Languages -- An Introduction --",
The MIT Press
1992
Gregory R. Andrews,
"Concurrent Programming -- Principles and Practice --",
The Benjamin/Cummings Publishing Company, Inc.