این کنفرانس هجدهم لغایت بیست و سوم آگوست در نواسیبیرسک روسیه برگزار خواهد شد.
برنامه های این کنفرانس به شرح زیر می باشند:
1- الگوریتم ها وساختار های داده ها
2- رمز نویسی و پیچیدگی
3- زبان های فرمال و نظریه ی ماشین ها
4- مفاهیم و مدل های محاسباتی
5- نظریه ی برهان و کاربرد های منطق در علوم رایانه
6- بررسی مدل
7- استدلال ماشینی
8- استدلال استقرایی
9- حل محدودیت
10- زبان های تابعی و اعلامی
11- مهندسی نرم افزار
12- نوع داده ها
13- توسعه ی روش ها در طراحی ، آزمایش، آنالیز و تایید سیستم های معتبر
علاقه مندان برای کسب اطلاعات بیشتر می توانند به سایت زیر مراجعه نمایند:
http://math.nsc.ru/conference/csr2009/index.shtml