Project Seminar Formal Methods in Computer Science (SS 2006)
Jump to...
The RISC Proof Navigator - Second Status Report
Transparencies 1 to 3 (1310 KB)
Transparencies 4 to 6 (1709 KB)
Transparencies 7 to 9 (1637 KB)
Transparencies 10 to 12 (1886 KB)
Transparencies 13 to 15 (1834 KB)
Transparencies 16 to 18 (1463 KB)
Querying Registry-Published Mathematical Web Services
Acceleration of the optimization in SEE++
Report on the AINA 2006 Conference
The RISC Proof Navigator - Third Status Report
Automatic Verification of Parameterized Data Structures
Embounded Project (Abstract)
EmBounded: Automatic Prediction of Resource Bounds...
Reasoning about Object Structure Using the Ownersh...
Reasoning about Programs with Pointer Structures U...
RISC
»
FMSEM06S
»
Forums
»
News forum
» Seminar Date
Display replies flat, with oldest first
Display replies flat, with newest first
Display replies in threaded form
Display replies in nested form
Seminar Date
by
Wolfgang Schreiner
- Wednesday, 22 March 2006, 02:57 PM
The seminar date and place has been changed to Thursday, 13:00-14:30,
Hagenberg meeting room ("UFO"). The next seminar will take place on
March 30.
Regards, WS
Reply