MPC'02 Invited SpeakersRobert Giegerich, Bielefeld (D): Algebraic Dynamic ProgrammingDexter Kozen, Cornell (USA): Some Results in Dynamic Model TheoryJeannette Wing, Carnegie Mellon (USA): Mathematics in Computer Science Curricula |
webpages hosted by |
||
|
||
Contact
the MPC Webmaster |
||