[TYPES/announce] Complexity School @LI2012 : call for participation

[Patrick Baillot]

============================================================

         LOGIC AND INTERACTIONS 2012
                CIRM, MARSEILLE

           COMPLEXITY WINTER SCHOOL (Week 1)
            30 JANUARY- 3 FEBRUARY
     http://li2012.univ-mrs.fr/programme/week1/

------------------------------------------------------------------------

The "Logic and interactions 2012" session will gather researchers in
various fields of "logic in computer science". The meeting will run five
consecutive weeks, from 30 January to 2 March 2012, each dedicated to
a particular area of logic and its interactions.

Each week will include lectures, invited talks and contributed talks,
together with work sessions. Lectures are aimed primarily at PhD
students and non-specialist researchers.

------------------------------------------------------------------------
         CALL FOR CONTRIBUTIONS - COMPLEXITY WINTER SCHOOL

**NEW [04/12/2011]**: a preliminary programme is available from the web page.

----------------------
  SUBMISSION PROCEDURE
----------------------

This is a call for  abstracts   for contributed talks in the week.

Abstract and title must be submitted electronically to the three
  organizers:
  patrick.baillot at ens-lyon.fr, nadia.creignou at lif.univ-mrs.fr,  
jean-yves.marion at loria.f

Submissions of abstracts on published work are allowed.

-----------------
  IMPORTANT DATES
-----------------
Abstract submission:                  December, 15th 2011
Registration:                         December 19th  2011 (After this  
date, we cannot guarantee accommodation)
Notification for abstracts submitted:  January, 3rd, 2012

-------------------
  SCOPE OF THE WEEK
-------------------

The theme of this week is the logical approach to logical complexity.  
The last decade has seen the development of logical formalisms derived  
from linear logic that characterize functions computable in various  
complexity classes (polynomial or elementary in time, logarithmic in  
space) in an implicit way, that is to say by contruction of the  
languages instead of using explicit measures. The theory that  
underlies these formalisms naturally meets the more established  
tradition of studying the complexity of algorithmic problems from  
logic (satisfiability, constraints solving, etc). The goal of this  
week is to survey the various aspects of the theory of algorithmic  
complexity where these communities meet, so as to trigger new  
interactions and enrich the various approaches.


------------------
  LECTURERS
------------------
     * Martin Hofmann (LMU, Munich, Germany): Pure pointer programs  
(implicit computational complexity with an abstract datatype of  
pointers)
     * Yiannis N. Moschovakis (UCLA, USA): Relative complexity in  
arithmetic and algebra
     * Stefan Szeider (TU Wien, Austria): Parameterized complexity
     * Heribert Vollmer (Leibniz Universität, Hannover, Germany):  
Circuit complexity


------------------
  INVITED SPEAKERS
------------------
    * Emmanuel Hainry (Nancy): Computable Analysis: Computability and  
complexity over the reals
    * Neil Jones (Copenhagen): Alan Turing and 75 years of Research in  
Models of Computation
    * Virgile Mogbil (Paris 13) : Parallel computation with Boolean proof nets

The morning sessions will consist in tutorials given by invited  
speakers while the afternoons will be devoted to shorter presentations  
and contributed talks.
Participants are welcome to submit a contribution (see the procedure  
above), but this is not mandatory.


------------------
  REGISTRATION
------------------

   There are no registration fees. Accomodation at the CIRM should be
   available for all participants: the only condition is to register on
   time.

   Pre-registration is now open on the web site.
   Once your pre-registration is validated, you will be contacted by the
   CIRM for the actual registration and booking.

------------------
GRANTS
------------------

   Accommodation at the CIRM is funded for all participants requiring it:
   simply select the appropriate option in the pre-registration form.
   FYI: The standard rate for staying at the CIRM, including breakfast
   and two meals each day is 82 (double room) to 90 (single room) euros
   per day.

   We might also provide a limited amount of travel grants for students.
   To apply for such a grant, be sure to check the corresponding box of
   the pre-registration form: we will contact you directly for further
   information.

------------
  ORGANIZERS
------------

  * Patrick Baillot (LIP, ENS Lyon)
  * Nadia Creignou (LIF, Marseille)
  * Jean-Yves Marion (LORIA, Nancy)

=============================================================================