|
کارسوق تابستانی
علوم کامپیوتر نظری
|
|
|
|
برای دانلود اسلایدهای جلسات لطفا اینجا را کلیلک کنید.
|
|
درباره کارسوق
در راستای گسترش علوم کامپیوتر نظری در کشور، همزمان با راه اندازی دوره دکتری
علوم کامپیوتر در پژوهشگاه دانش های بنیادی، اولین
کارسوق تابستانی علوم کامپیوتر نظری
برای کلیه علاقمندان به این رشته در محل پژوهشگاه دانش های بنیادی از تاریخ 17 الی 25 تیرماه 1391
برگزار می شود. زمینه های مورد نظر کارسوق به قرار زیر هستند:
- مباحثی در الگوریتمهای پیشرفته (شامل الگوریتمهای تصادفی، الگوریتمهای تقریبی، هندسه محاسباتی)
- ترکیبیات و گرافها (شامل ترکیبیات در علوم کامپیوتر، گرافها و الگوریتمها، بهینه سازی ترکیبیاتی)
- منطق در علوم کامپیوتر (شامل پیچیدگی محاسبات، محاسبه پذیری، محاسبات کوانتومی)
- مباحث ویژه (شامل روشهای صوری، رمزنگاری، نظریه بازیها، بیوانفورماتیک)
|
|
كميته علمي و مدرسين
- دكتر محمدعلی آبام
- دكتر سلمان ابوالفتح بيگي
- دكتر سعید اكبري
- دكتر امین امين زاده
- دكتر محمد ايزدي
- دكتر مسعود پورمهديان
- دكتر غلامرضا خسروشاهي
- دکتر علیرضا زارعی
- دكتر حمید سربازي آزاد
- دكتر سعید صالحي پورمهر
- دكتر مهدی صادقي
- دكتر حمید ضرابي زاده
- دكتر بهروز طايفه رضايي
- دكتر مهران فلاح
- دکتر محمد قدسی
- دکتر ابراهیم قربانی
- دکتر علی موقر رحیم آبادی
- دكتر مرتضی منيري
|
|
گواهی شرکت در دوره
در پایان دوره شرکت کنندگان کارسوق گواهی شرکت در دوره را دریافت خواهند کرد.
|
|
تاریخ و محل برگزاری
تاریخ: 17 الی 25 تیرماه 1391
ثبت نام نهایی و دریافت کارت حضور در جلسات و کوپن های ناهار: 17 تیرماه 1391 ساعت 7:45 الی 8:45
آدرس: تهران، ضلع شمالی بزرگراه ارتش، روبروی اراج (جنب میدان ارتش)، پژوهشگاه دانشهای بنیادی
مهم: حتما اصل فیش پرداختی و یک کارت شناسایی معتبر به همراه داشته باشید.
|
|
اسلاید جلسات
|
|
ثبت نام
-
مهلت ثبت نام به اتمام رسیده است.
|
|
تماس با ما
وبگاه: http://cs.ipm.ac.ir/csworkshop2012
پست الکترونیک: csinfo (- at -) ipm .ir
تلفن تماس: +98 21 22280332
|
|
برنامه کارسوق
>> دریافت نسخه pdf برنامه کارسوق
>> برنامه عصرانه کارسوق در عصر روز دوشنبه 19 تیرماه ساعت 18:00 در محل ساختمان نیاوران پژوهشگاه واقع در نیاوران، میدان شهید باهنر
برگزار خواهد شد.
|
|
9:00
الي
10:00
|
10
الي
10:30
|
10:30
الي
11:30
|
11:30
الي
12:30
|
12:30
الي
14:00
|
14:00
الي
15:30
|
|
شنبه
1391/4/17
|
مباحثي در الگوريتمهاي پيشرفته
|
پذيرايي
|
گرافها و الگوريتمها
|
الگوريتمهاي تقريبي
|
ناهار
|
الگوريتمهاي تصادفي
|
|
يكشنبه
1391/4/18
|
مباحثي در الگوريتمهاي پيشرفته
|
پذيرايي
|
گرافها و الگوريتمها
|
هندسه محاسباتي
|
ناهار
|
الگوريتمهاي تقریبی
|
|
دوشنبه
1391/4/19
|
مباحثي در الگوريتمهاي پيشرفته
|
پذيرايي
|
نظریه بازیها
|
الگوريتمهاي تصادفی
|
ناهار
|
هندسه محاسباتي
|
|
سه شنبه
1391/4/20
|
محاسبه پذیری و پیچیدگی
|
پذيرايي
|
منطق (کلاسیک)
|
تركيبيات در علوم كامپيوتر
|
ناهار
|
رمزنگاری
|
|
چهارشنبه
1391/4/21
|
محاسبه پذیری و پیچیدگی
|
پذيرايي
|
منطق (محاسبه پذیری)
|
بهینه سازی ترکیبیاتی
|
ناهار
|
منطق (غیر کلاسیک)
|
|
شنبه
1391/4/24
|
محاسبه پذيري و پیچیدگی
|
پذيرايي
|
روشهای صوری (مدلسازی و منطق)
|
تركيبيات در علوم كامپيوتر
|
ناهار
|
محاسبات كوانتومي
|
|
يكشنبه
1391/4/25
|
محاسبه پذيري و پیچیدگی
|
پذيرايي
|
روشهای صوری (الگوریتمها و وارسی مدل)
|
ترکیبیات در علوم کامپیوتر
|
ناهار
|
بیوانفورماتیک
|
|
