CIVILICA We Respect the Science
(ناشر تخصصی کنفرانسهای کشور / شماره مجوز انتشارات از وزارت فرهنگ و ارشاد اسلامی: ۸۹۷۱)
۲۰
آذر

سی و هفتمین کنفرانس سالانه اصول فناوری نرم افزار و علوم تئوری کامپیوتر

کنفرانسهای خارجی

کنفرانسهای ایران

بخش کنفرانسهای خارج از کشور فقط جهت اطلاع رسانی بوده و سیویلیکا محتوای آن را تایید یا رد نمی کند.
سی و هفتمین کنفرانس سالانه اصول فناوری نرم افزار و علوم تئوری کامپیوتر در تاریخ ۲۰ آذر ۱۳۹۶ تا ۲۴ آذر ۱۳۹۶ توسط در کشور هند ، شهر کانپور برگزار می شود.

حوزه های تحت پوشش: علوم كامپيوتر
برگزار کننده:
کشور برگزاری: هند
شهر برگزاری: کانپور

مهمترین محورهای کنفرانس عبارتند از :

- الگوریتم ها و سازه های داده
- نظریه گراف الگوریتمی و ترکیبیات
- الگوریتم تقریبی
- خودکار و زبان رسمی
- بهینه سازی ترکیبی
- پیچیدگی ارتباطات
- زیست شناسی محاسباتی
- پیچیدگی محاسباتی
- هندسه محاسباتی
- نظریه یادگیری محاسباتی
- رمزنگاری و امنیت
- تئوری بازی و طراحی مکانیک
- منطق در علوم کامپیوتر
- نظریه مدل، منطق مد و زمان
- مدل های سیستم های همزمان و توزیع شده
- مدل های سیستم های زمانبندی، واکنش پذیر، ترکیبی و اتفاقی
- الگوریتم های موازی، توزیع شده و آنلاین
- پیچیدگی پارامتریک
- اصول و معناشناسی زبان برنامه نویسی
- تجزیه و تحلیل برنامه و تبدیل
- پیچیدگی اثبات
- محاسبات کوانتومی
- تصادفی در محاسبات
- مشخصات، تایید، و سنتز
- اثبات قضیه، روش تصمیم گیری، و بررسی مدل
- جنبه های تئوری محاسبات موبایل و با کارایی بالا

11
Dec

37th Annual Conference on Foundations of Software Technology and Theoretical Computer Science


Covering Fields: Computer Science
Organized by:
Country: India
City: Kanpur


- Algorithms and Data Structures 
- Algorithmic Graph Theory and Combinatorics 
- Approximation Algorithms 
- Automata and Formal Languages 
- Combinatorial Optimization 
- Communication Complexity 
- Computational Biology 
- Computational Complexity 
- Computational Geometry 
- Computational Learning Theory 
- Cryptography and Security 
- Game Theory and Mechanism Design 
- Logic in Computer Science 
- Model Theory, Modal and Temporal Logics 
- Models of Concurrent and Distributed Systems 
- Models of Timed, Reactive, Hybrid and Stochastic Systems 
- Parallel, Distributed and Online Algorithms 
- Parameterized Complexity 
- Principles and Semantics of Programming Languages 
- Program Analysis and Transformation 
- Proof Complexity 
- Quantum Computing 
- Randomness in Computing 
- Specification, Verification, and Synthesis 
- Theorem Proving, Decision Procedures, and Model Checking 
- Theoretical Aspects of Mobile and High-Performance Computing 
 

درج در تقویم: ۱۳۹۶/۴/۲۴ - تعداد مشاهده ۳۰ بار

وضعیت کنفرانس

درحال پذیرش مقاله

تاریخهای شمسی

تاریخ برگزاری:
۲۰ آذر ۱۳۹۶ تا ۲۴ آذر ۱۳۹۶
مهلت ارسال چکیده:
۲ مرداد ۱۳۹۶
مهلت ارسال اصل مقالات:
۲۴ مهر ۱۳۹۶
مهلت ثبت نام در کنفرانس:
۲۴ مهر ۱۳۹۶

تاریخهای میلادی

تاریخ برگزاری:
۲۰۱۷ - December - ۱۱
تا ۲۰۱۷ - December - ۱۵
مهلت ارسال چکیده:
۲۰۱۷ - July - ۲۴
مهلت ارسال اصل مقالات:
۲۰۱۷ - October - ۱۶
مهلت ثبت نام در کنفرانس:
۲۰۱۷ - October - ۱۶

ارتباط با دبیرخانه کنفرانس

تلفن دبیرخانه:
وبسایت: پایگاه رسمی کنفرانس

کنفرانسهای مرتبط

کنفرانسهای زیر از نظر موضوعی مشابه سی و هفتمین کنفرانس سالانه اصول فناوری نرم افزار و علوم تئوری کامپیوتر هستند:

کنفرانسهای داخلی مرتبط

به اشتراک گذاری