Scopul nostru este sprijinirea şi promovarea cercetării ştiinţifice şi facilitarea comunicării între cercetătorii români din întreaga lume.
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)