search for: verialg

...ards, Florian [1] http://llvm.org/docs/LangRef.html -- Karlsruher Institut für Technologie (KIT) Forschungsgruppe Verifikation trifft Algorithmik Dipl.-Inf. Florian Merz Wissenschaftlicher Mitarbeiter Am Fasanengarten 5 76131 Karlsruhe Telefon: +49 721 608-7318 florian.merz at kit.edu http://verialg.iti.uni-karlsruhe.de/ KIT - Universität des Landes Baden-Württemberg und nationales Großforschungszentrum in der Helmholtz-Gemeinschaft

Hi, The 20th of Novembre 2009, a LLVM BarCamp will be hold at La Cantine. Contributions, contributors, comments or any kind of help are welcome. Thanks and see you in Paris, Eric Mahe http://www.facebook.com/group.php?gid=140537112502 http://barcamp.org/LLVM-BarCamp-Paris -------------- next part -------------- An HTML attachment was scrubbed... URL:

...t; -- > Karlsruher Institut für Technologie (KIT) > Forschungsgruppe Verifikation trifft Algorithmik > > Dipl.-Inf. Florian Merz > Wissenschaftlicher Mitarbeiter > > Am Fasanengarten 5 > 76131 Karlsruhe > Telefon: +49 721 608-7318 > florian.merz at kit.edu > http://verialg.iti.uni-karlsruhe.de/ > > KIT - Universität des Landes Baden-Württemberg und > nationales Großforschungszentrum in der Helmholtz-Gemeinschaft

...gards, Florian Merz -- Karlsruhe Institute of Technology (KIT) Institute for Theoretical Computer Science Dipl.-Inform. Florian Merz Researcher Am Fasanengarten 5 Building 50.34 76131 Karlsruhe, Germany Phone: +49 721 608-45955 Fax: +49 721 608-44211 Email: florian.merz at kit.edu Web: http://verialg.iti.kit.edu/ KIT - University of the State of Baden-Wuerttemberg and National Research Center of the Helmholtz Association