Formal Methods Research Group

Formal Methods Research Group

Institute

Studies office

Digital science and computing center

Didlaukio str. 47, LT-08303, Vilnius

E-mail mif@mif.vu.lt

Phone +370 5 219 5040

Naugarduko str. 24, LT-03225, Vilnius

E-mail studijos@mif.vu.lt

Phone +370 5 219 3055

Didlaukio str. 47, LT-08303, Vilnius

E-mail it.prodekanas@mif.vu.lt

Phone +370 5 219 9328; +370 5 219 5008