Agenda Day 1 - Tuesday, November 27, 2012
Time
Topic
Speaker
8:00-8:45
Registration
8:45-9:00
Welcome Remarks and Speaker Introduction
9:00-9:30
Parallelizing Data-Centric Programs
Johannes Gehrke,
Cornell University
9:30-10:00
Survivable Software and Software for Real-World Systems
Scott Smolka,
Stony Brook University
10:00-10:30
Clark Barrett,
Collaborative Proposal: Scalable And Accurate SMT-Based Model
New York University
Checking of Data and Collaborative Proposal: Scalable and Accurate
Cesare Tinelli,
SMT-Based Model Checking of Data
Iowa University
10:30-11:00
Formal Synthesis of Software-Based Control Protocols for
Fractionated Composable Autonomous Systems
11:00-12:45
Ufuk Topcu,
University of Pennsylvania
REGISTRATION / DISCUSSION/ LUNCH
12:45-1:00
Additional Remarks and Speaker Introduction
Robert Bonneau,
Air Force Office of Scientific Research
1:00-1:30
Automated Program Revision for Embedded Systems
Sandeep Kulkarni,
Michigan State University
1:30-2:00
Reliable Coordination in Unreliable Mobile Ad Hoc Networks
Nancy Lynch,
MIT
2:00-2:30
Modeling of Embedded Human Systems
Jonathan Sprinkle,
Arizona University
2:30
*- Speakers part of Complex Networks program
ADJOURN FOR THE DAY
Agenda Day 2 - Wednesday, November 28, 2012
Time
Topic
Speaker
8:00-8:45
Registration
8:45-9:00
Welcome Remarks and Speaker Introduction
9:00-9:30
Enhancing the Dependability of Complex Missions through
Automated Analysis
Sebastian Elbaum,
University of Nebraska - Lincoln
9:30-10:00
Supporting the Human Modelers in Large Scale Cognitive Modeling
Margaret Burnett,
Oregon State University
10:00-10:30
Design Analysis and Optimization of Multi-Core Software
William Mckeever,
AFRL/RITA
Safeguarding End-User Military Software
Myra Cohen, Matt Dwyer and
Gregg Rothermel,
University of Nebraska
10:30-11:00
11:00-12:45
REGISTRATION / DISCUSSION/ LUNCH
Robert Bonneau,
Air Force Office of Scientific Research
12:45-1:00
Additional Remarks and Speaker Introduction
1:00-1:30
Surface Reconstruction with Uncertainty for Sparse and Incomplete Lee Seversky,
Data
AFRL/RI
1:30-2:00
Cognitive Domain Ontologies Increase the Automony of Cognitive
Models and Agent
Scott Douglass,
AFRL
2:00-2:30
Quality-Driven Resource Allocation in Visual Sensor Networks*
Elizabeth Bentley,
AFRL
2:30-3:00
Network Resilience in the Presence of False Information*
Lauren Huie,
AFRL Information Directorate
3:00
*- Speakers part of Complex Networks program
ADJOURN FOR THE DAY
Agenda Day 3 - Thursday, November 29, 2012
Time
Topic
Speaker
8:00-8:45
Registration
8:45-9:00
Welcome Remarks and Speaker Introduction
9:00-9:30
Supporting Complex Real-Time Workloads on Multicore Platforms
James Anderson,
University of North Carolina at Chapel
Hill
9:30-10:00
Theory and Applications of Nonconvex Compressive Sensing*
H.T. Kung,
Harvard University
10:00-10:30
Cyber-Battle Management System (CBMS)
Salim Hariri,
Avirtek
10:30-11:00
Multi-Scale Multi-Resolution Network Information Flow Monitoring
Yalin Sagduyu,
Intelligent Automation, Inc.
11:00-12:45
12:45-1:15
REGISTRATION / DISCUSSION/ LUNCH
Using Modeling to Assess Co2 Sequestration, Engineering, Environ
Catherine Hanks,
University of Alaska - Fairbanks
1:15-1:45
A Unified Algaebraic and Logic-Based Framework*
Boon Loo,
University of Pennsylvania
1:45-2:15
Analysis, Design and Enhancement of Strongly Attack-Tolerant
Clusters
Eduardo Pasiliao,
AFRL
2:15-2:30
BREAK
2:30-2:45
Clouds, Mission, Machine Learning and Reliability *
Roy Campbell,
University of Illinois
2:45-3:15
Assuredness in New Cloud Programming Paradigms*
Indranil Gupta,
University of Illinois at Urbana
Champaign
3:15
*- Speakers part of Complex Networks program
ADJOURN FOR THE DAY
Agenda Day 4 - Friday, November 30, 2012
Time
Topic
Speaker
8:00-8:45
Registration
8:45-9:00
Welcome Remarks and Speaker Introduction
9:00-9:30
MURI Overview
Katia Sycara,
Carnegie Mellon University
9:30-10:00
Network Effects in Cognitive Models
Christian Lebiere
Carnegie Mellon University
10:00-10:30
Scalable Human-Machine Interaction
Michael Lewis
University of Pittsburgh
10:30-11:00
Robust Decentralized Planning for Large-Scale Heterogeneous
Human-Robot Teams
Jon How
MIT
11:00-12:45
REGISTRATION / DISCUSSION/ LUNCH
12:45-1:00
Additional Remarks and Speaker Introduction
Robert Bonneau,
Air Force Office of Scientific Research
1:00-1:30
Scaling the Performance of Humans and Automation in Mixed
Systems
Katia Sycara
Carnegie Mellon University
1:30-2:00
Adaptive Automation for Human Performance in Large-Scale
Networked Systems
Raja Parasuraman
GMU
2:00-2:30
Probabilistic Models in Large-Scale Human-Machine Networked
Systems
Mark Campbell
Cornell University
2:30
*- Speakers part of Complex Networks program
ADJOURN FOR THE DAY