In fact, I am very embarrassed: I have never known
What is the MarkToberdorf Summer Class?
Although it is also a student studying a small number of student students. Yesterday I saw the MarkToberdorf Summer Class
Survey, especially
Manfred Broy's lean, only known, the annual summer class is also a grand meeting of the computer theory, the big bull gathered. More than half of the things that the big cows are talking to the rivers and lakes. The fresh stuff in the past is, it is much like today's computer population, such as Dijkstra's structured programming (every class of each class will contact something?) And weak Pre-conditions (discrete mathematics, is it?
), J.A Robinson's logical programming, PNUELI's timing logic, J. Stoy's epitaxial logic, and so on. In fact, this year's summer class is also very interesting, such as
Boute's unified theory (Functional Math, I know the name and Lambda Calculus has a great relationship),
Broy's framework for the formal plane (this seems to be comparable to the trend), Hoare
Process Algebra and
The dream of the test function (the dream of the author Steve McGuire, the author of the author, "actually big cow has begun to do.), And SAGIV
Abstract processing frame
It is very interesting to look. Oh, it seems that this month has something to read.
