![]() |
Thomas Sturm CNRS, Inria, and the University of Lorraine, France MPI Informatics and Saarland University, Germany sturm@redlog.eu External Homepage » |
![]() |
Andreas Dolzmann Schloss Dagstuhl – LZI, Germany dolzmann@redlog.eu External Homepage » |
![]() |
Marek Košta Slovak Academy of Sciences mkosta@redlog.eu External Homepage » |
M. Achatz, T. Becker, K. Burhenne, C. Hoffelner, M. Jaroschek, M. Kappert, H. Kredel, A. Lasaruk, H. Melenk, W. Neun, E. Nolden, A. Norman, R. Schöpf, A. Seidl, C. Straßer, V. Weispfenning, C. Zengler, and many student projects
The Reduce bug tracker at SourceForge (external link) | SourceForge » |
Email address for bugs, if the bug tracker above is not an option | bugs@redlog.eu |
General email to all Redlog developers | developers@redlog.eu |
Email about this website | www@redlog.eu |