Call for papers

We plan to have up to 30 contributed papers to be presented at the conference. We welcome contributions from logicians and philosophers or historians of science as well as from philosophically aware computer scientists and mathematicians. Topics include but are not limited to:

  • The history of computation:

computational systems
mechanized reasoning,
algorithms and programs
communities of computing and their paradigms,

  • Philosophical, foundational and practical issues of computability in logic, mathematics and computer science:

models of computability,
physical Church-Turing Thesis,
the complex behaviour of simple computational systems;
formal systems for distributed, cloud and secure computing,
semantic theories of programming languages,
functional vs. object-oriented programming,

  • Computation in the sciences:

computer experiments and simulations,
computer-aided systems for teaching and research
(math- and engineering software, e-learning, scientific databases),
computer and the arts,

We cordially invite researchers working in a field relevant to the main topics of the conference to submit a short abstract of approximately 200 words and an extended abstract of at most a 1000 words (references included) to

Abstracts must be written in English. Please note that the format of uploaded files must be .pdf or .doc.

In order to access the submission page, the creation of an EasyChair account will be required. Please notice that what is called “abstract” in the EasyChair “Title, Abstract and Other Information” section corresponds to the short abstract of this call, and what is called “paper” in the EasyChair “Upload Paper” section corresponds to the extended abstract of this call.



Submission deadline: May 15, 2011

Notification of acceptance: July 20, 2011