logo_p_de.gif (10088 Byte)

Institut für Theoretische Informatik
Forschungsgruppe Prof. Dr. P. H. Schmitt

Adresse/Kontakt
Mitarbeiter
Projekte
Studium und Lehre

 

Current Activities

greenbal.gif (204 Byte) Member of the Scientific Directorate
International Conference and Research Center for Computer Science Schloss Dagstuhl
greenbal.gif (204 Byte) Member of the Supervisory Board
International Conference and Research Center for Computer Science Schloss Dagstuhl
greenbal.gif (204 Byte) Program committee member
4th IEEE International Conference on Software Engineering and Formal Methods SEFM 2006
greenbal.gif (204 Byte) Program committee member
8th International Conference on Formal Engineering Methods ICFEM 2006
greenbal.gif (204 Byte) Program committee member
OCL for (Meta-)Models in Multiple Application Domains OCLApps 2006
engl-flagge.gif (750 Byte) lbeckert@ira.uka.de 21. Juli 2006