Inscriere cercetatori

Site nou !

Daca nu va puteti recupera parola (sau aveti alte probleme), scrieti-ne la pagina de contact. Situl vechi se gaseste la adresa old.ad-astra.ro

Conferinta stiintifica in aceasta saptamana

http://synasc12.info.uvt.ro

Invited speakers:

Bruno Buchberger (RISC, Linz Austria)
Sumit Gulwani (Microsoft Research, Redmond)
Tetsuo Ida (Tsukuba U., Japan)
Michael Kohlhase (Jacobs U. Bremen, Germany)
Sasscha Ossowski (Rey Carlos U. Madrid, Spain)
Paul Tarau (Univ. North Texas, Denton TX)
Stephen Watt (Univ. Western Ontario, London, Canada)
Solomon Marcus (Romanian Academy)

Tutorials:

James Davenport (Bath, UK)
Ioan Lucian Muntean (UT Cluj)
Gheorghe Paun (Romanian Academy & Univ Sevilla)
Dorel Lucanu (UAIC Iasi)
Traian-Florin Serbanuta (UIUC, Urbana-Champain & UAIC Iasi)