[Proof Complexity] CiE 2013 in Milan, July 1 - 5: First Call for Participation

[S B Cooper]

---------------------------------------------------------------------------
       COMPUTABILITY IN EUROPE 2013: The Nature of Computation
                       Milan, Italy,  July  1 - 5, 2013

                           CALL FOR PARTICIPATION

                 Informal Presentation Deadline: 31 May 2013
                   Early Registration Deadline: 31 May 2013

                      http://cie2013.disco.unimib.it

                 co-located with
         Unconventional Computation and Natural Computation 2013

             http://ucnc2013.disco.unimib.it
---------------------------------------------------------------------------

TUTORIAL SPEAKERS:  Gilles Brassard (Universite de Montreal) and
Grzegorz Rozenberg (Leiden Institute of Advanced Computer Science and 
University of Colorado at Boulder)

PLENARY TALKS:
Ulle Endriss (University of Amsterdam)
Lance Fortnow (Georgia Institute of Technology)
Anna Karlin (University of Washington)
Bernard Moret (Ecole Polytechnique Federale de Lausanne)
Mariya Soskova (Sofia University)
Endre Szemeredi (Hungarian Academy of Sciences, Rutgers University)

SPECIAL SESSIONS:
* Algorithmic Randomness (organizers: Mathieu Hoyrup, Andre Nies)
Speakers: Johanna Franklin (University of Connecticut, USA), Noam Greenberg
(Victoria University, New Zealand), Joseph S. Miller (University of
Wisconsin, USA), Nikolay Vereshchagin (Moscow State University, Russia)

* Computational Complexity in the Continuous World (organizers: Akitoshi
Kawamura, Robert Rettinger)
Speakers: Mark Braverman (Princeton University, USA), Daniel S. Graca
(Universidade do Algarve), Joris van der Hoeven (Ecole polytechnique,
France), Chee K. Yap (New York University, USA)

* Computational Molecular Biology (organizers: Alessandra Carbone, Jens
Stoye)
Speakers: Sebastian Boecker (University of Jena, Germany), Marilia D. V.
Braga (Inmetro, Brazil), Andrea Pagnani (Human Genetics Foundation, Italy),
Laxmi Parida (IBM Thomas J. Watson Research Center, USA)

* Computation in Nature (organizers: Mark Daley, Natasha Jonoska)
Speakers: Jerome Durand-Lose (Univ. of Orleans, France),  Giuditta Franco
(Univ. of Verona Italy),  Lila Kari (Univ. of Western Ontario, Canada),
Darko Stefanovic (Univ. of New Mexico, USA)

* Data Streams and Compression (organizers: Paolo Ferragina, Andrew
McGregor)
Speakers: Graham Cormode (AT&T Labs, USA), Irene Finocchi (University of
Rome, Italy), Andrew McGregor (University of Massachusetts, USA), Marinella
Sciortino (University of Palermo, Italy).

* History of Computation (organizers: Gerard Alberts, Liesbeth De Mol)
Speakers:  David Alan Grier (George Washington University, USA), Thomas
Haigh (University of Wisconsin, USA), Ulf Hashagen (Deutsches Museum,
Germany), Matti Tedre (Stockholm University, Sweden).

CiE serves as an interdisciplinary forum for research in all aspects
of computability and foundations of computer science, as well as the
interplay of these theoretical areas with practical issues in computer
science and with other disciplines such as biology, mathematics,
philosophy, or physics.

Women in Computability Workshop,  July 2, 2013:

We continue the programme "Women in Computability" supported by the
journal "Annals of Pure and Applied Logic" (Elsevier).

Speakers: Irene Finocchi,  Laxmi Parida, Liesbeth De Mol

The Women in Computability workshop aims to bring together women in
Computing and Mathematical research to present and exchange their academic
and scientific experience with young researchers. The meeting will offer
the CIE scientific community the opportunity to encourage young students,
especially young female researchers, to have active careers in the
mathematical and computational sciences.

INFORMAL PRESENTATIONS:
Continuing the tradition of past CiE conferences, this year's CiE
conference endeavours to get the best of both worlds. In addition to 
the formal presentations based on our LNCS proceedings volume, we invite 
researchers to present informal presentations. For this, please send us a 
brief description of your talk (between one paragraph and one page) by the 
DEADLINE:

MAY 31, 2013

Please submit your abstract electronically, via EasyChair
<https://www.easychair.org/login.cgi?conf=cie2013>, selecting the category
"Informal Presentation".

You will be notified whether your talk has been accepted for informal
presentation usually within a week after your submission.

**** Also authors of abstracts accepted for presentation are invited to
submit a paper extending the abstract to the journal Computability ****

__________________________________________________________________________

  ASSOCIATION COMPUTABILITY IN EUROPE      http://www.computability.org.uk
  CiE Conference Series                    http://www.illc.uva.nl/CiE
  CiE 2013                                 http://cie2013.disco.unimib.it
  CiE Membership Application Form          http://www.cs.swan.ac.uk/acie
 __________________________________________________________________________