Annual Meeting, 10-11 March 2014

This year's ExCAPE annual spring meeting will be held jointly with the Austrian Research Netwrork (ARiSE) in Berkeley, California.

Registration - CLOSED

Registration is free of charge.

Meeting Location

The meeting will be held at UC Berkeley Campus. First day will be in Cory Hall, Room 540AB. Second day will be at Sutardja Dai Hall. Both locations are highlighted [here].

Lodging

We have arranged a discounted rate with the Claremont hotel. Registration link/code will be emailed to all registrants.

Agenda

This year's program consists of a lot of short talks, organized around ExCAPE's themes. You can find below the session's program, and then the talks. Printable version is available here: Program.pdf.

Day 1

(Corry Hall, Room 540AB)

08:25-08:30

Welcome

08:30-09:30

Computational Engines

09:30-10:00

Coffee

10:00-11:00

Design Methodology

11:00-12:00

Networked Systems

12:00-13:00

Lunch

13:00-14:00

Distributed Protocols

14:00-15:00

Industry Session

15:00-15:30

Coffee

15:30-17:00

Robotic Systems

18:00-...

Dinner at the Claremont Hotel

18:15-18:45

Edward Lee (UC Berkeley) - The TerraSwarm Research Center

Day 2

(Sutardja Dai Hall)

08:30-09:30

Online Education

09:30-10:00

Coffee

10:00-11:00

Theoretical Foundations

11:00-12:00

Tools & Infrastructure

12:00-13:00

Lunch

13:00-14:00

Programming for Mobiles Apps

14:00-14:30

NSF - PI meeting

14:30-15:30

PI Meeting

15:30-16:00

Coffee

16:00-17:30

PI Meeting

The talks, organized per session are listed below. Sessions corresponding to challenge problems start with an overview and end with a discussion. You are invited to look at the discussion questions, and think about them up front.

How can other ExCAPE PIs get involved?
What computational techniques and existing tools can help address scaling issues in our domain?
Our problem domain (in particular SDN) is considered a hot topic in networking. Most of the relevant work has focused on programming languages and verification. How can we make a strong play given the synthesis angle?

How can other ExCAPE PIs get involved?
Can similar tutoring systems be designed for other courses?
Can current systems be improved using other computational techniques?
How can we collaborate with researchers with expertise in education?