A 3-year PhD-Position is available in the project
"Monadic Computational Logics in HOL"
at the University of Bremen. The project is concerned with the
implementation and further development of monadic computational logics,
including monadic Hoare logic and monadic dynamic logic as well as
extensions covering exception handling, as introduced by Till
Mossakowski and myself. More detailed information can be found at
http://www.informatik.uni-bremen.de/~lschrode/research/projects/HOL-MDL_e.htm
Applications or further enquiries may be e-mailed to my address below.
-- Lutz
--
-----------------------------------------------------------------------------
Lutz Schroeder Phone +49-421-218-4683
Dept. of Computer Science Fax +49-421-218-3054
University of Bremen [EMAIL PROTECTED]
P.O.Box 330440, D-28334 Bremen
http://www.informatik.uni-bremen.de/~lschrode
-----------------------------------------------------------------------------
_______________________________________________
Haskell mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell
