Former Bilateral Project: Brazil - Germany

Automatic Result Verification in the Environment of High Performance Computing (project has expired)

Institutions involved in the project:
 

informatica
WRSWT
informatica
Fakultaet fuer Mathematik
Instituto de Informática
Universidade Federal do Rio Grande do Sul
(UFRGS)
Brazil
Scientific Computing / Software Engineering
Department of Mathematics
University of Wuppertal,
(BUW)
Germany
Faculdade de Informática
Pontificia Universidade Catolica
do Rio Grande do Sul
(PUCRS)
Brazil
Fakultät für Mathematik
Universität Karlsruhe (TH)
Germany
UFRGS
BUW
PUCRS
UNI KA

The bilateral project "Automatic Result Verification in the Environment of High Performance Computing" (BRA 02/A12) is funded by International Bureau (IB, BMBF, Germany), FAPERGS (Brasil) and DAAD (Probral, AZ 415-br-probral/ale-03/23581).

Principal investigators:

Pontificia Universidade Catolica do Rio Grande do Sul (PUCRS),
Faculdade de Informática,
Porto Alegre,
Prof. Dr. Dalcidio Moraes Claudio

and

Bergische Universität Wuppertal (BUW),
Fachbereich Mathematik und Institut für Angewandte Informatik,
Prof. Dr. Walter Krämer

Documents:

Agreement of Cooperation by and between the Universidade Federal do Rio Grande do Sul (UFRGS),
Brazil  and the Bergische Universität Wuppertal (BUW), Germany
(in English: Page 1, Page 2; in Portuguese: Page 1, Page 2)
 

Scientists involved in the project:
 

Name Institution E-mail
Dr. Gerd Bohlender University of Karlsruhe
Prof. Dr. Dalcidio Moraes Claudio PUCRS
Prof. Dr. Tiarajú Asmuz Diverio UFRGS
Dr. Werner Hofschuster BUW
Dr. Carlos Amaral Hölbig UFRGS
Dr. Rudi Klatte University of Karlsruhe
Prof. Dr. Walter Krämer BUW
MSc. Mariana Lüderitz Kolberg PUCRS
Dipl. Math. Markus Grimmer BUW

Exchange of experts:

Papers and Preprints: Talks and Presentations: Under preparation: