Logic List Mailing Archive

CiE 2005, Amsterdam: "New Computational Paradigms" (June 2005, Deadline: Dec 17, 2004)


                              CiE 2005
                    Computability in Europe 2005 :
                     New Computational Paradigms

                       University of Amsterdam
                           June 8-12, 2005
                    Sponsored by: ASL, EATCS, NWO

                  C A L L    F O R     P A P E R S

                     Deadline: DECEMBER 17, 2004

Computability Theory is central to large areas of theoretical computer
science and mathematical logic. In all areas of computability theory,
alternative models of computation have been investigated, ranging from the
most abstract (generalized recursion theory, infinite time Turing
machines, computation relative to enumerations of data, mathematical
models of emergence) to the very concrete (physical constructions of
quantum computers, applications in neuroscience and learning theory, fine
grained parallelism, swarm intelligence, neural nets, agents, games).

The conference CiE 2005 is an interdisciplinary venue for researchers from
computer science, mathematics, philosophy and the physical sciences. It
will particularly focus on New Computational Paradigms and new
perspectives on models of computation arising from basic research in
mathematical logic and theoretical computer science. The researchers from
the different communities will exchange ideas, approaches and techniques
in their respective work, thereby generating a wider community for work on
computational issues that allows uniform approaches to diverse areas, the
transformation of theoretical ideas into applicable projects, and general
cross-fertilization transcending disciplinary borders.

The Programme Committee cordially invites all researchers (European and
non-European) in the area of computability theory to submit their papers
(in PDF-format, at most 10 pages) for presentation at CiE 2005. The
deadline is December 17, 2004. We plan to publish a proceedings volume
with the Springer LNCS. If you preregister at http://www.illc.uva.nl/CiE/,
you will be informed when the online submission form is set up.

We particularly invite papers that build bridges between different parts
of the research community. For more information about the aims and the
scope of the conference, please check our General Information.  Since
women are underrepresented in mathematics and computer science, we
specially encourage submissions by female authors.

In addition to the usual proceedings volume, we plan to invite submissions
for two post-conference publications, a special issue of Theoretical
Computer Science and a volume of expository and survey papers.

Graduate student members of the ASL can apply for ASL Travel Grants in
order to participate in CiE 2005.  More information can be found on our
webpage http://www.illc.uva.nl/CiE/

Organizers: Barry Cooper, Benedikt Loewe, Leen Torenvliet, Peter van Emde

Invited speakers include - Tutorials:  Harry Buhrman (Amsterdam), Klaus
Weihrauch (Hagen). Plenary talks:  Samson Abramsky (Oxford), Joel D.
Hamkins (New York NY), Ulrich Kohlenbach (Darmstadt), Jan van Leeuwen
(Utrecht), Yuri Matiyasevich (St.Petersburg), Yiannis Moschovakis (Athens
/ Los Angeles CA), Uwe Schoening (Ulm)

Programme Committee:  Klaus Ambos-Spies (Heidelberg), Albert Atserias
(Barcelona), Barry Cooper (Leeds, co-chair), Sergei Goncharov
(Novosibirsk), Benedikt Loewe (Amsterdam, co-chair), Dag Normann (Oslo),
Helmut Schwichtenberg (Muenchen), Andrea Sorbi (Siena), Ivan Soskov
(Sofia), Leen Torenvliet (Amsterdam), John Tucker (Swansea), Johan van
Benthem (Amsterdam/Stanford), Peter van Emde Boas (Amsterdam), Jiri
Wiedermann (Praha).

Sponsors: Association for Symbolic Logic (ASL), European Association for
Theoretical Computer Science (EATCS), Netherlands Organisation for
Scientific Research (NWO)