<body> <p>This page uses frames, but your browser doesn't support them.</p> </body> Natalia Sidorova



Dept. of Mathematics and Computer Science

Technische universiteit Eindhoven
PO Box 513
5600 MB Eindhoven
The Netherlands

Office          HG 7.84
Tel.             +31 (0)40 2473705
Fax             +31 (0)40 2463992
E-mail         n.sidorova@tue.nl


Teaching

Research

Publications

CV


Some forthcoming events

APNOC 2009 - International Workshop on Abstractions for Petri Nets and Other Models of Concurrency, Paris,  June 22, 2009
FM2009 - 16th International Symposium on Formal Methods, Eindhoven, the Netherlands, October 30 - November 7, 2009