ISAS Conferences started in Baden-Baden, Germany, in 1995, from then on, they have grown from 55 papers to 2057 papers in Orlando SCI 2003. Nowadays, the conference has become an international forum where researchers and practitioners examine Systemics, Cybernetics and Informatics key issues. Participants from academies, governments, and industries share ideas and experiences among different disciplines.

The programme for this two-day conference covered a variety of aspects of the history and use of proof. Issues addressed included early examples of proof in mathematics, developments in proof, famous problems and the search for proof, software correctness and proof in the school mathematics curriculum.