Goetz Alefeld (University of Karlsruhe) 
Error Bounds for Complementarity Problems Using Feasible Vectors (joint work with Z. Wang)

Gianni Arioli (Politecnico di Milano) 
A functional analytic approach to computer assisted proofs

Henning Behnke (Technical University of Clausthal) 
Bandgaps for 3D Photonic Crystals: A ComputerAssisted Approach (Part II)

Malcolm Brown (Cardiff University) 
Eigenvalue enclosures and exclosures for nonselfadjoint problems in hydrodynamics

Andreas Frommer (University of Wuppertal) 
Computing enclosures for the matrix square root

Yasuhide Fukumoto (Kyushu University) 
Linear and weakly nonlinear stability of an elliptic flow from the
viewpoint of Hamiltonian spectra

Gerhard Heindl (University of Wuppertal) 
On Verification Problems in Digital Filter Design

Frank Herrlich (University of Karlsruhe) 
Origamis and Dessins d'Enfants 

Vu Hoang (University of Karlsruhe) 
Enclosures for SingleShock Solutions of Burgers' Equation

Masanobu Kaneko (Kyushu University) 
On the "values" of the elliptic modular jfunction at real quadratics

Walter Kraemer (University of Wuppertal) 
Solving Large Linear Interval System

Ulrich Kulisch (University of Karlsruhe) 
Practical Interval Arithmetic

Guenter Mayer (University of Rostock) 
The solution sets of some structured matrices

P. Joseph McKenna (University of Connecticut) 
Some conjectures on semilinear elliptic equations: theorems, computations and verification

Kaori Nagatou (Kyushu University) 
Spectral Problem on 3D Maxwell's Equations

Mitsuhiro T. Nakao (Kyushu University) 
On the numerical verification method of solutions for evolutional equations

Markus Neher (University of Karlsruhe) 
Taylor model methods for the verified integration of ODEs

Arnold Neumaier (University of Vienna) 
Towards optimizationbased error bounds for PDEs

Shin'ichi Oishi (Waseda University) 
Some Applications of Verified Numerical Computations and Error Free Transformations

Filomena Pacella (University of Rome La Sapienza) 
Computer assisted proofs for semilinear elliptic equations

Michael Plum (University of Karlsruhe) 
Bandgaps for 3D Photonic Crystals: A ComputerAssisted Approach (Part I)

Andreas Rauh (University of Rostock) 
Applications of Verified DAE Solvers in Engineering

Wolfgang Reichel (University of Karlsruhe) 
Apriori bounds for discretized nonlinear elliptic boundary value problems

Siegfried M. Rump (Technical University of HamburgHarburg) 
ErrorFree Transformations and illconditioned problems

Gabriela Schmithuesen (University of Karlsruhe) 
A side trip of origamis into Outer Space 

Setsuo Taniguchi (Kyushu University) 
Eigenvalues in stochastic oscillatory integrals

Masato Wakayama (Kyushu University) 
Arithmetics on noncommutative harmonic oscillators

Yoshitaka Watanabe (Kyushu University) 
A computerassisted stability proof for the OrrSommerfeld problem with Poiseuille flow

Nobito Yamamoto (University of ElectroCommunications) 
Verified Computatuion of Closed Orbits of Dynamical Systems

Piotr Zgliczynski (Jagiellonian University) 
Rigorous numerics for dissipative PDEs
