logo_p_de.gif (10088 Byte)

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

Adresse/Kontakt
Mitarbeiter
Projekte
Studium und Lehre

 

Previous Activities

greenbal.gif (204 Byte) General Chair
3rd IEEE International Conference on Software Engineering and Formal Methods, SEFM 2005
greenbal.gif (204 Byte) Program committee member
ACM / IEEE 8th International Conference on Model Driven Engineering Languages and Systems (formerly the UML series of conferences) MoDELS / UML 2005
greenbal.gif (204 Byte) Program committee member
20th International Conference on Automated Deduction CADE-20
greenbal.gif (204 Byte) Program committee member
International Conference TABLEAUX 2005 Automated Reasoning with Analytic Tableaux and Related Methods
engl-flagge.gif (750 Byte) lbeckert@ira.uka.de 21. Juli 2006