JiscMail Logo
Email discussion lists for the UK Education and Research communities

Help for CPHC-CONF Archives


CPHC-CONF Archives

CPHC-CONF Archives


cphc-conf@JISCMAIL.AC.UK


View:

Message:

[

First

|

Previous

|

Next

|

Last

]

By Topic:

[

First

|

Previous

|

Next

|

Last

]

By Author:

[

First

|

Previous

|

Next

|

Last

]

Font:

Proportional Font

LISTSERV Archives

LISTSERV Archives

CPHC-CONF Home

CPHC-CONF Home

CPHC-CONF  November 2009

CPHC-CONF November 2009

Options

Subscribe or Unsubscribe

Subscribe or Unsubscribe

Log In

Log In

Get Password

Get Password

Subject:

COMPUTABILITY IN EUROPE 2010 - Second call for papers

From:

Elvira Mayordomo <[log in to unmask]>

Reply-To:

Elvira Mayordomo <[log in to unmask]>

Date:

Mon, 30 Nov 2009 10:35:12 +0100

Content-Type:

text/plain

Parts/Attachments:

Parts/Attachments

text/plain (199 lines)

Second call for papers

---------------------------------------------------------------------------
            COMPUTABILITY IN EUROPE 2010: Programs, Proofs, Processes
               Ponta Delgada (Azores), Portugal
                   June 30 to July 4, 2010
                  http://www.cie2010.uac.pt/

            Deadline for submissions: 20 JANUARY 2010
---------------------------------------------------------------------------

Computability in Europe provides the largest international conference
dealing with the full spectrum of computability-related research.

CiE 2010 in the Azores is the sixth conference of the Series, held in a
geographically unique and dramatic location, Europe's most Westerly
outpost. The theme of CiE 2010 - "Programs, Proofs, Processes" - points
to the usual CiE synergy of Computer Science, Mathematics and Logic,
with important computability-theoretic connections to science and the
real universe.

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 on:

Biological Computing, organizers: Paola Bonizzoni, Krishna Narayanan
Invited speakers: Giancarlo Mauri, Natasha Jonoska, Stephane Vialette,
Yasubumi Sakakibara

Computational Complexity, organizers: Luis Antunes, Alan Selman
Invited speakers: Eric Allender, Christian Glasser, John Hitchcock,
Rahul Santhanam

Computability of the Physical, organizers: Barry Cooper, Cris Calude
Invited speakers: Giuseppe Longo, Yuri Manin, Cris Moore, David Wolpert

Proof Theory and Computation, organizers: Martin Hyland, Fernando Ferreira
Invited speakers: Thorsten Altenkirch, Samuel Mimram, Paulo Oliva, Lutz
Strassburger

Reasoning and Computation from Leibniz to Boole, organizers: Benedikt
Loewe, Guglielmo Tamburrini
Confirmed speakers: Volker Peckhaus, Olga Pombo, Sara Uckelman

Web Algorithms and Computation, organizers: Martin Olsen, Thomas Erlebach
Confirmed speaker: Debora Donato

SPECIAL TRIBUTE TO MARIAN POUR-EL: Ning Zhong.

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.

Formal systems, attendant proofs, and the possibility of their computer
generation and manipulation (for instance, into programs) have been
changing a whole spectrum of disciplines. The conference will address
not only the more established lines of research of Computational
Complexity and the interplay between Proofs and Computation, but also
novel views that rely on physical and biological processes and models to
find new ways of tackling computations and improving their efficiency.

We particularly invite papers that build bridges between different parts
of the research community. Since women are underrepresented in
mathematics and computer science, we emphatically encourage submissions
by female authors. The Elsevier Foundation is supporting the CiE
conference series in the programme "Increasing representation of female
researchers in the computability community". This programme will allow
us to fund child-care support, a mentoring system for young female
researchers, and also a small number of grants for junior female
researchers (see below).

The dates around the submission process are as follows:

Submission Deadline: 20 January 2010
Notification to Authors: 18 March 2010
Deadline for Final Version: 8 April 2010

CiE 2010 conference topics include, but not exclusively:

* Admissible sets
* Analog computation
* Artificial intelligence
* Automata theory
* Classical computability and degree structures
* Computability theoretic aspects of programs
* Computable analysis and real computation
* Computable structures and models
* Computational and proof complexity
* Computational complexity
* Computational learning and complexity
* Concurrency and distributed computation
* Constructive mathematics
* Cryptographic complexity
* Decidability of theories
* Derandomization
* Domain theory and computability
* Dynamical systems and computational models
* Effective descriptive set theory
* Finite model theory
* Formal aspects of program analysis
* Formal methods
* Foundations of computer science
* Games
* Generalized recursion theory
* History of Computing
* Hybrid systems
* Higher type computability
* Hypercomputational models
* Infinite time Turing machines
* Kolmogorov complexity
* Lambda and combinatory calculi
* L-systems and membrane computation
* Mathematical models of emergence
* Molecular computation
* Natural computing
* Neural nets and connectionist models
* Philosophy of science and computation
* Physics and computability
* Probabilistic systems
* Process algebra
* Programming language semantics
* Proof mining
* Proof theory and computability
* Quantum computing and complexity
* Randomness
* Reducibilities and relative computation
* Relativistic computation
* Reverse mathematics
* Swarm intelligence
* Type systems and type theory
* Uncertain reasoning
* Weak arithmetics and applications

