ASAP - About Schemata And Proofs

TU Vienna ► Institute of Computer Languages ► Theory and Logic Group (E185-2) ► ASAP

Members

The following researchers are working on this international project

• Austrian side - Theory and logic group:
  • Alexander Leitsch (coordinator) (webpage)
  • Cvetan Dunchev
  • Daniel Weller (webpage)
  • Gernot Salzer (webpage)
  • Matthias Baaz (webpage)
  • Mikheil Rukhaia (webpage)
  
  
• French side - The CAPP team:
  • Abdelkader Kersani
  • Hicham Bensaid
  • Mnacho Echenim
  • Nicolas Peltier (coordinator) (webpage)
  • Thierry Boy de la Tour (webpage)
  • Vincent Aravantinos (webpage)

© 2010-2012 Theory and Logic Group - Mikheil Rukhaia, Cvetan Dunchev.

Supported by the project I383 of the Austrian Science fund.
Last update on January 27, 2012.