TU DARMSTADT:HomeInstitute of MathematicsResearch Group Logic

Home Registration Conference programme Abstracts Travel and accommodation List of participants Programme committee Contact

Organisation

• Ulrich Kohlenbach
• Martin Otto
• Thomas Streicher
• Benno van den Berg