Contributed papers will be selected from submissions received by the
PROGRAMME COMMITTEE consisting of:

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)

The Programme Committee cordially invites all researchers in the area of
the conference to submit their papers (in PDF-format, at most 10 pages)
for presentation at CiE 2010.

The best of the accepted papers will be published in the conference
proceedings within the Lecture Notes in Computer Science (LNCS) series
of Springer, which will be available at the conference. Authors of
accepted papers are expected to present their work at the conference.
Submitted papers must describe work not previously published, and they
must neither be accepted nor under review at a journal or at another
conference with refereed proceedings.

All papers need to be prepared in LNCS-style LaTeX. Papers must not
exceed 10 pages. Full proofs may appear in a technical appendix which
will be read at the reviewers' discretion. Submissions authored or
co-authored by members of the Programme Committee are not allowed.

Papers that have only student authors are eligible for the "CiE 2010
Best Student Paper Award." If your submission satisfies the
requirements, please submit your paper in the category "Regular paper
(eligible for Best Student Paper Award)." The Programme Committee will
select the best submission among these after acceptance. The recipient
of the Best Student Paper Award will get a fee waiver of the
registration fee, a certificate, and a small symbolic cash prize.

Funded by the Elsevier Foundation's programme 'Women in Computability'
we shall offer five travel grants (covering registration fee and up to 300
EUR in reimbursement for travel and accomodation expenses) for junior
female researchers. More information will become available in March 2010.

Funded by the Elsevier journal Annals of Pure and Applied Logic (APAL),
the organizers are offering a number of travel grants (including fee
waivers and a modest reimbursement of travel and accommodation expenses)
for students to attend CiE 2010. Student authors of accepted papers will
have priority for these grants.

The Association for Symbolic Logic (ASL) sponsors modest student member
travel grants. See http://www.aslonline.org/studenttravelawards.html

New funding opportunities are expected to be offered. For more details
concerning funding and up to date information, please consult regularly
the web page of the conference http://www.cie2010.uac.pt/

Top of Message | Previous Page | Permalink

JiscMail Tools


RSS Feeds and Sharing


Advanced Options


Archives

November 2019
October 2019
September 2019
August 2019
July 2019
June 2019
May 2019
April 2019
March 2019
February 2019
January 2019
December 2018
November 2018
October 2018
September 2018
August 2018
July 2018
June 2018
May 2018
April 2018
March 2018
February 2018
January 2018
December 2017
November 2017
October 2017
September 2017
August 2017
July 2017
June 2017
May 2017
April 2017
March 2017
February 2017
January 2017
December 2016
November 2016
October 2016
September 2016
August 2016
July 2016
June 2016
May 2016
April 2016
March 2016
February 2016
January 2016
December 2015
November 2015
October 2015
September 2015
August 2015
July 2015
June 2015
May 2015
April 2015
March 2015
February 2015
January 2015
December 2014
November 2014
October 2014
September 2014
August 2014
July 2014
June 2014
May 2014
April 2014
March 2014
February 2014
January 2014
December 2013
November 2013
October 2013
September 2013
August 2013
July 2013
June 2013
May 2013
April 2013
March 2013
February 2013
January 2013
December 2012
November 2012
October 2012
September 2012
August 2012
July 2012
June 2012
May 2012
April 2012
March 2012
February 2012
January 2012
December 2011
November 2011
October 2011
September 2011
August 2011
July 2011
June 2011
May 2011
April 2011
March 2011
February 2011
January 2011
December 2010
November 2010
October 2010
September 2010
August 2010
July 2010
June 2010
May 2010
April 2010
March 2010
February 2010
January 2010
December 2009
November 2009
October 2009
September 2009
August 2009
July 2009
June 2009
May 2009
April 2009
March 2009
February 2009
January 2009
December 2008
November 2008
October 2008
September 2008
August 2008
July 2008
June 2008
May 2008
April 2008
March 2008
February 2008
January 2008
December 2007
November 2007
October 2007
September 2007
August 2007
July 2007
June 2007
May 2007
April 2007
March 2007
February 2007
January 2007
2006
2005
2004
2003
2002
2001
2000
1999
1998


JiscMail is a Jisc service.

View our service policies at https://www.jiscmail.ac.uk/policyandsecurity/ and Jisc's privacy policy at https://www.jisc.ac.uk/website/privacy-notice

Secured by F-Secure Anti-Virus CataList Email List Search Powered by the LISTSERV Email List Manager