Exploring New Frontiers of Theoretical Informatics: IFIP 18th World Computer Congress TC1 3rd International Conference on Theoretical Computer Science (TCS2004) 22–27 August 2004 Toulouse, France

کاوش در مرزهای جدید انفورماتیک نظری

ویرایش ژان ژاک لوی، ارنست دبلیو مایر و جان سی میچل

در سال‌های اخیر، سناریوهای کاربردی فناوری اطلاعات به روش‌های بسیار نوآورانه تکامل یافته‌اند. شبکه‌های بسیار پراکنده اکنون به یک پلتفرم رایج برای برنامه‌نویسی توزیع‌شده در مقیاس بزرگ تبدیل شده‌اند، ارتباطات با پهنای باند بالا ارزان و گسترده هستند، و اکثر ابزارهای کاری ما مجهز به پردازنده‌هایی هستند که ما را قادر می‌سازد تا وظایف زیادی را انجام دهیم. علاوه بر این، محاسبات سیار (به طور خاص به دستگاه‌های بی‌سیم و به طور گسترده‌تر به سیستم‌های پیکربندی پویا) امکان بهره‌برداری از تعامل به روش‌های جدید را فراهم کرده است.

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

بازتاب طیف متنوع و گسترده ای از موضوعات و علایق در جامعه نظری علوم کامپیوتر، کاوش مرزهای جدید انفورماتیک نظری در دو مسیر متمایز اما مرتبط با یکدیگر ارائه می‌شود:

-الگوریتم‌ها، پیچیدگی و مدل‌های محاسبات،
-منطق، معناشناسی، مشخصات و تأیید.

کاوش در مرزهای جدید انفورماتیک نظری شامل 46 مقاله اصلی و قابل توجه در پرداختن به این سؤالات اساسی، و همچنین چهار مقاله توسط سخنرانان برجسته دعوت شده است. این مقالات در سومین کنفرانس بین المللی IFIP در مورد علوم نظری کامپیوتر (TCS 2004) که همزمان با هجدهمین کنگره جهانی کامپیوتر در تولوز، فرانسه برگزار شد، ارائه شد. در آگوست 2004 و توسط فدراسیون بین المللی پردازش اطلاعات (IFIP) حمایت شد.

Exploring New Frontiers of Theoretical Informatics

Edited by Jean-Jacques Levy, Ernst W. Mayr, and John C. Mitchell

In recent years, IT application scenarios have evolved in very innovative ways. Highly distributed networks have now become a common platform for large-scale distributed programming, high bandwidth communications are inexpensive and widespread, and most of our work tools are equipped with processors enabling us to perform a multitude of tasks. In addition, mobile computing (referring specifically to wireless devices and, more broadly, to dynamically configured systems) has made it possible to exploit interaction in novel ways.

To harness the flexibility and power of these rapidly evolving, interactive systems, there is need of radically new foundational ideas and principles; there is need to develop the theoretical foundations required to design these systems and to cope with the many complex issues involved in their construction; and there is need to develop effective principles for building and analyzing such systems.

Reflecting the diverse and wide spectrum of topics and interests within the theoretical computer science community, Exploring New Frontiers of Theoretical Informatics is presented in two distinct but interrelated tracks:

-Algorithms, Complexity and Models of Computation,
-Logic, Semantics, Specification and Verification.

Exploring New Frontiers of Theoretical Informatics contains 46 original and significant contributions addressing these foundational questions, as well as four papers by outstanding invited speakers. These papers were presented at the 3^rd IFIP International Conference on Theoretical Computer Science (TCS 2004), which was held in conjunction with the 18^th World Computer Congress in Toulouse, France in August 2004 and sponsored by the International Federation for Information Processing (IFIP).