SSD Projects

International Conference on Parallel Computing Technologies (PaCT)

News

  • 09.01.2008-11.01.2008.
    The following four lectures on Discrete Systems Verfication will be delivered by prof . Yu. Karpov (St.-Petersbourg)
    1. 9 Jan., 10 a.m., room 342a, ICM&MG
      Temporal Logic and Verification of Reactive Systems (Model Checking)
    2. 10 Jan., 10 a.m., room 342a, ICM&MG
      Applications and Extensions of Model Checking algorithm
    3. 10 Jan., 15 a.m., room 342a, ICM&MG
      Bynary Solving Diagrams
    4. 11 Jan. 10 a.m., room 342a, ICM&MG
      Symbolic Veryfication
    5. The read the abstracts of the lectures (in Russian) click here
  • 29.05.2007.
    Summer school on parallel computing will be held 2 July-14 July. The school site is available here (in Russian)
  • 09.02.2005.
    School for young scientists "Parallel programming and high-performance computing" will be held 3-5 September in Krasnoyarsk, before PaCT-2005 conference. The official language of school is Russian. The school site is available here (in Russian)
  • 20.01.2005.
    Winter school on parallel computing will be held 24-28 January. The school site is available here (in Russian)