Institute of Computer Languages
Compilers and Languages Group
Who | What | When | Where |
---|---|---|---|
Prof. Dr. Bernhard Steffen | Modellgenerierung für Legacy-Systeme | 2004-10-06 18:00 | Reithofer HS |
Prof. Dr. Kokichi Futatsugi | Equational Proofs in CafeOBJ | 2004-09-02 16:15 | FH HS 4 |
Dr. Christian W. Probst | Proofing: Efficient SSA-based Java Bytecode Verification | 2004-06-16 16:15 | FH HS 4 |
Dr. Dan Quinlan | Telescoping Languages: From Domain Specific Libraries to Domain Specific Languages | 2004-06-07 16:15 | FH HS 2 |
Dr. Adriana Popovici | Real-Time Cellular Automata Recognizers | 2004-02-18 16:15 | Reithofer HS |
List of talks in past years.