From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9774 Path: news.gmane.org!.POSTED!not-for-mail From: Damiano Mazza Newsgroups: gmane.science.mathematics.categories Subject: Caleidoscope Complexity School: Call for Participation Date: Thu, 13 Dec 2018 15:33:11 +0100 Message-ID: Reply-To: Damiano Mazza NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8"; format=flowed Content-Transfer-Encoding: 8bit X-Trace: blaine.gmane.org 1544717324 29416 195.159.176.226 (13 Dec 2018 16:08:44 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Thu, 13 Dec 2018 16:08:44 +0000 (UTC) To: Original-X-From: majordomo@mlist.mta.ca Thu Dec 13 17:08:40 2018 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp2.mta.ca ([198.164.44.40]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gXTXT-0007Y7-EF for gsmc-categories@m.gmane.org; Thu, 13 Dec 2018 17:08:39 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:33281) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1gXTZ2-0007NQ-72; Thu, 13 Dec 2018 12:10:16 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1gXTXH-0007uh-38 for categories-list@mlist.mta.ca; Thu, 13 Dec 2018 12:08:27 -0400 Content-Language: en-US Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9774 Archived-At: *** Call for participation*** Caleidoscope: Research School in Computational Complexity Institut Henri Poincar??, Paris, 17-21 June 2019 http://caleidoscope.sciencesconf.org/ Dear all, We are delighted to announce the Caleidoscope Research School in Computational Complexity, to take place at the Institut Henri Poincar??, Paris 17-21 June 2019. The school is aimed at graduate students and researchers who already work in some aspects of computational complexity and/or who would like to learn about the various approaches. DESCRIPTION Computational complexity theory was born more than 50 years ago when researchers started asking themselves what could be computed efficiently. Classifying problems/functions with respect to the amount of resources (e.g. time and/or space) needed to solve/compute them turned out to be an extremely difficult question. This has led researchers to develop a remarkable variety of approaches, employing different mathematical methods and theories. The future development of complexity theory will require a subtle understanding of the similarities, differences and limitations of the many current approaches. In fact, even though these study the same phenomenon, they are developed today within disjoint communities, with little or no communication between them (algorithms, logic, programming theory, algebra...). This dispersion is unfortunate since it hinders the development of hybrid methods and more generally the advancement of computational complexity as a whole. The goal (and peculiarity) of the Caleidoscope school is to reunite in a single event as many different takes on computational complexity as can reasonably be fit in one week. It is intended for graduate students as well as established researchers who wish to learn more about neighbouring areas. LECTURES 1. Boolean circuits and lower bounds. (Rahul Santhanam, University of Oxford) 2. Algebraic circuits and geometric complexity. (Peter B??rgisser, Technical University Berlin) 3. Proof complexity and bounded arithmetic. (Sam Buss, University of California San Diego) 4. Machine-free complexity (descriptive and implicit complexity). (Anuj Dawar, University of Cambridge and Ugo Dal Lago, University of Bologna) In addition to these broad-ranging themes, there will also be three more focussed topics, providing examples of (already established or potential) interactions between logic, algebra and complexity: 5. Constraint satisfaction problems. (Libor Barto, Charles University in Prague) 6. Communication complexity. (Sophie Laplante, Paris 7 University) 7. Duality in formal languages and logic. (Daniela Petrisan, Paris 7 University) REGISTRATION Registration to the school is free but mandatory. This is to help us plan tea/coffee breaks and social activities. https://caleidoscope.sciencesconf.org/registration/index FINANCIAL SUPPORT There may be opportunities for financial support for participants. We will make relevant information available via the webpage. https://caleidoscope.sciencesconf.org/ SPONSORS European Association for Computer Science Logic (http://www.eacsl.org/) DIM RFSI - R??gion ??le-de-France (https://dim-rfsi.fr/) Universit?? Paris 13 (https://www.univ-paris13.fr/) Laboratoire d'Informatique de Paris Nord (https://lipn.univ-paris13.fr/) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]