Registration 8:30 - 9:00 |
Registration Registration
|
|||||||
|
Note that the timing of talks, and the
division of talks
between sessions, has not yet been announced. Invited talk: Challenges in Analog Design:
Room for Formal Methods?
Prof. Erich Barke, University of Hannover Time Constrained Verification of Analog
Circuits using Model-Checking
Algorithms
D. Grabowski, D. Platte, L. Hedrich, and E. Barke. Formal Verification of the Quasi-Static
Behavior of Mixed-Signal
Circuits by Property Checking
M. Freibothe The Case for Analog Circuit Verification
C. Myers, R. Harrison, D. Walter, N. Seegmiller, and S Little. Analysing the Robustness of Surfing Circuits
S. Yang and M. Greenstreet Time Domain Verification of Oscillator Circuit
Properties
G. Frehse, B. Krogh, O. Maler, and R. Rutenbar |
|||||||
Evening 19:30 |
Dinner
Dinner at the Royal Scots Club, Abercrombie Place
Situated in one of Edinburgh's finest Georgian streets the Royal Scots Club was founded in 1919 as a tribute to those who fell in The Great War. The building has an interesting architecture and houses a great variety of Scottish regimental memorabilia. |