پنجمین کنفرانس بین المللی علوم رایانه، شانزدهم لغایت بیستم ژوئن سال 2010 در قازان روسیه برگزار خواهد شد.
موضوعات این کنفرانس به شرح زیر می باشند:
1- الگوریتم ها و ساختار اطلاعات
2- بهینه سازی ترکیبی
3- حل محدودیت ( Constraint Solving)
4- رمزنگاری و پیچیدگی
5- زبان های رسمی و نظریه ی اتوماتا ( ماشین ها)
6- مدل های رایانه ای و مفاهیم
7- الگوریتم ها برای سیستم های متقارن و پخش شده، شبکه ها
8- نظریه ی برهان و به کارگیری از منطق برای علوم رایانه ای
9- بررسی مدل
10- استدلال خودکار
11- روش های استقرایی
مهلت ارسال مقالات هفتم دسامبر 2009 می باشد.
علاقه مندان برای کسب اطلاعات بیشتر می توانند به سایت زیر مراجعه فرمایند:
http://csr2010.antat.ru/