home | srpski | english
 
   
     
 
15.Jul 2010.

New Page 1

Federated Conference on Rewriting, Deduction, and Programming - RDP 2011
May 29 - June 3, 2011
Novi Sad
 

27.Feb 2010.

New Page 1

Synthesis, Verification, and Analysis of Rich Models - SVARM, Edinburgh,
July 20-12, 2010.
  Affiliated with FLOC 2010, Edinburgh.
 

27.Feb 2010.

New Page 1

5th Workshop o Interesection Types and Related Systems -  ITRS 2010,
Edinburgh, July 9, 2010.

27.Feb 2010.

New Page 1

COST Action IC0901 web site Rich-Model Toolkit.

6.Apr 2009.

Letnja škola Foundations of Information Technologies , FIT, će se održati u Novom Sadu, od 14. juna do 27. juna 2009.

Jun 2008.

Fundamenta Informaticae - special issue on Intersection Types and Related Systems

Maj 2008.

12. Srpski matematički kongres Novi Sad 28. avgust - 2. septembar 2008.

Januar 2008.

International Workshop on Intersection Types and Related Systems Torino, Italy 25 Mart 2008.

 
 
 

copyright by CMS-FTN-NS 2007©