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