Call for Participation and Informal Presentations
***********************************************************************
CALL FOR INFORMAL PRESENTATIONS
There is a remarkable difference in conference style between computer
science and mathematics conferences. Mathematics conferences allow for
informal presentations that are prepared very shortly before the
conference and inform the participants about current research and work
in progress. The format of computer science conferences with
pre-conference proceedings is not able to accommodate this form of
scientific communication.
Again 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 half a page)
by the DEADLINE:
MAY 15, 2010.
Please submit your abstract electronically, via EasyChair
You will be notified whether your talk has been accepted for informal
presentation usually within a week after your submission.
Let us remind you that we are planning several post-conference
publications, which will contain full articles of selected CiE 2010
presentations, including informal presentations.
You can find these instructions at
http://www.cie2010.uac.pt/contents/call_for_informal_presentations.html
<http://www.cie2010.uac.pt/contents/call_for_informal_presentations.html>
We also want to draw attention to the various funding opportunities
still available.
Please consult
http://www.cie2010.uac.pt/contents/student_opportunities.html
***********************************************************************
IMPORTANT DATES:
Submission of informal presentations: MAY 15
Early registration deadline: MAY 28
Late registration deadline: JUNE 20
***********************************************************************
DETAILS OF PROGRAMME:
TUTORIALS: Jeffrey Bub (Information, Computation and Physics),
Bruno Codenotti (Computational Game Theory).
INVITED SPEAKERS: Eric Allender, Jose L. Balcazar, Shafi Goldwasser,
Denis Hirschfeldt, Seth Lloyd, Sara Negri, Toniann Pitassi, and Ronald
de Wolf.
SPECIAL SESSIONS:
Biological Computing, organizers: Paola Bonizzoni, Krishna Narayanan
Invited speakers: Natasha Jonoska, Giancarlo Mauri, Yasubumi Sakakibara,
Stephane Vialette
Computational Complexity, organizers: Luis Antunes, Alan Selman
Invited speakers: Eric Allender, Christian Glasser, John Hitchcock,
Rahul Santhanam
Computability of the Physical, organizers: Cris Calude, Barry Cooper
Invited speakers: Giuseppe Longo, Yuri Manin, Cris Moore, David Wolpert
Proof Theory and Computation, organizers: Fernando Ferreira, Martin Hyland
Invited speakers: Thorsten Altenkirch, Samuel Mimram, Paulo Oliva, Lutz
Strassburger
Reasoning and Computation from Leibniz to Boole, organizers: Benedikt
Loewe, Guglielmo Tamburrini
Invited speakers: Nimrod Bar-Am, Michele Friend, Olga Pombo, Sara Uckelman
Web Algorithms and Computation, organizers: Thomas Erlebach, Martin Olsen
Invited speakers: Hannah Bast, Debora Donato, Alex Hall, Jeannette Janssen
SPECIAL TRIBUTE TO MARIAN POUR-EL: Ning Zhong.
***********************************************************************
__________________________________________________________________________
ASSOCIATION COMPUTABILITY IN EUROPE http://www.computability.org.uk
CiE Conference Series http://www.illc.uva.nl/CiE
CiE 2010 http://www.cie2010.uac.pt/
CiE Membership Application Form http://www.cs.swan.ac.uk/acie
CiE on Twitter http://twitter.com/AssociationCiE
__________________________________________________________________________
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************