PROGRAM
Tuesday, April 18th View this program: with abstractssession overviewtalk overview 10:00-10:30Coffee Break 12:10-13:30Lunch Break 13:30-15:20 Session 2: Probabilistic models and methods
15:20-15:50Coffee Break 15:50-17:30 Session 3: Invariance and Entropy
17:30 – 20:00 Cocktail/demo + poster Chair: Wednesday, April 19th View this program: with abstractssession overviewtalk overview 10:00-10:30Coffee Break 12:10-13:30Lunch Break 15:20-15:50Coffee Break 15:50-17:30 Session 6: Verification II
17:30 – 18:00 Business meeting
18:30 – 20:30 Banquet (History Center)
Thursday, April 20th View this program: with abstractssession overviewtalk overview 10:00-10:30Coffee Break 12:10-13:30Lunch Break 15:20-15:50Coffee Break |