[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] CiE 2010 - Call for Participation and Informal Presentations



***********************************************************************
           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.

***********************************************************************
PROGRAMME COMMITTEE:

Klaus Ambos-Spies (Heidelberg), Luis Antunes (Porto), Arnold Beckmann
(Swansea), Paola Bonizzoni (Milano), Alessandra Carbone (Paris), Steve
Cook (Toronto ON), Barry Cooper (Leeds), Erzsebet Csuhaj-Varju
(Budapest), Fernando Ferreira (Lisbon, co-chair), Nicola Galesi (Rome),
Luis Mendes Gomes (Ponta Delgada), Rosalie Iemhoff (Utrecht), Achim Jung
(Birmingham), Michael Kaminski (Haifa), Jarkko Kari (Turku), Viv Kendon
(Leeds), James Ladyman (Bristol), Kamal Lodaya (Chennai), Giuseppe Longo
(Paris), Benedikt Loewe (Amsterdam), Elvira Mayordomo (Zaragoza,
co-chair), Wolfgang Merkle (Heidelberg), Russell Miller (New York NY),
Dag Normann (Oslo), Isabel Oitavem (Lisbon), Joao Rasga (Lisbon), Nicole
Schweikardt (Frankfurt), Alan Selman (Buffalo NY), Peter van Emde Boas
(Amsterdam), Albert Visser (Utrecht)

http://www.cie2010.uac.pt/

__________________________________________________________________________
 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
__________________________________________________________________________