Campusvej 55
Odense, Syddanmark

Stimulates research in the use of logical formalisms and methods for specifying, performing,and analyzing computations,including mechanisms for mobility, modularity,concurrency,object-orientation,security,and static analysis.

Official Website: http://www-ps.informatik.uni-kiel.de/ppdp11/

Added by mBLAST on February 8, 2011

Interested 1