Natasha ALECHINA (Utrecht University, Netherlands) State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems

Arnon AVRON (Tel Aviv University) Why Predicative Sets?

Bruno COURCELLE (LaBRI, CNRS and Bordeaux University, France) Betweenness in order-theoretic trees slides

Yijia CHEN (Fudan University, China) Parallel Computing and First-Order Logic

Martin DAVIS (Courant Institute, New York University) Seventy Years of Computer Science

Wilfrid HODGES (England) Medieval Arabic notions of algorithm: some further raw evidence

Johann A. MAKOWSKY (Technion - Israel Institute of Technology) After dinner speach

Eugenio OMODEO (University of Trieste, Italy) Reductions of Hilbert's 10th problem to undecidable fragments of set theory - Abstract - slides

Alexander RABINOVICH (Tel Aviv University, Israel) The Expressive Power of Temporal and First-Order Metric Logics

Peter SCHMITT (Karlsruhe, Germany) Two First-Order Theories of Ordinals

Alexander SHEN (University of Montpellier, France) Randomness tests: theory and practice abstract

Jerzy TYSZKIEWICZ (University of Warsaw, Poland) The Power of Spreadsheet Computations

Mikhail VOLKOV (Ural Federal University, Federation of Russia) Identities of the Kauffman Monoid K4 and of the Jones monoid J4 abstract