CUGS workshop 2007
CUGS Annual Workshop March 21-22 2007
Location:
Radisson SAS, Stora Torget 9, Linköping
Preliminary programme
March 21st
12.00-13.00 Lunch
13.00-13.10 Introduction
13.10-14.10 Invited talk by Prof. John Hughes, CTH
Title: QuickCheck: Putting Formal Specifications to Work
14.10-14.50 Thesis proposal #1: Alexander Karlsson
Title: Generic robust and reliable high-level information fusion -
algorithms and methods
abstract
Lars K, Christoph K, Slava
and Per (discussion leader)
14.50-15.30 Thesis proposal #2: David Broman
Title: Type Safety of Equation-Based Object-Oriented Languages
abstract
Peter J, Björn L, Robert (discussion leader) and Vlad
15.30-16.00 Coffee break
16.00-17.00 PhD student forum (incl.Election of
student representatives)
17.00-17.45 Research presentation by Mehdi Amirijoo
Title: Performance Feedback Control of Computing Systems
OBS! 16:00-18:00
(in parallel) Steering committee meeting
18.30 Dinner
March 22nd
09.00-10.00 Invited talk by Prof. Patrick Doherty,
LiTH
Title: Unmanned Aerial Vehicle Research Prospects and Challenges
10.00-10.20 Coffee break
10:20-11:00 Thesis proposal #3: Kevin LeBlanc
Title: Geometric spaces for fusion and matching of information in
multi-robot systems
abstract
Nahid, Kris K, Mikhail and Artur (discussion leader)
11:00-11:30 Lic presentation #1 Viacheslav Izosimov
Title: Scheduling and Optimization of Fault-Tolerant Embedded Systems
abstract
11:30-12:00 Lic presentation #2 Robert Lundh
Title: Plan-Based Configuration of a Group of Robots
abstract
12.00- Closing + lunch
|
