SSD Projects	International Conference on Parallel Computing Technologies (PaCT)	News
Assembly Technology Behavioural debugger Executive Subsystem Fine Grain Computing History of Computing Large Scale Numerical Modeling MAES Project NWO-Grid Project NWO-Plasma Project NumGRID Project SAGE Project SET Project Siberian Innovative Portal Project STAR Project VLSI Microprocessors site	PaCT-2009, Novosibirsk, Russia, August 31 - September 4, 2009. PaCT-2007, Pereslavl-Zalessky, Russia, September, 2007. (LNCS vol. 4671) PaCT-2005, Krasnoyarsk, Russia, September, 2005. (LNCS vol. 3606) PaCT-2003, Nizhni Novgorod, Russia, September 15-19, 2003.(LNCS Vol. 2763) PaCT-2001, Novosibirsk (Academgorodok), Russia, September 3-7, 2001(LNCS Vol. 2127) PaCT-99, St.-Petersburg, Russia, September 6 - 10, 1999. (LNCS Vol. 1662) PaCT-97, Yaroslavl, Russia, September 1997 (LNCS Vol. 1277). PaCT-95, St.-Petersburg, Russia, September 12-15, 1995 (LNCS Vol. 964).	09.01.2008-11.01.2008. The following four lectures on Discrete Systems Verfication will be delivered by prof . Yu. Karpov (St.-Petersbourg) 9 Jan., 10 a.m., room 342a, ICM&MG Temporal Logic and Verification of Reactive Systems (Model Checking) 10 Jan., 10 a.m., room 342a, ICM&MG Applications and Extensions of Model Checking algorithm 10 Jan., 15 a.m., room 342a, ICM&MG Bynary Solving Diagrams 11 Jan. 10 a.m., room 342a, ICM&MG Symbolic Veryfication 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)